为何已过期的无捕获lambda函数指针仍可正常运行？

先看相关代码示例：

无捕获lambda定义：

auto lambda = [](int i)->std::string {
    return std::to_string(i);
};

它等价于如下仿函数：

struct Lambda {
    std::string operator()(int i) { return std::to_string(i); }
};

用于持有函数指针的Holder类定义：

struct Holder {
    using Callback = std::string(*)(int);

    void SetCallback(Callback cb) { mCallback = cb; }
    Callback GetCallback() const  { return mCallback; }

private:
    Callback mCallback;
};

后续的Store和Transform函数：

void Store(Holder& holder) {
    auto toStr = [](int i)->std::string {
        return std::to_string(i);
    };

    holder.SetCallback(toStr);
}

void Transform(int i) {
    Holder h;
    Store(h);
    auto cb = h.GetCallback();
    std::cout << cb(42);      // 预期会崩溃，但实际并未崩溃。
}

问题详情：
Store函数中创建了局部lambda对象toStr，并将其转换后的指针存入Holder。Holder存储的是普通函数指针而非std::function。按常理toStr对象在Store函数结束后就会超出作用域被销毁，Transform中获取的回调指针应该指向已过期的对象才对，为什么实际运行没有崩溃？测试环境为MSVC 2022。

核心原因是无捕获的lambda可以隐式转换为对应签名的函数指针，且这个指针指向的是编译器生成的静态函数，而非lambda对象本身。

• 对于没有捕获任何外部变量的lambda，C++标准允许它隐式转换成函数指针。编译器会为这个lambda生成一个拥有静态存储期的独立函数（类似全局函数），lambda的调用逻辑最终会转发到这个静态函数上。
• 你定义的toStr是一个空的lambda对象（因为无捕获，没有成员变量），它的销毁只会回收自身占用的微小内存（甚至可能被编译器优化掉，因为空对象不占空间），完全不会影响那个静态函数的存在——静态函数的生命周期和整个程序运行期一致。
• 当你把toStr赋值给Callback类型变量时，实际存入的是那个静态函数的指针，而非指向toStr对象的指针。所以即便toStr被销毁，后续调用这个函数指针依然是安全的，不会访问过期内存。

补充说明：如果是带有捕获的lambda，就无法转换为普通函数指针，必须用std::function来持有。此时如果lambda对象被销毁，且捕获的是局部变量的引用/指针，后续调用std::function才会触发未定义行为（比如崩溃）。

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