c ++：为什么必须通过lambda中的值捕获特定参数

Question

#include <iostream>
#include <functional>
#include <utility>

using namespace std;

typedef std::function<void(const string&, const string&, const bool, const bool)> 
    Callback_T;

class A {
public:
    void
    process(const string &a, const string &b, const bool c, const bool d, const int e)
    {
        cout << "a: " << a << " b: " << b << " c: " << c << " d: " << d << " e: " << e << endl;
    }

    Callback_T
    constructCallback(const int &e)
    {
        Callback_T callback =
        [&, this, e](auto&&...args) // <--- here, e must be captured by value, why?
        {
            this->process(
            std::forward<decltype(args)>(args)...,
            e);
        };

        return callback;
    }
};

int main()
{
    A a;
    auto cb = a.constructCallback(20);
    cb("A", "B", true, false);
}

上述程序输出：“a:A b:B c:1 d:0 e:20” 但是，如果我将捕获 e 的那条线更改为：

[&, 这个, &e]

它输出：“a: A b: B c: 1 d: 0 e: 26340408”，似乎表明 e 没有定义/初始化。

为什么只通过价值来捕捉它？

Answer 1

你所拥有的是一个悬空参考。由于e 是一个引用参数，它绑定到其他东西。在这种情况下，它是从文字 20 创建的临时对象。当函数结束离开 callback 并引用不再存在的对象时，此临时值超出范围。

当您按值捕获时，您会否定此问题，因为 lambda 将存储它自己的 e 副本，确保它在 constructCallback 返回后仍然有效。

---

当通过引用捕获时，您必须确保没有路径会留下对不存在的东西的引用。

Answer 2

因为调用函数时e 超出范围，并且您有一个悬空引用。在以下几行中：

A a;
auto cb = a.constructCallback(20);
cb("A", "B", true, false);

当调用constructCallback(20) 时，会创建一个值为20 的本地e，它通过引用您的lambda 来捕获，然后在函数退出时销毁。因此，使用此引用是未定义的行为，并导致您观察到垃圾值。如果您改为按值捕获e，它会被复制，并且与 lambda 一样长。如果您确实需要通过引用使用e，则需要确保在评估lambda之前它没有被破坏。