C++成员函数Lambda包装在对象析构后为何可执行？

这是个非常有意思的问题，涉及到C++对象生命周期、Lambda捕获以及未定义行为的细节，咱们一步步拆解清楚：

先看你给出的第一个代码片段：

#include <iostream>
#include <memory>
#include <functional>
class A {
private:
    std::string message = "Alive";
public:
    ~A() { message = "Dead"; }
    auto get_callback() {
        return [this](){ callback(); };
    }
private:
    void callback() const {
        std::cout << message << std::endl;
    }
};
int main() {
    std::function<void()> callback_fn;
    {
        A a;
        callback_fn = a.get_callback();
    }
    callback_fn();
}

这里的关键细节：

• 当a离开内部作用域时，会触发A的析构函数：先把message改成"Dead"，然后销毁A对象（栈上的对象，作用域结束后栈空间会被标记为“可用”，但不会立即被清零或覆盖）。
• Lambda捕获的是this指针的副本——也就是指向栈上a对象的地址。当你在作用域外调用callback_fn时，这个this已经是悬空指针了，这本质上是标准里明确的未定义行为。
• 但未定义行为不代表一定会崩溃！它的表现完全不可预测：这里刚好栈上message所在的内存还没被后续的栈操作覆盖，所以能读取到最后修改的"Dead"；另外，成员函数callback的代码是存在程序的代码段里的（不属于对象本身），只要能通过this指针访问到message的内存，就会执行打印。但这纯粹是“运气”，换个编译器、优化级别或者在代码里加几句其他操作，结果可能直接崩溃或者打印乱码。

其实message是std::string类型，咱们得拆分它的存储：

• std::string对象本身（包含指向字符数据的指针、长度、容量这些成员）是存在A对象的栈内存里的；如果是短字符串（比如"Dead"），很多实现会用小字符串优化，直接把字符存在std::string对象内部，不需要堆内存。
• 当A析构时，流程是：先执行~A()里的代码（修改message为"Dead"，这时候std::string还没析构，所以能正常修改），然后A的成员message会被析构——如果是小字符串优化的情况，std::string的析构不会释放堆内存，只是标记自己的内部状态失效；而A对象所在的栈内存只是被标记为可用，没有被立即覆盖。
  所以后续调用callback_fn时，刚好能读取到栈上残留的message数据，这依然是未定义行为的偶然表现，不是内存真的没被释放。

再看第二个main函数：

int main() {
    auto a = std::make_unique<A>();
    auto callback_fn = a->get_callback();
    a.reset();
    callback_fn();
}

这里的区别是A对象是在堆上分配的：

• a.reset()会销毁堆上的A对象，并且释放对应的堆内存。很多操作系统会把释放后的堆内存标记为“不可访问”，或者用特殊值覆盖。
• 当你调用callback_fn时，通过悬空的this指针访问message，就会触发内存访问错误（比如段错误），程序可能直接被终止，所以没有输出。这同样是未定义行为的一种表现，不同环境下可能有不同结果（比如某些调试环境会直接崩溃报错）。

• Lambda捕获this只是复制了指针的值，不会延长对象的生命周期。当对象被销毁后，this就变成悬空指针，后续通过它调用成员函数、访问成员变量都是未定义行为，绝对不能依赖这种代码。
• 成员函数属于类，不属于单个对象——所以即使对象销毁了，成员函数的代码依然存在，但调用它时如果访问已销毁对象的成员，就是未定义行为。
• 未定义行为的表现没有规律：可能正常输出，可能崩溃，可能没有任何反应，一切都是不可预测的。

内容的提问来源于stack exchange，提问作者Rudolf Lovrenčić