为什么 C 11 中的 std::function 和 Lambda 函数类型推导失败？-C++-PHP中文网

为什么 C 11 中的 std::function 和 Lambda 函数类型推导失败？

Mary-Kate Olsen

发布： 2024-12-20 05:50:10

原创

325 人浏览过

Why Does Type Deduction Fail with std::function and Lambda Functions in C 11?

C 11 中的 std::function 和 Lambda 函数的类型推导

在 C 11 中使用模板时，类型推导可以是强大的功能。但是，在某些情况下，类型推导会失败，特别是当涉及 std::function 或 lambda 函数时。

在下面的示例中，函数测试接受一组类型 A 并返回相同的集合，而无需显式指定模板类型：

template<class A>
set<A> test(const set<A>&amp; input) {
    return input;
}

登录后复制

在代码中的其他位置使用 test(mySet) 调用此函数可以按预期工作。但是，当使用带有 lambda 函数的函数时，类型推导失败：

template<class A>
set<A> filter(const set<A>&amp; input,function<bool(A)> compare) {
    // ... implementation
}

登录后复制

尝试使用 filter(mySet,[](int i) { return i%2==0; }) 调用过滤器;导致错误：

error: no matching function for call to ‘filter(std::set&amp;, main()::)’

登录后复制

出现此问题是因为 lambda 不是函数或 std::function 对象。它们是具有标准定义的特定属性的函数对象。类型推导仅适用于精确类型，而 lambda 不满足此条件。

要解决此问题，您可以将 lambda 转换为 std::function 或显式提供模板类型：

// Convert lambda to std::function
std::function<bool(int)> func = [](int i) { return i%2 ==0; };
set<int> myNewSet = filter(mySet,func);

// Provide template type explicitly
set<int> myNewSet = filter<int>(mySet,[](int i) { return i%2==0; });

登录后复制

或者，您可以重新定义函数以接受 CompareFunction 的模板参数：

template<class A,class CompareFunction>
set<A> filter(const set<A>&amp; input,CompareFunction compare) {
    // ... implementation
}

登录后复制

使用此修改后，您可以在不指定模板类型的情况下调用函数：

set<int> result = filter(myIntSet,[](int i) { i % 2 == 0; });

登录后复制

类型推导对于多参数 lambda 也可能会出现问题。在这种情况下，使用 auto 可能是一个有用的解决方案：

template<class Value,class CompareType,class IndexType>
auto filter(const set<Value>&amp; input,CompareType compare,IndexType index) -> map<decltype(index(*(input.begin()))),Value> {
    // ... implementation
}

登录后复制

可以按如下方式调用此函数：

map<string,int> s = filter(myIntSet,[](int i) { return i%2==0; },[](int i) { return toString(i); });

登录后复制

以上是为什么 C 11 中的 std::function 和 Lambda 函数类型推导失败？的详细内容。更多信息请关注PHP中文网其他相关文章！