10

我有一个数字列表。

我正在尝试过滤列表并仅保留正数。

我试图通过传递一个 lambda 作为参数来做到这一点。

我想知道为什么会出现功能不匹配错误。

#include <vector>
#include <algorithm>
#include <functional>

template<typename T>
std::vector<T> keep(
        const std::vector<T> &original,
        std::function<bool(const T&)> useful)
{
    std::vector<T> out;
    for(T item:original)
    {
        if(useful(item))
            out.push_back(item);
    }
    return out;
}

int main()
{
    std::vector<int> a={4,6,2,-5,3,-8,13,-11,27};
    a=keep(a,[](const int& x)->bool{return x>0;});
    for(int y:a)
    {
        std::cout<<y<<std::endl;
    }
    return 0;
}

这是错误消息：

error: no matching function for call to ‘keep(std::vector<int>&, main()::<lambda(const int&)>)’
     a=keep(a,[](const int& x)->bool{return x>0;});
                                                 ^
4

1 回答 1

15

将函数更改keep为

template<typename T, typename Func>
std::vector<T> keep(const std::vector<T> &original,
                    Func useful)
{
    // code as usual
}

活生生的例子。

这适用于useful成为以下任何一种的论点：

  • 拉姆达
  • std::function
  • 函子
  • 函数指针

从文档中：

lambda 表达式构造一个唯一的未命名非联合非聚合类型的未命名纯右值临时对象，称为闭包类型。

这意味着具有相同代码的两个 lambdas 将生成两个不同类型的对象。

auto f1 = [](int) { return true; };
auto f2 = [](int) { return false; };
f2 = f1;                               // error: no viable '='

但是，这两个都可以隐式转换为相应的std::function类型：

std::function<bool(int)> fn = f1;
fn = f2;

但是，为什么它在您的情况下不起作用？这是因为模板类型扣除。更改keep为

template<typename T>
std::vector<T> keep(const std::vector<T> &original,
                    std::function<bool(const int &)> useful)
// no type deduction for std::function's template, explicitly mentioned

将使您的示例编译而无需在调用方站点进行任何转换。

但是，尝试匹配它是std::function<T>行不通的，因为模板类型推导不考虑任何转换。模板参数推导查找精确的类型匹配。在这个阶段，隐式转换并不重要。您必须将其显式转换std::function为Atomic_alarm注释的匹配项。就像 Joseph 在How to convert a lambda to an std::function using templates中所说：

模板类型推导尝试将您的 lambda 函数的类型与std::function<T>在这种情况下它无法做到的类型相匹配——这些类型并不相同。模板类型推导不考虑类型之间的转换。

而在替代解决方案中发生的事情是这样的：

auto f = [](int i) { return (i >= 0); }

这里的类型f不是std::function像Func上面的模板参数那样推导出来的一些未命名的类型。

如果您仍然想这样做std::function，请参阅这个答案，它使用额外的模板间接进行。有关详细信息，请参阅此答案和此帖子。

于 2015-09-29T09:34:43.640 回答