lambda学习总结(c++ primer 5th)

什么是谓词：

谓词是一个可调用的表达式，返回结果是一个能用作条件的值，分一元谓词（只接受单一参数）和二元谓词（接受来年改革参数）。

一个二元谓词的例子：

//less接受两个参数
bool less(const string a, const string b)
{
         return a.size() <b.size();
}
//根据word的长短排序
sort(words.cbegin(), words.cend(), less);

Lambda的面向的问题：

根据算法接受一元还是二元谓词，传递给算法的谓词必须严格接受一个或者两个参数。但是有时希望进行的操作需要更多参数，超出了算法对谓词的限制。

什么是lambda表达式：

一般可以向算法传递任何类别的可调用对象，可以使函数、函数指针或者是lambda表达式。一个lambda表达式表示一个可调用的代码单元。可以将其理解为一个未命名的内敛函数。类似与一般函数，包含一个返回类型，一个参数列表和一个函数体，并可以定义在一般函数的内部。形式：

[capture list](parameter list) -> return type { function body}

捕获列表是一个lambda所在函数中定义的局部变量列表；其他分别代表：参数列表、返回类型和函数体。与一般函数不同的是lambda必须使用尾置返回来指定返回类型。

说明：尾置返回类型对于返回类型比较复杂的函数最有效，比如返回类型是数组的指针或者数组的引用。尾置返回类型跟在形参列表后面并以一个”->”符号开头，例如：

 Auto func(int i) ->int(*)[10]//Func接受一个int类型的实参，返回一个指针，该指针指向含有10个整数的数组。

可以忽略参数列表和返回类型，但必须一定包含捕获列表和函数体：

auto f = []{ return 0; };//定义一个可调用对象f，不接受参数，返回0；  

使用函数调用运算符来调用f:

auto a = f();//将f返回值赋值给变量a

Lambda可以根据函数体的代码推断出来返回类型。

Lambda表达式的用法：

向lambda传递参数：

与普通函数调用类似，调用一个lambda时给定的实参被用来初始化形参。但是与普通函数不同，lambda不能有默认参数，因此一个lambda调用的实参数目必须与形参数目相等，一旦形参初始化完毕就可以执行函数体了。上边less()函数改写的lambda：

[](const string &a, const string &b){ returna.size() < b.size(); }

使用捕获列表:

一个lambda可以出现在一个函数中，使用其局部变量，但他只能使用那些明确指定的变量。一个lambda通过将局部变量包含在其捕获列别中来指出将会使用这些变量。可以使用捕获列表查找第一个长度大于等于sz的元素：

auto wc = find_if(words.begin(),words.end(), [sz](const string &a)
{ return a.size() >= sz;});

要注意lambda捕获列表不同的捕获方式：

1、 值捕获

例：

void func()
{
    int a = 1;
    auto lf = [a]{returna;};
    a =0;
    auto j = f();
    cout << j <<endl;
 }

输出结果为1，因为被捕获变量的值实在lambda创建时拷贝的，随后对其修改不会影响到lambda中的值。

2、 引用捕获：

例：

void func()
{
int a = 1;
auto lf = [&a]{returna;};
a =0;
auto j = f();
cout << j <<endl;
}

输出结果为0。因为lambda函数体内使用此变量时实际上使用的是引用所绑定的对象。使用引用捕获有一个限制，必须保证被引用的对象在lambda执行的时候是存在的。

3、 隐式捕获

可以让编译器根据lambda中的代码推断要使用哪些局部变量，捕获列表中使用‘&’或‘=’号来告诉编译器推断捕获列表，‘&’表示采用引用方式，‘=’表示采用值捕获。也可以混合使用隐式捕获和显示捕获，不过在使用的时候捕获列表中的第一个元素必须是隐式符号‘&’或者‘=’。

Lambda捕获值可变：

一般情况写，对于一个值被拷贝的变量，lambda不会改变其值，如果需要改变一个被捕获的值，需要在参数列表前加上“mutable”关键字；

对于引用捕获的变量，是否可以修改捕获的变量，取决于声明该变量是否是const类型的。