关于lamda 表达式以及mutable 参数

C++11引入了Lambda表达式。Lambda表达式的引入，方便了简短函数的定义，为常用的一次性函数的定义和使用提供了很大的便利。

Lambda表达式实际上是一种匿名函数定义，常用来定义简单和不重复使用的函数。其可使用的外部变量、定义方式等都与常规函数有所不同。

语法结构# Lambda表达式的完整定义结构如下：

auto f = [函数对象参数](函数参数列表) mutable throw(类型)->返回值类型 {函数语句};

Lambda表达式的定义结构分为六个部分：

函数对象参数部分，Lambda表达式的引入部分，用于初始化Lambda表达式，其中[]中可以填入一些标识来指示Lambda表达式如何捕获可以访问的变量。Lambda表达式可以捕获的变量只限于在Lambda表达式定义位置之前出现的变量。标识的放置有以下几种方式：
空白表示不使用任何参数，仅可使用形参列表中的参数。
=（等号），表示使用的变量以值传递的方式捕获，可以直接使用this指针，不再需要显式列举this。
&（与号），表示使用的变量以引用传递的方式捕获，可以直接使用this指针，不在需要显示列举this。
this，表示Lambda表达式可以使用所在类中的成员变量。
变量名，表示在Lambda表达式中，该变量使用以值传递的方式捕获。
&变量名，表示在Lambda表达式中，该变量使用以引用传递的方式捕获。
组合方式，以逗号分隔各个捕获标识，特殊标识的变量按照特殊方式捕获，其余按照默认的标识进行捕获，例如[=, &a, &b]表示a与b两个变量按引用捕获，其余变量按值捕获。
函数参数列表与常规函数定义中的形参列表相同。
mutable关键字，表示可以修改按值传入的变量的副本（不是值本身），类似于不带const关键字的形参。使用mutable关键字后对按值传入的变量进行的修改，不会将改变传递到Lambda表达式之外。
throw(类型)表达式，表示Lambda表达式可以抛出指定类型的异常。
->返回值类型，指示Lambda表达式定义的匿名函数的返回值类型。
函数语句，跟常规函数的函数语句相同，如果指定了函数的返回值类型，函数实现语句中一定需要return来返回相应的类型的值。

基本示例#

基本Lambda表达式的使用##

lang: cpp
int x = 10;
int y = 20;
int z;
z = [=](int a, int b) -> int { return (a + x) * (b + y); }(1, 2);
cout << z << endl;

Result: 242

函数指针的使用##

lang: cpp
typedef int (*Func)(int&, int&);
Func f = [](int& a, int& b) -> int { return a + b; };

关于mutable##

lang: cpp
int x = 1;
int y = 1;
int z;
cout << "x1: " << x << "/t y1: " << y << endl;
z = [=]() mutable -> int
{
    int n = x + y;
    ++x;
    ++y;
    cout << "x2: " << x << "/t y2: " << y << endl;
    return n;
}();
cout << "x3: " << x << "/t y3: " << y << endl;
cout << "z: " << z << endl;

输出的结果为：

lang: cpp
x1: 1 y1: 1
x2: 2 y2: 2
x3: 1 y3: 1
z: 2

mutable关键字只能在Lambda表达式定义体之内改变x和y的值，但是这种改变并不能传递到定义体之外。