返回捕获局部变量的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++中进行currying,保证变量被正确捕获？

Answer 1

int x寿命有限.对自动存储变量(您称之为"堆栈")的引用仅对变量的生命周期有效.在这种情况下,只有在存在变量的堆栈帧(范围)结束或函数参数的函数之前.

[&]通过引用捕获任何提到的("本地")变量,除了this(如果使用或隐式使用,则由值捕获). [=]按值捕获任何提到的变量. [x]将x明确捕获,并[&x]通过引用明确捕获.在C++ 17中,[*this]也可以.

还有[x=std::move(x)],或[blah=expression].

一般来说,如果lambda将比当前作用域更长,则不要使用[&]:明确你捕获的内容.