4
#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不能按预期工作?

4

2 回答 2

8

lambda 没有 type std::function<bool(char)>,它只是一些具有实现定义类型的可调用对象。

它可以转换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*参数调用此模板函数,它将不起作用,因为与模板参数的连接不明确。

于 2013-10-30T04:51:05.923 回答
4

编译器的问题是决定使用哪些参数进行类型推导。如果您通过打破第二个参数的可能推导来帮助编译并强制它使用第一个参数,它会按预期工作:

template<typename T> struct identity { using type = T; };

template<class CharType>
void f1(CharType* str, typename identity<function<bool(CharType)>>::type fn_filter)
{}

活生生的例子

于 2013-10-30T08:46:48.793 回答