Lambda 表达式是在某个函数中直接定义的匿名函数。它可以用于任何需要传递函数指针的地方。
Lambda 表达式的语法如下:
1
2
3
|
[获取变量
]
(参数
)
{
lambda 代码
}
|
现在先忽略 “获取变量” 这部分。下面是一个简单的 Lambda,用于递增一个数:
1
2
3
|
[
]
(
int
value
)
{
return
value
+
1
;
}
|
我们可以把这个 Lambda 用于像 std::transform() 这样的函数,来为 vector 的每一个元素增值:
1
2
3
4
5
6
7
8
|
#include
#include
#include
int
main
(
)
{
std
::
vector
vect
=
{
1
,
2
,
3
}
;
std
::
transform
(
vect
.
begin
(
)
,
vect
.
end
(
)
,
vect
.
begin
(
)
,
[
]
(
int
value
)
{
return
value
+
1
;
}
)
;
for
(
int
value
:
vect
)
{
std
::
cout
|
打印结果:
1
2
3
|
2
3
4
|
获取变量
Lambda 表达式可以通过 “获取” 来使用当前作用域中的变量。下面是用 Lambda 来对 vector 求和的一个示例。
1
2
3
4
5
|
std
::
vector
vect
=
{
1
,
2
,
3
}
;
int
sum
=
0
;
std
::
for_each
(
vect
.
begin
(
)
,
vect
.
end
(
)
,
[
&
sum
]
(
int
value
)
{
sum
+=
value
;
}
)
;
|
你可以看到,我们获取了本地变量 sum,所以可以在 Lambda 内部使用它。sum 加了前缀 &,这表示我们通过引用获取 sum 变量:在 Lambda 内部,sum 是一个引用,所以对它进行的任何改变都会对 Lambda 外部的 sum 变量造成影响。
如果你不是需要引用,只需要变量的拷贝,只需要去掉 & 就好。
如果你想获取多个变量,只需要用逗号进行分隔,就像函数的参数那样。
目前还不能直接获取成员变量,但是你可以获取 this,然后通过它访问当前对象的所有成员。
在背后,Lambda 获取的变量会保存在一个隐藏的对象中。不过,如果编译器确认 Lambda 不会在当前局部作用域之外使用,它就会进行优化,直接使用局域变量。
有一个偷懒的办法可以获取所有局部变量。用 [&] 来获取它们的引用;用 [=] 来获取它们的拷贝。不过最好不要这样做,因为引用变更的生命周期很可能短于 Lambda 的生命周期,这会导致奇怪的错误。就算你获取的是一个变量的拷贝,但它本身是一个指针,也会导致崩溃。如果明确的列出你依赖的变量,会更容易避开这类陷阱。关于这个陷阱更多的信息,请看看 “Effective Modern C++” 的第 31 条。