#include <functional>
using namespace std;
template<class CharType>
void f1(CharType* str, function<bool(CharType)> fn_filter)
{}
template<class CharType>
void f2(CharType* str, function<bool(char)> fn_filter)
{}
void f3(char* str, char c)
{
auto fn_filter = [=](char e) -> bool
{
return e == c;
};
f1(str, fn_filter); // error C2784
f2(str, fn_filter); // OK
}
int main()
{
f3("ok", 'k');
}
// error C2784: 'void f1(CharType *,std::function<bool(CharType)>)'
// : could not deduce template argument for 'std::function<bool(CharType)>'
// from 'f2::<lambda_36be5ecc63077ff97cf3d16d1d5001cb>'
我的编译器是VC++ 2013。
为什么f1
没有按预期工作?
lambda 没有类型std::function<bool(char)>
,它只是一些具有实现定义类型的可调用对象。
有可能转换的 to std::function<bool(char)>
,但这无助于编译器推断模板案例的类型。例如,可能有很多可能性CharType
lambda 可以转换为std::function<bool(CharType)>
.
编译器尝试将 lambda 的类型与模板函数的参数进行匹配。例如,lambda 的类型如下lambda_t_1234
模板参数是std::function<bool(CharType)>
。这些类型是不相关的,并且不清楚是什么CharType
应该在这里。
这对于 lambda 或std::function<>
。所有此类情况都会发生同样的情况:
template<typename Char>
void f(const std::basic_string<Char> &str) {
}
如果您尝试使用以下方式调用此模板函数char*
参数它将不起作用,因为与模板参数的连接不明确。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)