返回捕获局部变量的 lambda

Question

今天我在 C++11 lambdas 中遇到了一个非常不直观的行为（至少对我而言）。有问题的代码如下：

#include <stdio.h>

auto sum(int x) {
    return [&x](int y) {
        return x + y;
    };
}

int main() {
    int a = sum(2)(3);
    printf("%d\n",a);
}

这不是打印 5，而是打印乱码。实际上，至少在我的 GCC 版本中，如果我打开 -O2 优化标志，它实际上会打印 5。由于输出取决于编译器的优化级别，因此它是未定义的行为。过了一会儿，我想我明白发生了什么。

当函数 sum 被调用时，对应于参数 x 的堆栈变量被设置为 2，然后函数 sum 返回，并且这个堆栈变量可能被编译器需要放在那里的任何东西覆盖以执行以下代码，当 lambda 最终被执行时，x 所在的位置不再是 2，程序将 3 添加到任意整数。

有没有什么优雅的方式在 C++ 中进行柯里化以保证变量被正确捕获？

Answer 1

int x 的生命周期有限。对自动存储变量（您称之为“堆栈”）的引用仅在变量的生命周期内有效。在这种情况下，只有到变量所在的堆栈帧（作用域）结束，或者函数参数的函数。

[&] 通过引用捕获任何提到的（“本地”）变量，this 除外（如果使用或隐式使用，则按值捕获）。 [=] 按值捕获任何提到的变量。 [x] 将显式捕获x，并通过显式引用捕获[&x]。在 C++17 中，[*this] 也可以使用。

还有[x=std::move(x)]，或者[blah=expression]。

一般来说，如果 lambda 的寿命超过当前范围，请不要使用 [&]：明确说明您捕获的内容。