4 
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。

4

1 回答 1

4

尽管将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) {
    // ....
}

如有必要，有一些方法可以推断出函数对象可以接受的参数类型，例如，如本答案所述：Is it possible to figure out the parameter type and return type of a lambda?

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

于 2014-03-01T23:25:04.553 回答