不要在C++中使用带有引用捕获的静态局部lambda函数

#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函数。