C++ Lambda按值/按引用捕获为何未出现预期差异？

代码示例 #

std::vector<std::function<void()>> functors;

class Bar
{
    public :
        Bar(const int x, const int y):d_x(x),d_y(y){}
        
        ~Bar(){
            cout << "Destructing Bar" << endl;
        }
    
        void addToQueue()
        {
            const auto job = [=](){
                cout << "x:" << d_x << " y: " << d_y; 
            };
            functors.push_back(job);
        }
        
    private :
        int d_x,d_y;
};


void example()
{
    cout << "Hello World" << endl;
    {
        shared_ptr<Bar> barPtr = make_shared<Bar>(5,10);
        barPtr->addToQueue();
    }
    cout << "Out of scope. Sleeping" << endl;
    usleep(1000);
    functors[0]();
}

运行输出 #

Hello World
Destructing Bar
Out of scope. Sleeping
x:5 y: 10

疑问 #

我原本认为，由于按值捕获Lambda，Bar对象销毁后仍能访问其成员变量。按此逻辑，将捕获方式改为const auto job = [&](){后，应该会出现未定义行为（UB），但实际结果仍与之前一致。这是为什么？我是否存在理解错误？

另外，我想通过该示例理解：如何在Lambda函数中安全访问已销毁对象的成员变量？我试图避免未定义行为，原本认为按值捕获是正确方式，但无法证明按引用捕获的问题所在。

解答 #

为什么引用捕获没出现预期的错误？ #

• *未定义行为（UB）*的本质是C++标准不对这种场景的结果做任何保证，不代表一定会立刻崩溃或输出错误值。你的例子中，Bar对象销毁后，它占用的内存暂时还没被系统回收或覆盖，Lambda引用访问的内存区域恰好保留了原来的值——这只是偶然现象。换个编译器、开启更高优化级别、或者在内存压力大的环境下运行，就可能出现崩溃、输出乱码、程序异常终止等各种不可预测的结果。
• 你对引用捕获的理解是正确的：在成员函数中使用[&]捕获，实际是隐式捕获了this指针（因为访问的是类成员变量）。当Bar对象销毁后，this变成悬空指针，通过它访问成员变量完全符合未定义行为的定义。

如何安全访问已销毁对象的成员变量？ #

• 按值捕获（[=]或显式捕获成员）：这是最可靠的方式。Lambda会把d_x和d_y的值复制到自己的闭包中，原Bar对象销毁后，闭包里的副本依然有效，访问完全安全。你的原始代码就是正确的示范。
• 捕获对象的智能指针：如果需要访问对象本身而非单个成员，可以捕获shared_ptr<Bar>，利用智能指针的引用计数机制，只要Lambda存在，对象就不会被销毁。需要注意的是，Bar类必须继承std::enable_shared_from_this<Bar>才能获取有效的shared_ptr：

class Bar : public std::enable_shared_from_this<Bar>
{
    public :
        // ... 其他代码不变
        void addToQueue()
        {
            auto self = shared_from_this();
            const auto job = [self](){
                cout << "x:" << self->d_x << " y: " << self->d_y; 
            };
            functors.push_back(job);
        }
};

• 避免延迟执行Lambda：如果Lambda不需要等到对象销毁后再执行，尽量在Bar对象的生命周期内调用Lambda。这种情况下，无论是值捕获还是引用捕获都不会有问题，但仅适用于不需要异步、延迟执行的场景。

内容的提问来源于stack exchange，提问作者ghostrider