C++ 11中的Lambda表达式

1. 概述

C++ 11 中的 Lambda 表达式用于定义匿名类(anonymous class)、创建匿名类对象，以简化编程工作。编译器为该类添加操作符重载函数void operator()(arguments list),函数体为大括号中的内容。

Lambda的语法形式如下：
[匿名类实例成员变量初始化列表](操作符重载函数参数列表) mutable 或 noexcept 声明 -> 返回值类型 {函数体}
可以看到，Lambda 主要分为五个部分：[匿名类实例成员变量初始化列表]、(操作符重载函数参数列表)、mutable 或 noexcept 声明、-> 返回值类型、{函数体}.

2. Lambda 语法分析
2.1 [匿名类实例成员变量初始化列表]
标记一个Lambda表达式的开始，不能省略。匿名类实例成员变量初始化列表被编译器传递给匿名类的构造函数。匿名类实例成员变量初始化列表使用的是Lambda表达式所在作用域范围内可以访问的局部变量，如处在成员方法中，this指针也可传递给匿名类构造函数。

中括号中的参数列表可以是以下形式：
空: 函数体内没有使用任何所在范围内所有可见的局部变量的需求，使用了就会有编译错误：Variable 'xxx' cannot be implicitly captured in a lambda with no capture-default specified;'this' cannot be implicitly captured in this context;

=: 函数体内可以使用Lambda所在范围内所有可见的局部变量（包括Lambda所在类的this），并且是值传递方式（相
当于编译器自动为我们按值传递了所有局部变量）。

&: 函数体内可以使用 Lambda 所在范围内所有可见的局部变量（包括 Lambda 所在类的 this），并且是引用传递方式
（相当于是编译器自动为我们按引用传递了所有局部变量）。

this: 函数体内可以使用Lambda所在类中的成员变量，相当于隐式调用this->成员变量。

a: 将a按值进行传递。按值进行传递时，函数体内不能修改传递进来的 a 的拷贝，因为默认情况下是void operator()(arguments list)const的，要
修改传递进来的拷贝，可以添加mutable修饰符，即使可以修改因为是值传递，也无法改变同名的外部局部变量。

&a: 将a按引用进行传递。

a，&b: 将a按值传递，b按引用进行传递。

=，&a，&b: 除 a 和 b 按引用进行传递外，其他参数都按值进行传递。

&，a，b。除 a 和 b 按值进行传递外，其他参数都按引用进行传递。

2.2 (操作符重载函数参数列表)
没有参数时，这部分可以省略。参数可以通过按值（如: (a, b)）和按引用 (如: (&a, &b)) 两种方式进行传递。

2.3 mutable 或 noexcept 声明
这部分可以省略。按值传递函数对象参数时，加上 mutable 修饰符后，可以修改传递进来的拷贝（注意是能修改拷贝，而不是同名的外部局部变量)。
noexcept声明用于指定函数不会抛出的异常。

2.4 -> 返回值类型
标识函数返回值的类型，可以省略（此时编译器可以自动推断出返回值类型）。

2.5 {函数体}
标识函数的实现，这部分不能省略，但函数体可以为空。

3. 示例
[] (int x, int y) { return x + y; } // 自动推导函数的返回类型是int类型
[] (int& x) { ++x;  } // 没有return语句，自动推导函数的返回类型是 'void'
[] () { ++global_x;  } // 没有参数，仅访问某个全局变量
[] { ++global_x; } // 与上一个相同，省略了 (操作符重载函数参数)

可以像下面这样显示指定返回类型：
[] (int x, int y) -> int { int z = x + y; return z; }
在这个例子中创建了一个临时变量 z 来存储中间值。和普通函数一样，这个中间值不会保存到下次调用。什么也不返回的
Lambda 函数可以省略返回类型，而不需要使用 -> void 形式。

Lambda 函数可以引用在它之外声明的变量. 这些变量的集合叫做一个闭包. 闭包被定义在 Lambda 表达式声明中的方括
号 [] 内。这个机制允许这些变量被按值或按引用捕获。如下：
[]没有使用任何局部变量
[x, &y]x按值捕获，y按引用捕获
[&]函数体内用的外部局部变量都按引用捕获
[=]函数体内用的外部局部变量都按值捕获
[&, x]x按值捕获，其它按引用捕获
[=, &z]z按引用捕获，其它按值捕获

示例一：
    std::vector<int> some_list;
    int total = 0;
    for (int i = 0; i < 3; ++i) some_list.push_back(i);
    std::for_each(some_list.begin(), some_list.end(), [&total](int x)
    {
        total += x;
    });
    std::cout << total << std::endl;
    //此例计算list中所有元素的总和。变量 total 被存为 Lambda 函数闭包的一部分。因为它是栈变量（局部变量）total 引
    //用，所以可以改变它的值。

总结：
使用lambda表达式：lambda表达式实际为一个函数对象，在使用时要注意lambda表达式以及被其捕获的外部变量的生命周期

把匿名函数存储在变量，当做有名函数来使用：lambda表达式的数据类型是函数对象，可用auto类型、std::function模板类型（需#include <functional>）进行保存和调用；当捕获外部变量列表为空时，也可用普通函数指针进行保存和调用。

代码：
int Value = 0;

auto a1 = [&Value](int x) {Value = x;};
std::function<float(int,float)> a2 = [Value](int x, float y) { return x + y; }; //需要#include <functional>
a1(100);
a2(100, 200.0f);

// lambda函数的捕获外部变量列表为空时，可使用普通函数指针来保存
int(*func1_ptr)(int) = [](int x) {return x; };
bool(*func2_ptr)(int, int) = [](int x, int y) { return x > y; };
int n = func1_ptr(1);
bool b = func2_ptr(1, 2);

悬挂引用问题：lambda表达式的闭包含有局部变量的引用（悬挂引用Dangling references），在超出创建它的作用域之外的地方被使用的话，将引发内存越界访问

代码
std::function<int()> a;
{
    int Value = 0;
    a = [&Value] {return Value; };
}
        
a(); // 局部变量Value超过作用域，已被回收，调用lambda表达式将产生内存越界访问

对于使用lambda表达式写的回调函数（如：窗口处理函数、线程执行函数、控件消息处理函数等），尤其要注意这个问题