Lambda表达式的定义
? ? ? ? Lambda形式上表现为匿名内联函数，具有参数列表、返回类型和函数体等组成部分，但又与普通函数有一定差别，即它还具有一个捕获列表，且可定义在函数内部。其形式如下：
[ 捕获列表 ] （ 参数列表 ）-> 返回类型? {? 函数体? }
捕获子句?(也称为 c + + 规范中的?引导?。 )
参数列表?可有可无. (也称为?lambda 声明符)
可变规范?可有可无.
异常规范?可有可无.
尾随-返回类型?可有可无.
lambda 体。
捕获列表用处
????????其用处与lambda表达式的特性有关。由于lambda表达式可定义在函数内部，因此lambda表达式可能对所在函数之内or之外的变量有使用需求。是否能在lambda函数体内使用其所在函数之内or之外的变量，来说明捕获列表的作用：
int v1 = 5;
void fun()
{
????????static int v2 = 6;
????????int v3 = 7;
????????auto it = [v3] () -> void { printf("%d, %d", v2, v3); };
????????int v4 = 8;
}
int v5 = 9;
- a. 对于在lambda定义之后才声明或定义的变量如v4,v5，它们在lambda函数体内不可使用；
- b. 对于在lambda定义之前已声明或定义的变量，更具体地，所在函数之外的变量如v1，以及所在函数之内的static变量如v2，它们在lambda函数体可直接使用而无需任何额外操作;
- c. 对于在lambda定义之前已声明或定义的变量，更具体地，所在函数之内的非static变量如v3，它们只有被声明于捕获列表中才可以在lambda函数体使用。
????????因此，捕获列表用于捕获lambda所在函数之内的非staitc变量（且在lambda定义之前已声明或定义），继而在lambda函数体内可顺利使用这些变量。在捕获列表中声明被捕获的变量，类似于往函数中传入参数。传参既可传值也能传引用，同样地，捕获变量既能值捕获也能引用捕获。
捕获方式
- 值捕获与引用捕获，行为类似于传参方式中的传值和传引用。在捕获列表中，变量前有&修饰符则为引用捕获，无修饰符则为值捕获；
- [&v, p] // v引用捕获，p值捕获
- 注意：值捕获的变量在lambda函数体内默认不能被修改，除非在参数列表后加上mutable关键字，如
- auto it = [v] () -> void { v = 6; };? ? ? ? ? ? ? ? ? // 修改v时出错
- auto it = [v] () mutable -> void { v = 6; };? ? //正确，v可修改
- 变量在捕获列表中声明与否，对应显式/隐式捕获。显式/隐式捕获可混合使用，但捕获列表中首先声明的必须是隐式捕获，其次是显式捕获，且隐式捕获的捕获方式必须与显式捕获相反。
- [c,&v]? ? // 显式捕获，c值捕获，v引用捕获
- [&]? ? ? ? ?// 隐式捕获，默认引用捕获
- [=]? ? ? ? ?// 隐式捕获，默认值捕获
- [=, &c]? ?// 隐式在前，显式在后，c引用捕获，其余变量值捕获
- [&, c]? ? ?// 隐式在前，显式在后，c值捕获，其余变量引用捕获
lambda表达式本质
????????每当定义一个lambda表达式，编译器就生成一个与此lambda对应的匿名类。使用一个lambda表达式，其实是使用此匿名类的一个匿名对象。此匿名类实现了函数调用运算符operator()的重载，operator()的返回类型、形参列表及函数体与lambda表达式相对应，因此可像调用函数一样调用lambda表达式，如：
auto it = [] (int a, int b) -> bool { return a > b; };
it(5, 6);
????????捕获列表中的每个值捕获变量，都对应到匿名类中的一个数据成员，而引用捕获变量则不会。此外，匿名类重载的函数调用运算符默认是const成员函数，除非lambda中带有mutable关键字。示例如下：
auto it = [loc](const string &a, const string &b)/* mutable */ -> bool { return a[loc] < b[loc]; };
class Anonymous
{
????????private:
????????????????int loc;
????????public:
????????????????Anonymous(int _loc): loc(_loc) { };
????????????????bool operator()(const string &a, const string &b) const //
????????????????{
????????????????????????return a[loc] < b[loc];
??????????????????}
};
其他补充
- 定义lambda时，形参列表和返回类型可省略，而捕获列表和函数体不可；
- 若省略了返回类型，且函数体内含有除return之外的语句，则编译器默认返回类型是void；