Lambda 匿名函数表达式
匿名函数（英文名：lambda）就是没有名字的函数。
最简单的匿名函数是[](){}，它没有参数也没有返回值。
在匿名函数中，[]里面用来捕获函数外部的变量，而()里面就是匿名函数的参数，{}里面就是函数的执行代码。
1. 完整的声明格式如下：
[capture list] (params list) mutable exception-> return type { function body }
// or 常用
[capture](parameters)->return-type{body}
使用auto来自动获取func的类型
各项具体含义如下
| 参数 |
含义 |
| capture list |
捕获外部变量列表 |
| params list |
形参列表 |
| mutable |
指示符用来说用是否可以修改捕获的变量 |
| exception |
异常设定 |
| return type |
返回类型 |
| function body |
函数体 |
Lambda表达式中传递参数还有一些限制，主要有以下几点：
参数列表中不能有默认参数
不支持可变参数
所有参数必须有参数名
1.1 省略声明形式
可以省略其中的某些成分来声明“不完整”的Lambda表达式，常见的有以下几种：
| 参数 |
含义 |
| [capture list] |
(params list) -> return type {function body} |
| [capture list] |
(params list) {function body} |
| [capture list] |
{function body} |
- 格式1声明了const类型的表达式，这种类型的表达式不能修改捕获列表中的值。
- 格式2省略了返回值类型，但编译器可以根据以下规则推断出Lambda表达式的返回类型：
（1）：如果function body中存在return语句，则该Lambda表达式的返回类型由return语句的返回类型确定；
（2）：如果function body中没有return语句，则返回值为void类型。
- 格式3中省略了参数列表，类似普通函数中的无参函数。
2. 使用示例
[](int x, int y) { return x + y; } // 隐式返回类型
[](int& x) { ++x; } // 没有return语句 -> lambda 函数的返回类型是'void'
[]() { ++global_x; } // 没有参数,仅访问某个全局变量
[]{ ++global_x; } // 与上一个相同,省略了()
//显示指定返回类型:
[](int x, int y) -> int { int z = x + y; return z; }
什么也不返回的Lambda函数可以省略返回类型, 而不需要使用 -> void 形式.
作为STL中的仿函数functor充当谓词函数
vector<int> v;
v.push_back( 1 );
v.push_back( 2 );
//...
for_each( v.begin(), v.end(), [] (int val)
{
cout << val;
} );
eg.2. 自定义sort()排序规则
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
bool cmp(int a, int b)
{
return a < b;
}
int main()
{
vector<int> myvec{ 3, 2, 5, 7, 3, 2 };
vector<int> lbvec(myvec);
sort(myvec.begin(), myvec.end(), cmp); // 旧式做法
cout << "predicate function:" << endl;
for (int it : myvec)
cout << it << ' ';
cout << endl;
sort(lbvec.begin(), lbvec.end(), [](int a, int b) -> bool { return a < b; }); // Lambda表达式
cout << "lambda expression:" << endl;
for (int it : lbvec)
cout << it << ' ';
}
3. Lambda函数中的变量截取规则
Lambda函数可以引用在它之外声明的变量. 这些变量的集合叫做一个闭包. 闭包被定义在Lambda表达式声明中的方括号[]内. 这个机制允许这些变量被按值或按引用捕获.
C++11中的Lambda表达式捕获外部变量主要有以下形式：
| 捕获形式 |
说明 |
| [] |
不捕获任何外部变量 |
| [变量名, …] |
默认以传值的形式捕获指定的多个外部变量（用逗号分隔），如果引用捕获，需要显示声明（使用&说明符） |
| [this] |
以值的形式捕获this指针 |
| [=] |
以值的形式捕获所有外部变量 |
| [&] |
以引用形式捕获所有外部变量 |
| [=, &x] |
变量x以引用形式捕获，其余变量以传值形式捕获 |
| [&, x] |
变量x以值的形式捕获，其余变量以引用形式捕获 |
修改捕获变量： mutable关键字
在Lambda表达式中，如果以传值方式捕获外部变量，则函数体中不能修改该外部变量，否则会引发编译错误。
若一定要修改值捕获的外部变量呢？这是就需要使用mutable关键字，该关键字用以说明表达式体内的代码可以修改值捕获的变量，示例：
int main()
{
int a = 123;
auto f = [a]()mutable { cout << ++a; }; // 不会报错
cout << a << endl; // 输出：123
f(); // 输出：124
}
参考：
C++ 11 Lambda表达式
https://blog.csdn.net/mayue_web/article/details/87916209
wiki百科关于C++匿名函数
