#include <iostream>
using namespace std;
void foo()
{
int x[4] = {};
static const auto lbd = [&]() {
x[0] = 10;
cout << &x << endl;
};
cout << &x << ' ';
lbd();
}
void bar()
{
const int cval[4] = {0, 1, 2, 3};
foo();
for (int i = 0; i < 4; i++)
{
cout << cval[i] << (i == 3 ? '\n' : ' ');
}
}
int main(int argc, char const *argv[])
{
foo();
bar();
return 0;
}
该代码的foo
函数中,会先输出局部数组x
的起始地址,然后调用一个带有引用捕获的lambda函数lbd
,lbd
函数会将局部整型数组元素x[0]
赋值为10,并再次输出捕获到的局部整型数组x
的起始地址。注意,这个lbd
被声明为了静态生命周期,且编译器没有任何警告(g++ 10.2.0、clang++ 11.0.0)。
在程序执行过程中,foo
函数一共会被调用2次,第1次是在main
中被调用,第2次是在main
调用了bar
后,在bar
中被调用。由于函数调用需要压栈,因此两次foo
函数的调用过程中,局部数组x
的起始地址应该是不相同的,因此foo
函数输出的两次x
的起始地址应该是不同的,由于lambda函数lbd
捕获到了x
,则lbd
中输出的地址也应和foo
输出的保持相同。同时,bar
函数中声明的常量数组cval
也不应该发生任何变化。
然而实际输出:
0x7fffffffdd20 0x7fffffffdd20
0x7fffffffdce0 0x7fffffffdd20
10 1 2 3
我们发现lbd
函数中输出的地址并没有变化,bar
中的cval
甚至也可能被更改了。
原因是,静态局部变量,是在首次执行该局部过程之时被初始化的,且只会初始化一次。lbd
也是一个静态局部变量,类型是一个函数指针,指向这个lambda函数,而lambda捕获的底层是指针,因此用于引用捕获局部数组x
的指针只会在第一次进入foo
函数时被初始化,所以,在第二次调用foo
函数的时候,lbd
就无法捕获正确的值了。
因此结论是,一定不要在C++中使用带有引用捕获的静态局部lambda函数。