基本语法
Lambda表示式即匿名函数,用于临时创建一个函数进行处理。基本构成为:
[捕获列表](参数列表)->返回类型{函数体}
举例:
int main()
{
auto Add = [](int a, int b)->int {
return a + b;
};
std::cout << Add(1, 2) << std::endl; //输出3
return 0;
}
一般来说,编译器可以自动推断出lambda表达式的返回类型,所以可以不显式地指定返回类型。但是如果函数体内有多个return语句,则编译器无法自动推断出返回类型,此时必须显式指定返回类型。
捕获列表
如果在Lambda表示式的函数体内需要使用外部变量,可以用捕获列表来传参。
i
nt main()
{
int c = 12;
auto Add = [c](int a, int b)->int {
return a + b + c; // c是外部变量
};
std::cout << Add(1, 2) << std::endl;
return 0;
}
注意,此时c是以常数的形式传递的,在Lambda表示式的函数体内是不能够修改c的。捕获列表改为了&c,表示按引用传递,就
可以对其修改了。
i
nt main()
{
int c = 12;
auto Add = [&c](int a, int b)->int {
c = a + b;
return c;
};
std::cout << Add(1, 2) << std::endl;
return 0;
}
对于捕获列表的总结如下:
- 如果捕获列表为[&],则表示所有的外部变量都按引用传递;
- 如果捕获列表为[=],则表示所有的外部变量都按值传递;
- 匿名函数构建的时候对于按值传递的捕获列表,会立即将当前可以取到的值拷贝一份作为常数,然后将该常数传递。
举例:
- [&]
int main()
{
int c = 10;
int d = 5;
auto foo = [&](){ c = d; d = 10;}; // 隐式地声明所有外部变量都按引用方式传递
foo();
cout << "c=" << c << "d=" << d << endl;
return 0;
}
- [=]
上面的代码中如果改成auto foo = [=](){ c = d; d = 10;};
将会编译不通过,因为隐式声明为按值传递时,所有变量是常数,不能修改。但可以使用这些值:
int main()
{
int c = 10;
int d = 5;
auto foo = [=](){ return c + d;}; // 隐式地声明所有变量都按值传递
cout << "foo=" << foo() << endl;
return 0;
}
- [&,identifier_list]
未在identifier_list中指定的外部变量自动按引用传递,指定的变量必须按值传递。
int main()
{
int c = 10;
int d = 5;
auto foo = [&, d](){ c = d;}; // d 按值传递,其他的都按引用传递
foo();
cout << "c=" << c << "d=" << d << endl;
return 0;
}