应该向 C++ Lambda 传递多少参数？

Question

我对 c++11 真的很陌生，所以在理解 lamda 表达式的同时，我充满了疑问。我无法理解应该将多少参数传递给 lamda 表达式。

喜欢

vector<int> v {4, 1, 3, 5, 2, 3, 1, 7};
vector<int>:: iterator p = find_if(v.begin(), v.end(), [](int i) 
    { 
        return i > 4; 
    });

这里只有一个参数被传递给lamda 函数。 i 的值是什么，它从哪里传递给lamda。

但在以下情况下，传递了 2 个参数

sort(v.begin(), v.end(), [](const int& a, const int& b) -> bool
    { 
        return a > b; 
    });

这两个值是从哪里传给lamda的，请解释一下，请解开我的疑惑

Answer 1

需要一个或多个谓词的标准库的每个算法对给定的谓词都有特定的要求。如果你看std::find_if：

template< class InputIt, class UnaryPredicate >
InputIt find_if( InputIt first, InputIt last, UnaryPredicate p );

一元谓词p的要求是：

p — 一元谓词，为所需元素返回真。

表达式p(v) 必须可转换为bool 类型的每个参数v（可能是const）VT，其中VT 是InputIt 的值类型，与值类别无关，并且不得修改v。 [...]

这意味着UnaryPredicate 类型必须提供类似于（在您的情况下）的调用运算符：

bool operator()(int const&) const;

lambda 只是一个闭包类型的实例，它具有一个重载的调用运算符，其返回和参数类型是从 lambda 推导出来的。本声明：

auto lambda = [](int i) { return i > 4; };

...类似于以下使用匿名类型：

struct {
    bool operator()(int i) const { retuirn i > 4; }
} lambda;

如您所见，这种匿名类型的operator() 对于std::find_if 的要求是有效的，这就是这里可以使用lambda 的原因。