c++11标准:匿名函数(匿名表达式)lambda
lambda:
C++11提供了对匿名函数的支持,称为Lambda函数(也叫Lambda表达式). Lambda表达式具体形式如下:
匿名函数定义/匿名表达式声明:[capture](parameters)->return-type{body}
函数调用:function a = [capture](parameters)->return-type{body};
a(parameters);
parameters:形参
和函数一样
如果没有参数,空的圆括号()可以省略.
返回值也可以省略,如果函数体只由一条return语句组成或返回类型为void的话.形如:
[capture](parameters){body}
返回值类型可以通过以下算法推演出来
-
- 如果 lambda 代码块中包含了 return 语句,则该 lambda 表达式的返回类型由 return 语句的返回类型确定。
- 如果没有 return 语句,则类似 void f(...) 函数。
例如:
[](int x, int y) { return x + y; } // 隐式返回类型 [](int& x) { ++x; } // 没有return语句 -> lambda 函数的返回类型是'void' []() { ++global_x; } // 没有参数,仅访问某个全局变量 []{ ++global_x; } // 与上一个相同,省略了()
[]:外部闭包
Lambda函数可以引用在它之外声明的变量. 这些变量的集合叫做一个闭包. 闭包被定义在Lambda表达式声明中的方括号[]内.
闭包可以按值、引用捕获:
例如:
[] //未定义变量.试图在Lambda内使用任何外部变量都是错误的. [x, &y] //x 按值捕获, y 按引用捕获. [&] //用到的任何外部变量都隐式按引用捕获 [=] //用到的任何外部变量都隐式按值捕获 [&, x] //x显式地按值捕获. 其它变量按引用捕获 [=, &z] //z按引用捕获. 其它变量按值捕获
对this的捕获:只可以是值捕获,
在类成员中的lamda函数:
对protect和priviate成员来说, 这个lambda函数与创建它的成员函数有相同的访问控制.
访问this的成员不必使用this->语法,可以直接访问.
注意:如果一个闭包含有局部变量(类和局部)的引用,在超出创建它的作用域之外的地方被调用的话,这种行为是未定义的!
lambda函数是一个依赖于实现的函数对象类型,这个类型的名字只有编译器知道.
如果用户想把lambda函数做为一个参数来传递, 那么形参的类型必须是模板类型或者必须能创建一个std::function类似的对象去捕获lambda函数.
使用 auto关键字可以帮助存储lambda函数,