lambda表达式又称匿名函数(Anonymous function),其构造了一个可以在其作用范围内捕获变量的函数对象。
- 声明式编程风格:就地匿名定义目标函数或函数对象,不需要额外写一个命名函数或者函数对象。以更直接的方式去写程序,好的可读性和可维护性。
- 简洁:不需要额外再写一个函数或者函数对象,避免了代码和功能分散,让开发者更加集中精力在手边的问题,同时也获取了更高的生产率。
- 灵活性:在需要的时间和地点实现功能闭包,使程序更灵活。
lambda表达式声明和定义
[ capture ] ( params ) opt -> ret { body; };
// 其中 capture 是捕获列表,params 是参数表,opt 是函数选项,ret 是返回值类型,body是函数体。
auto f = [](int a) -> int { return a + 1; };
cout << f(1) << endl; // 输出: 2
auto f = [](int a){ return a + 1; };
void Function(QString str){} //普通函数声明和定义
/*lambda声明和定义法1*/
[](QString str){return str;};
/*lambda声明和定义法2*/
// C++11 中允许省略 lambda 表达式的返回值定义
// 编译器就会根据 return 语句自动推导出返回值类型。
auto Lambda = [](QString str){return str;};
//lambda函数声明和定义,以及赋值。Lambda相当于lambda函数的函数符,直接用在需要函数符的参数上
使用 lambda 表达式捕获列表
lambda 表达式还可以通过捕获列表捕获一定范围内的变量:
[] 不捕获任何变量
[&] 捕获外部作用域中所有变量,并作为引用在函数体中使用(按引用捕获)
[=] 捕获外部作用域中所有变量,并作为副本在函数体中使用(按值捕获)
[=,&foo] 按值捕获外部作用域中所有变量,并按引用捕获 foo 变量
[bar] 按值捕获 bar 变量,同时不捕获其他变量
[this] 捕获当前类中的 this 指针,让 lambda 表达式拥有和当前类成员函数同样的访问权限。如果已经使用了 & 或者 =,就默认添加此选项。捕获 this 的目的是可以在 lamda 中使用当前类的成员函数和成员变量。
class A
{
public:
int i_ = 0;
void func(int x, int y)
{
auto x1 = []{ return i_; }; // error,没有捕获外部变量
auto x2 = [=]{ return i_ + x + y; }; // OK,捕获所有外部变量,按值捕获
auto x3 = [&]{ return i_ + x + y; }; // OK,捕获所有外部变量,按引用捕获
auto x4 = [this]{ return i_; }; // OK,捕获this指针
auto x5 = [this]{ return i_ + x + y; }; // error,没有捕获x、y
auto x6 = [this, x, y]{ return i_ + x + y; }; // OK,捕获this指针、x、y
auto x7 = [this]{ return i_++; }; // OK,捕获this指针,并修改成员的值
}
};
int a = 0, b = 1;
// 如果不需要传参,可以省略参数列表
auto f1 = []{ return a; }; // error,没有捕获外部变量
auto f2 = [&]{ return a++; }; // OK,捕获所有外部变量,并对a执行自加运算
auto f3 = [=]{ return a; }; // OK,捕获所有外部变量,并返回a
auto f4 = [=]{ return a++; }; // error,a是以复制方式捕获的,无法修改
auto f5 = [a]{ return a + b; }; // error,没有捕获变量b
auto f6 = [a, &b]{ return a + (b++); }; // OK,捕获a以及b的引用,并对b做自加运算
auto f7 = [=, &b]{ return a + (b++); }; // OK,捕获所有外部变量和b的引用,并对b做自加运算