使用演绎的C++变量展开

我正在开发一个处理非类型C函数(SQLite)的库，我想对它进行强类型化。

这个想法是有一个FieldDef强类型，允许用户将int、double和std:：string等原始类型绑定到弱db类型。我的问题是库的语义非常重，我想添加一些自动类型推导。

所以我有一堆"基本类型"：

namespace FieldType {
struct Integer { using rawtype = int; };
struct Real{ using rawtype = double; };
struct Text{ using rawtype = std::string; };
struct Blob{ using rawtype = std::vector<uint8_t>; };
}

我还有一个insert和query函数，它们允许在不使用SQL语句的情况下插入和查询表。查询将是纯选择的。无论如何预期用途是：

FieldDef<FieldType::Integer> mId = makeFieldDef("id", FieldType::Integer()).primaryKey().autoincrement();
FieldDef<FieldType::Text> mName = makeFieldDef("name", FieldType::Text());
FieldDef<FieldType::Integer> mValue = makeFieldDef("value", FieldType::Integer());
SQLiteTable::insert(std::make_tuple(mName, mValue), std::make_tuple(record.name, record.value));
std::vector<Record> r;
SQLiteTable::query
(std::make_tuple(mName, mValue), [&r](std::tuple<std::string, int> res) {
r.push_back(Record{std::get<0>(res), std::get<1>(res)});
});

我是这样实现插入的：

template <typename ...Ts, typename ...Us>
bool insert (std::tuple<Ts...> def, std::tuple<Us...> values) {
std::ostringstream ss;
ss << "INSERT INTO " << mName << "("
<< buildSqlInsertFieldList<0>(def)
<< ") VALUES ("
<< buildSqlInsertValuesListPlaceholder<0>(values)
<< ");";
auto stmt = newStatement(ss.str());
bindAllValues<0>(stmt.get(), values);
return execute(stmt.get());
}

这很好，问题来自查询：

template <typename ...Ts, typename ...Us>
void query(std::tuple<Ts...> def, std::function<void(std::tuple<Us...>)> resultFeedbackFunc) {
...
}

当调用它时，编译器无法正确推导类型，所以我想它需要一个迂腐的构造：

SQLiteTable::query<FieldType::Text, FieldType::Integer, /* whatever */> (...)

这既不切实际又冗长。

1. 是否可以简化查询功能？由于我们在用法上有一个限制，即Us包只能是与FieldType::*:rawtype兼容的某种类型，我想问是否可以使用一些解包并应用方法的构造。在insert的情况下，它可以用类似于的东西来简化吗

   template<typename Ts...>
   bool insert (std::tuple<Ts...> def, std::tuple<Ts::rawtype ...> values) 
   

2. 与其使用元组，不如使用变分包？我还没有测试过，但我担心使用之类的东西

   template<typename Ts..., typename Us....>
   bool insert (Ts... def, Us ... values) 
   

会混淆编译器，使情况变得更糟。你觉得怎么样？

3. 如果可以使用查询的实际实现，那么有什么变通方法可以使使用代码更具表达性

以下是有关代码的一些详细信息，以解释：

查询功能使用以下伪代码实现：

template <typename ...Ts, typename ...Us>
void query(std::tuple<Ts...> def, std::function<void(std::tuple<Us...>)> resultFeedbackFunc) {
std::ostringstream ss;
ss << "SELECT " << buildSqlInsertFieldList<0>(def) << " FROM " << mName <<";";
auto stmt = newStatement(ss.str());
auto r = execute(stmt.get());
SQLiteException::throwIfNotOk(r, db()->handle());
while (hasData(stmt.get())) {
auto nColumns = columnCount(stmt.get());
if (nColumns != sizeof...(Ts))
throw std::runtime_error("Column count differs from data size");
std::tuple<Us...> res;
getAllValues<0>(stmt.get(), res);
resultFeedbackFunc(res);
}
};

Statement是隐藏sqlite语句结构的不透明类型，query方法newStatement、execute和columnsCount中使用的其他函数也是如此。函数getAllValues使用递归来填充tuple。因此，将为数据库的每一行调用函子resultFeedbackFunc()。因此，例如，客户端代码可以填充一个容器(像向量一样)。

更新：

我遵循了@bolov的解决方案，并添加了@massimiliano-jones的改进。

这是对反馈函数内部调用的正确实现：

resultFeedbackFunc(getValueR<decltype (std::get<Is>(def).rawType())>
(stmt.get(), Is)...);

CCD_ 16对CCD_ 17进行内部调用。如果我理解正确的话，解包是有效的，因为参数列表是解包的有效上下文。如果我想在参数之外进行调用，我必须进行折叠(或者变通方法，因为我使用的是c++11)。