一、基本概念
C++11 引入了lambda表达式，这个特性的最普遍应用，就是配合泛型算法。泛型算法，采用了迭代器操作，从而使得各种不同的容器能使用一套算法。泛型算法允许我们定制自己的操作，即传递一个可调用对象，lambda其实也是一个可调用对象。
好处: 1)随时定义使用短小精悍的函数
2)可用lambda语法来创造匿名函数并操作，让函数成为“First Class function”
lambda表达式表示了一个可调用的单元代码，与函数类似，具有一个返回类型，一个参数列表，一个函数体，不同之处在于，还有一个捕获参数列表。
各部分的含义如下：
①捕获列表，=表示传值捕获，&表示引用捕获
1）全局变量、静态变量不用显示写在外部变量列表中，可直接在lambda表达式中读写
2）传值捕获的外部变量是一个副本，默认情况下在lambda表达式中是只读的，若想修改该副本，需要在lambda表达式上添加mutable关键字 如：auto a2 = [Value](int x) mutable {Value++;};
3）在类的非静态成员函数中定义的lambda表达式可以通过捕捉this指针，来访问对象的成员变量和成员函数
4）c++14中增加广义捕获（Generalized capture）：即在捕获子句中增加并初始化新的变量，该变量不需要在lambda表达式所处的闭包域中存在；
②参数列表
③可变动规则，在进行传值捕获时用到
④例外指定
⑤返回值类型
⑥函数体
二、lambda表达式的基本构成
lambda表达式表示了一个可调用的单元代码，与函数类似，具有一个返回类型，一个参数列表，一个函数体，不同之处在于，还有一个捕获参数列表。
[](int a, int b)->bool{return a > b; }需要注意的是，返回类型必须使用尾置返回。参数列表和返回类型都是可以忽略的，但是捕获列表和函数体必须保留。个人猜想，省略了捕获列表和函数体可能会使得编译器无法判断类型。
lambda既然是个可调用对象，那么它的调用方法也与一般的函数对象一致：
class Increase
{
public:
void operator()(int& val){++val;}
};
int main()
{
int i = 1, j = 1;
auto f = [](int& j){ ++j; };//等价于Increase
f(j);//1
Increase Inc;
Inc(i);//2
}//1与2等价三、捕获
捕获可以说是lambda最难理解的部分。所谓捕获，指的是允许lambda使用它所在函数中的局部变量。对于函数外的变量以及函数内的static变量，无需进行捕获即可直接使用。
捕获有两种方式，一种是值捕获，另外一种是引用捕获。
static i=1;
int j=1;
auto f1 = [&j]()->int{ ++j; return j; };//引用捕获
auto f2 = [j](){return j; };//值捕获
auto f3 = [](){return i; }//静态变量无需捕获引用捕获，实际上就是引用了一个局部变量。既然是引用，就要注意引用存在的问题。必须确保引用的变量在整个lambda执行的周期内都是存在的，并且为一个正确的值。
值捕获，相当于函数参数值传递的过程。因此，必须保证捕获的量是可拷贝的。此外，针对捕获的值为指针或者引用类型，也存在确保对象依然存在的问题。
因此，应对尽量减少捕获，避免潜在的问题。可能的话，尽量避免捕获指针或者引用。
四、隐式捕获
隐式捕获是一种简略的方法，下面举个例子来说明一下：
int i = 1, j = 1;
auto f = [=, &j](){return i + (++j); };前面“=”或者“&”说明默认捕获的类型，如果有需要显示捕获的另外一种类型，在后面单独列出即可。
五、修改捕获量的值
auto f2 = [j](){return ++j; };//error，因为这是个右值
auto f4 = [j]()mutable{return ++j; };//正确值捕获是无法修改变量值的，加一个mutable即可。
六、返回类型
前面的例子中我们可以看到，我们没有显示说明返回类型，也得到了正确的结果。不过，默认的规则如下
1、如果仅有return ，那么根据return 的类型确定返回类型。
2、如果除了return 还有别的语句，那么返回void。
所以，不仅有return语句时，尽量要自己显示说明返回类型。
七、lambda表达式的本质
我们知道，定义了调用运算符的对象，可以称为函数对象，即这个对象可以像函数一样被调用，行为类似函数。
与lambda一样，函数对象同样可以作为泛型算法的自定义操作：
class Bigger//1
{
public:
bool operator()(int a, int b){ return a > b; }
};
bool bigger(int a, int b){ return a > b; }
int main()
{
vector<int> vec{ 2, 0, 1, 3, 3, 0, 1, 9, 7, 7 };
sort(vec.begin(), vec.end(), [](int a, int b)->bool{return a > b; });//2
sort(vec.begin(), vec.end(), bigger);
sort(vec.begin(), vec.end(), Bigger());
}
上面的例子中，分别用了lambda表达式、函数指针、函数对象来进行了排序，结果是相同的。
事实上，lambda表达式就是一个函数对象。当编写了一个lambda表达式的时候，编译器将该表达式翻译成一个未命名类的未命名对象。
lambda表达式产生的类中会有一个重载的函数调用运算符。如果没有捕获任何变量，如上面我们定义的lambda（1）和函数对象（2），其实是完全相同的。
如果lambda采用引用捕获的方式，那么该变量其实不是lambda对象的成员，所以无需进行额外操作。
如果采用值捕获，那么就相当于在对象内部创建了自己的成员，因此需要增加一部分内容：
class F
{
public:
F(int n) :num(n){}
int operator()(){ return num; }
private:
int num;
};
int num = 100;
auto f = [num](){return num; };//等价于F
即增加了一个用捕获的值进行构造的构造函数。
lambda表达式产生的类，不含有默认构造函数、赋值运算符和默认析构函数，其他成员由需要捕获的类型确定。