c++ - 为什么在 C++11 中不删除具有副作用未定义行为的析构函数的对象？

Question

This answer引用 C++11 标准 3.8:

if there is no explicit call to the destructor or if a delete-expression (5.3.5) is not used to release the storage, the destructor shall not be implicitly called and any program that depends on the side effects produced by the destructor has undefined behavior.

关于析构函数不被调用的部分很清楚。现在假设跳过的析构函数有一个副作用，应该会影响程序的行为。

为什么程序行为现在未定义？为什么不跳过副作用(因为未调用析构函数)并且程序在没有应用副作用的情况下正常运行？

Answer 1

重要的部分是该段的第一部分(强调我的):

A program may end the lifetime of any object by reusing the storage which the object occupies ...

如果您简单地为一个未调用其析构函数的对象重用存储，那么您会得到未定义的行为。例如，该对象可能已经启动了一个线程，或者注册了一个回调，或者外部组件可能希望该对象仍然存在的一些其他操作。