存储重用真的需要对象销毁吗？

Question

根据[basic.life/1]（我的粗体强调）：

T 类型对象的生命周期开始于：

• 存储具有适合类型 T 的正确对齐和大小，并且
• 它的初始化（如果有）已完成（包括空初始化）（[dcl.init]）， 除了如果对象是联合成员或其子对象，它的生命周期仅在联合成员是联合中的初始化成员（[dcl.init.aggr]、[class.base.init]）或如中所述时才开始[class.union] 和 [class.copy.ctor]，以及 [allocator.members] 中描述的除外。

类型 T 的对象 o 的生命周期在以下时间结束：

• 如果 T 是非类类型，则对象被销毁，或者
• 如果 T 是类类型，析构函数调用开始，或者
• 对象占用的存储空间被释放，或被未嵌套在 o ([intro.object]) 中的对象重用。

所以我们有：

|------------|----|--------------|----------|-------------|----|--------------|

 <---------->      <------------> <--------> <----------->      <------------>
  storage           object         object     object             storage
  allocation        construction   lifetime   destruction        deallocation

              <----------------------------------------------->
               storage duration

根据[basic.life/8]（我的粗体强调）：

如果在对象的生命周期结束之后，在对象占用的存储空间被重用或释放之前，在原对象占用的存储位置创建一个新的对象，指针指向原始对象的引用、指向原始对象的引用或原始对象的名称将自动引用新对象，并且一旦新对象的生命周期开始，就可以用来操作新对象，如果原始对象可以被新对象透明地替换（见下文）。

想到两个问题：

1. 放置new 运算符是重用存储的唯一方法吗？
2. [basic.life/8] 中指定的结果是否真的需要销毁原始对象（即条件“在对象的生命周期结束后”）？

Answer 1

正如您所引用的，如果您将存储重新用于新对象，则该存储中的旧对象的生命周期将结束（除非新对象嵌套在旧对象中）。因此，如果您在包含现有对象的存储中创建一个新对象，那么现有对象将不再存在。

放置new操作符是重用存储的唯一方法吗？

“重用”这个词不是艺术术语；这只是英语。任何在存储中创建对象的东西都会“重用”存储。例如，construct_at 也可以重复使用存储空间。