已忽略函数的默认模板参数

Default template argument for function ignored

本文关键字：参数 默认 函数      更新时间：2023-10-16
template < class A, class B, class R = A >
void addMultiplyOperation( std::function< R ( const A&, const B& ) > func )
{
...
}
addMultiplyOperation< float, int >( []( float a, int b ) { return a * b; } );

这会导致编译器错误：

In function 'int main(int, char**)':
error: no matching function for call to 'addMultiplyOperation(main(int, char**)::__lambda1)'
addMultiplyOperation< float, int >( []( float a, int b ) { return a * b; } );
     ^
note:   candidate is:
note:   template<class A, class B, class R> void addMultiplyOperation(std::function<R(const A&, const B&)>)
void addMultiplyOperation( std::function< R ( const A&, const B& ) > func )
^
note:   template argument deduction/substitution failed:
note:   'main(int, char**)::__lambda1' is not derived from 'std::function<R(const float&, const int&)>'
addMultiplyOperation< float, int >( []( float a, int b ) { return a * b; } );
      ^

尽管R模板参数默认初始化为A，但我必须提供第三个参数才能编译。为了使用默认模板参数，我还需要做其他事情吗？

我使用g++v4.8.1。

尽管R模板参数默认初始化为A，但我必须提供第三个参数才能编译。

实际上，这与它是默认参数这一事实无关。编译器也不能推导出A和B。看看这个简单的例子：

template<class A>
void f(function<void(A)> f) { }
int main() {
auto lambda = [](){};
f(lambda);
}

你会认为这会非常容易，A应该被推导为void。但不，这是不可能的。在推导模板参数时，编译器不会考虑每个可能的模板参数组合的参数类型的构造函数。一般来说，进行这种推断是很困难的。

现在，您只需要让addMultiplyOperation接受任何类型，并希望它是可调用的。。。

template<class Function>
void addMultiplyOperation(Function func) {
// ....
}

如有必要，有一些方法可以推断函数对象可以接受的参数类型，例如，如以下答案所述：是否可以计算lambda的参数类型和返回类型？

如果传入的对象实际上不可调用，或者参数数量错误，这将导致一些严重的编译错误。现在我不确定是否有一个好的方法来解决这个问题。C++14中的概念应该可以缓解其中的一些问题。

相关文章：