C ++：在自己内部破坏lambda [重复]

Question

#include <iostream>
#include <functional>

int global = 9;
std::function<void()> functor;

int main()
{
    int* ptr = &global;
    functor = [ptr]
    {
        functor = nullptr;
        std::cout << *ptr << std::endl;
    };

    functor();
}

这里是lambda捕获的变量ptr，在functor()调用过程中，仿函数首先通过functor = nullptr删除，然后访问ptr。我认为ptr 已损坏，因为它是已删除函子的字段。所有编译器都成功地执行了该程序而没有崩溃并打印“9”，但我仍然怀疑这不是未定义的行为。有人可以确认吗？

Answer 1

确实是未定义的。

您可以通过以下方式确认：

#include <iostream>
#include <functional>

struct S
{
    ~S() {std::cout << "~S()\n";}
};

std::function<void()> functor;

int main()
{
    functor = [s = S()]
    {
        functor = nullptr;
        std::cout << "End of lambda\n";
    };

    functor();
}

上面的代码打印（在 GCC 和 Clang 上）：

~S()
~S()
~S()
End of lambda

3 个被销毁的实例是：一个由原始 lambda 捕获，一个由存储在 functor 中的副本捕获，一个由 std::function::operator=(F &&) 出于某种原因 has to make 的临时捕获。