将向量传递给可变参数模板

Question

我有一个使用可变参数模板编码的数值方法。我想将混合参数传递给它，一些双精度类型和一些向量类型。最小的例子；

template<typename... Ts>
using custom_function_t = double(*) (double, Ts...);

template<typename... Ts> 
double BiPart(double min, double max,custom_function_t<Ts...> f,Ts... args)
double FunctionA(double A, double a, double b, vector<double> &C);
int main()
{
    double a=0, b=1,x=0, y=1;
    vector<double> C;
    BiPart(x,y,FunctionA, a,b, &C);
    return(0);
}

double FunctionA(double A, double a, double b, vector<double> &C)
{
some stuff here
}

我得到错误： '没有匹配的函数调用'Bipart(...)'' '模板参数推导/替换失败：参数包推导与 'std::vector&' 和 'std::vector' 不一致。

Answer 1

奇怪的是，我从 gcc 得到的完整错误（当我从 C 前面删除 & 符号时）是：

balls.cpp: In function ‘int main()’:
balls.cpp:15:34: error: no matching function for call to ‘BiPart(double&, double&, double (&)(double, double, double, std::vector<double>&), double&, double&, std::vector<double>&)’
     BiPart(x,y,FunctionA, a,b, C);
                              ^
balls.cpp:15:34: note: candidate is:
balls.cpp:9:8: note: template<class ... Ts> double BiPart(double, double, custom_function_t<Ts ...>, Ts ...)
 double BiPart(double min, double max,custom_function_t<Ts...> f,Ts... args);
        ^
balls.cpp:9:8: note:   template argument deduction/substitution failed:
balls.cpp:15:34: note:   inconsistent parameter pack deduction with ‘std::vector<double>&’ and ‘std::vector<double>’
     BiPart(x,y,FunctionA, a,b, C);
                              ^

所以它清楚地表明它正在尝试将vector<double>& 与另一个vector<double>& 匹配，但稍后在错误消息中忘记它正在处理引用。编译器错误可能吗？或者只是 c++ 是 c++。

我知道这不能回答您的问题，但如果您只想从 BiPart 借用向量，您可以将其作为 vector<double>* 传递（而不是参考），它会起作用。如果您想将数据移动到BiPart 调用而不复制它，您可以将函数参数设为vector<double>&&，然后使用move(C) 调用BiPart。也可以编译。

Answer 2

您可能实际上是这样调用该函数的：

BiPart(x,y,FunctionA, a,b, C);

而不是像您的帖子中那样使用指向向量的指针，对吗？

如果是这样，则错误消息实际上非常具有描述性。发生的情况是这样的：您传入的最后一个参数C 在类型推导中使用了两次，一次用于参数f，一次用于参数args。在第一种情况下，由于FunctionA 的声明方式，它的类型被推断为std::vector<double>&。在第二种情况下，它被推断为一个简单的std::vector<double>，没有参考。因为在这两个地方都使用了相同的模板参数Ts...，所以它们必须完全匹配。

要解决此问题，您可以从不同角度解决问题：

您可以修改FunctionA 以通过值而不是通过引用来获取最后一个参数。这将解决它，因为这一次推导的类型都将匹配（都将推导为 std::vector<double>）。

您还可以通过为两个函数使用不同的参数类型名来取消两个推导类型的链接，这样它们就不必匹配：

template<typename... Ts, typename... OtherTs> 
double BiPart(double min, double max, custom_function_t<Ts...> f, OtherTs&&... args);

注意两个模板参数。在这种情况下，为参数f（最后一个仍为std::vector<double>&）推导的类型不必完全匹配为BiPart（最后一个为std::vector<double>）的其余参数推导的类型。