一、lambda表达式
(1) lambda表达式的一般形式： [ capture list ] ( parameter list ) -> return type { function body }
其中参数列表和返回类型可以省略，但必须永远包含捕获列表和函数体 。比如:
auto f = [] { return 42; }
注意：在忽略返回类型的情况下，如果函数体只有一条return语句，则返回类型从返回的表达式的类型推断出来；
如果一个函数体包含任何除return意外的语句，编译器都将返回类型推断为void。
(2) 一个lambda只有在其捕获列表中捕获一个它所在函数中的局部变量，才能在函数体中使用该变量。
1 //错误: sz未捕获
2 int sz = 2;
3 auto f = [] (const string &a) { return a.size() >= sz; };
注意：捕获列表只用于局部非static变量，lambda可以直接使用局部static变量和它所在函数之外声明的名字(全局变量)。
1 int main()
2 {
3 //正确，sz为static变量
4 static int sz = 2;
5 auto f = [] (const string &a) { return a.size() >= sz; };
6 return 0;
7 }
8 int sz = 2;
9 int main()
10 {
11 //正确，sz为全局变量
12 auto f = [] (const string &a) { return a.size() >= sz; };
13 return 0;
14 }
(3) 被捕获的变量的值是在lambda创建时拷贝，而不是调用时拷贝。
1 int main()
2 {
3 int a = 42;
4 auto f = [a] { return a; };
5 a = 0;
6 cout << f() << ',' << a; //f保存的时我们创建它时a的拷贝
7 return 0; //所以此处的输出为42,0
8 }
(4) 隐式捕获
1 int main()
2 {
3 int a = 42; //=表示采用值捕获的方式进行隐式捕获,&表示采用引用捕获的方式进行隐式捕获
4 auto f = [=] { return a; }; //隐式捕获a
5 a = 0;
6 cout << f() << ',' << a;
7 return 0;
8 }
(5) 可变lambda：当我们要改变捕获变量的值的时候，必须在参数列表后加上关键字mutable，参数列表里面的参数可以省略，但是括号不能省略！
1 int main()
2 {
3 int a = 42;
4 auto f = [a] () mutable { return ++a; }; //此时参数列表()不能省略！
5 cout << f() << ',' << a; //输出为43,42
6
7
8 auto g = [&a] () mutable { return ++a; };
9 cout << g() << ',' << a; //输出还是43,42 ；a的值(引用)并未修改,因为cout的嵌套使用出现了问题
10
11 cout << g() << endl;
12 cout << a; //此时输出为43,43。因为此时cout的调用未出错
13 return 0;
14 }
cout << g( ) << ',' << a ; 结果出错的原因：这和lambda表达式无关，而和cout的嵌套调用有关。cout的嵌套出了问题，使得结果未定义
cout<<g()<<a相当于operator<<的嵌套调用：operator<<(operator<<(cout, g()), a)，而g()中又对a的值做了有副作用的修改，因此，这是一个未定义行为，因为C++中没有规定函数参数的求值顺序，结果取决于编译器实现。如果编译器从右向左求值，那么两个参数将分别求值得到43, 42，这是VC++和gcc的实现方式；如果编译器从左向右求值，那么两个参数将分别求值得到43, 43。两种结果都符合C++规范。这和lambda表达式无关，而和cout的嵌套调用有关。
总结：当其中一个输出的变量a会对另一个输出的变量b的值产生影响的时候，不应在同一条cout语句中同时输出a和b，而应该将它们分别在两条cout语句中输出，这样可以避免出错。
