c++ - 在静态变量定义中捕获的引用

Question

#include <iostream>

void foo(int k) {
    static auto bar = [&]{
        std::cout << k << std::endl;
    };
    bar();
}

int main () {
    foo(1); foo(2); foo(3); // output is correct: 1, 2, 3
}

检查函数 foo，以及静态 lambda 如何通过引用捕获 k。这似乎可行，并且对于更复杂的数据类型而不是 int 也会发生同样的情况。

这是预期的吗？ 是否可以保证每次调用 foo 时 k 的地址都相同，或者这个 UB？

在此先感谢，如果之前有人回答过这个问题(我确实试图找到类似的问题但没有成功)

Answer 1

这是未定义的行为。

根据 C++11 标准第 5.2.2/4 段关于函数调用表达式及其参数的初始化:

[...] The lifetime of a parameter ends when the function in which it is defined returns. The initialization and destruction of each parameter occurs within the context of the calling function. [...]

因此，您的 lambda 将存储一个引用，该引用在函数调用返回后立即变为悬空。

在这种情况下，实现可以自由(并且很可能)在每个函数调用的相同地址创建函数参数，这可能是您观察到预期输出的原因。

但是，此行为不是标准强制要求的 - 因此，您不应依赖它(如果是这种情况，您的代码将因 3.8/7 而合法)。