placement-new创建std::byte数组是否终止原对象生命周期及相关疑问

一、placement-new并非必然终止原有对象生命周期 #

你之前的理解有偏差：placement-new不是只要复用存储就会终止原有对象的生命周期。根据C++标准，只有当你在已被对象占据的存储位置上创建新对象，且新对象的存储范围完全覆盖原对象时，原对象的生命周期才会被终止。

回到你提到的场景：如果原buffer里存着一个int对象，执行new (buffer) std::byte[sizeof(buffer)]时，因为std::byte数组的存储完全覆盖了原int的存储，此时原int的生命周期确实会被终止。但P0593提案的示例里，应该是直接在int的存储上创建float对象，没有中间的std::byte数组创建步骤，所以提案才会明确说int的生命周期在float创建时终止。

二、placement-new是否会修改存储字节？ #

针对那条评论“New expressions do not promise to preserve the bytes in the storage”，结论是：

• 标准确实没有强制要求placement-new必须保留原有存储的字节内容。当你用placement-new创建对象时，新对象的初始化过程可能覆盖原有字节：
  • 如果创建的是非平凡类型，构造函数必然会修改存储字节；
  • 像std::byte这种平凡、无用户定义构造函数的类型，默认初始化的placement-new通常不会修改字节，但这是编译器实现的常规行为，不是标准的强制规定——理论上存在实现会修改这些字节的可能，只是实际中很少见。

所以如果依赖这个操作保留原类型双关的字节值，是不符合标准的，存在值丢失的理论风险。

三、C++对象生命周期终止的核心规则 #

总结一下，触发对象生命周期终止的核心场景：

• 显式调用对象的析构函数（仅终止生命周期，不释放存储）；
• 在对象占据的存储位置上创建新对象，且新对象的存储范围完全覆盖原对象；
• 存储被释放（比如delete或free操作）。

你假设的中间插入std::byte数组的场景，是数组的创建先终止了int的生命周期，后续创建float时，再终止std::byte数组的生命周期——这和P0593示例中直接用float覆盖int的场景，生命周期终止的时机不同，但本质都是“新对象覆盖原对象存储”触发的生命周期终止。

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