std::function 的可调用目标可以在执行期间合法地破坏 std::function 吗？

Question

在另一个问题下的cmets中，有人说一个常见的错误是：

在调用 std::function 时调用它会导致销毁持有它的对象

虽然在健壮的代码中显然可以避免这样做的“危险”事情，但它真的是错误的吗？我在标准中找不到任何可以确保：

• std::function 不得被其目标可调用对象销毁
• std::function 的生命周期不得在其目标可调用对象执行期间结束
• 函子的生命周期通常不能在其执行期间结束

据我所知，执行以下操作是合法且定义明确的（尽管品味不佳）：

struct Foo
{
   void baz()
   {
      delete this;
      // Just don't use any members after this point
   }
};

int main()
{
   Foo* foo = new Foo();
   foo->baz();
}

这表明，在没有任何压倒一切的限制（我无法找到）的情况下，以下内容也将是技术上明确定义的：

#include <functional>

struct Bar
{
   std::function<void()> func;
};

int main()
{
   Bar* bar = new Bar();
   bar->func = [&]() { delete bar; };
   bar->func();
}

不是这样吗？如果不是，哪个措辞禁止？

（对于奖励积分，如果这与以前的标准相比有所改变，那将会很有趣。）

Answer 1

[res.on.objects]/2：

如果一个标准库类型的对象被访问，并且开始 对象的生命周期不会在访问之前发生，或者 访问不会在对象的生命周期结束之前发生， 除非另有说明，否则行为是未定义的。 [注意：这适用 甚至是用于线程同步的互斥锁等对象。 — 尾注]

就库而言，成员函数可以访问对象，直到它返回。因此，除非明确授予权限，否则在此类调用中间销毁对象是未定义的。