接受具有模板类型的函数作为参数的函数

Question

我对编程和C++相当陌生。我有一个函数，我想接受以模板化值作为参数的函数指针。我的意思是...

我有这个功能：

template<typename... ColumnTypes, typename... ParameterTypes>
   void query(std::function<void(bool success, ozo::rows_of<ColumnTypes...>& results)> callback, const 
   std::string& query, ParameterTypes&& ... parameters);

template <typename ... Ts>
   std::vector<std::tuple<Ts...>> 

我试过的：

void myfunc(bool succeeded, ozo::rows_of<int>& results)
{
     //code
}

postgres_caller->query(myfunc, "SELECT length FROM this_table WHERE id > $1 AND id < $2;", 11, 14);

结果：

.cpp:241:26: error: no matching member function for call to 'query'
    postgres_caller->query(myfunc, "SELECT length FROM this_table WHERE id > $1 AND id < $2;", 11, 14);
    ~~~~~~~~~~~~~~~~~^~~~~

.h:165:22:注意：已忽略候选模板：无法将“function ,allocator >&)”与“void(*)（bool,std::vectorstd::vectorstd::allocatorstd::tuple &)”void postgrescaller::query(std::function

我也试过Lambda：

postgres_caller->query([](bool succeeded, ozo::rows_of<int>& results)
                            {
                                //code
                            }, "SELECT length FROM this_table WHERE id > $1 AND id < $2;", 11, 14);

结果：

error: no matching member function for call to 'query'
    postgres_caller->query([](bool succeeded, ozo::rows_of<int>& results)
    ~~~~~~~~~~~~~~~~~^~~~~

.h:165:22:注意：已忽略候选模板：无法匹配“function ,allocator >&)>”（lambda at.cpp：241:32）“void postgrescaller：：query（std：：function &results)>回调,const std：：string&query,parametertypes&&...参数）

这是否可行，如何才能做到？非常感谢。/约翰

Answer 1

模板推演仅适用于传入的确切类型，因此，如果传入函数指针，模板就无法推断出要将该函数指针转换为哪种std::function。

使可调用参数为模板参数，而不是使用std::function。

template<typename Callable, typename... ParameterTypes>
void query(Callable callback, const std::string& query, ParameterTypes&& ... parameters) {
    callback( ... ); // use it like this
}

大多数时候您不需要推导回调的签名。只要用你期望的参数来调用它就行了。

如果这还不够，还有一些方法可以推导回调的签名，但它会更加冗长，而且大多数时候没有实际作用。