根据算法接收一元谓词还是二元谓词,传递给算法的谓词必须按照规定数量接收参数。但有时我们希望可以操作更多参数,下面的程序只打印大于等于给定长度的单词。
void biggies(vector<string> &words, vector<string>::size_type sz)
{
elimDups(words); // 将words按字典序排序,删除重复单词
// 按长度排序,长度相同的单词维持字典序
stable_sort(words.begin(), words.end(), isShorter);
// 获取一个迭代器, 指向第一个满足 size()>= sz的元素
// 计算满足 size >= sz的元素的数目
// 打印长度大于等于给定值的单词,每个单词后面接一个空格
}
一个lambda表达式表示一个可调用的代码单元。我们可以理解为一个未命名的内联函数。与普通函数一样,lambda具有一个返回类型,一个参数列表和一个函数体。与函数不同的是,lambda可能定义在函数内部。一个lambda表达式具有如下形式:
[capture list] (parameter list) -> return type { function body }
capture list 是一个lambda所在函数中定义的局部变量的列表,通常为空;parameter list, return type, function body与普通函数一样,分别表示参数列表,返回类型和函数体。但是lambda必须使用尾置返回来指定返回类型。
auto f = [] { return 42; };
上面定义了一个可调用对象f,它不接受参数,返回42
lambda的调用方式与普通函数的调用方式相同,都是使用调用运算符:
cout << f() << endl; //打印42
忽略括号和参数列表等价于指定一个空参列表。
再举个例子:
[](const string &a, const string &b)
{ return a.size() < b.size();}
空捕获列表表明此lambda不使用它所在函数中的任何局部变量。lambda的参数与isShorter的参数类似,是const string的引用。lambda的函数体也与isShorter类似,比较其两个参数的size(), 并根据两者的相对大小返回一个布尔值。
// 按长度排序,长度相同的单词维持字典序
stable_sort(words.begin(), words.end(),
[](const string &a, const string &b)
{ return a.size() < b.size();});
捕获列表:
[sz](const string &a)
{ return a.size() >= sz;};
lambda会捕获sz,并非只有单一的string参数。函数体会将string的大小与捕获的sz的值进行比较。
由于此lambda捕获sz,因此lambda的函数体可以使用sz,lambda不捕获words,因此不能访问此变量。如果给lambda提供一个空捕获列表,则代码会编译错误,lambda只有在其捕获列表中捕获一个它所在函数中的局部变量,才能在函数体中使用该变量。