字节数组的 placement-new（隐式创建对象）是否会结束以前占用该存储的对象的生存期？

问：

P0593 在“类型双关语”部分下，提供了以下示例：

float do_bad_things(int n) {
  alignof(int) alignof(float)
    char buffer[max(sizeof(int), sizeof(float))];
  *(int*)buffer = n;      // #1
  new (buffer) std::byte[sizeof(buffer)];
  return *(float*)buffer; // #2
}

并指出：

拟议的规则将允许一个对象出现，使行 #1 有效 [...]，并允许一个对象同样出现，使行 #2 有效。intfloat

但是，这些示例仍然没有根据拟议规则定义的行为。原因是 [basic.life]p4 的结果：

本文档中归因于对象和引用的属性仅适用于给定对象或引用的生存期。

具体来说，对象所持有的值仅在其整个生命周期内是稳定的。当第 #1 行中对象的生存期结束时（当第 #2 行中的浮点对象重用其存储时），其值将消失。对称地，在创建浮点对象时，该对象具有不确定的值 （[dcl.init]p12），因此任何加载其值的尝试都会导致未定义的行为。int

^强调我的

该提案声称有问题的部分是对象的（隐式）创建。但是，前一行 （） 不是已经重用了存储（通过创建数组），结束了相关存储的生命周期吗？根据我的理解，placement-new 总是结束内存中正在创建新对象的对象的生存期。floatnew (buffer) std::byte[sizeof(buffer)]byteint

此外，此注释还指出，“新表达式不承诺保留存储中的字节。这是否意味着理论上可以改变字节，有效地摆脱我们希望双关语的值？new (buffer) std::byte[sizeof(buffer)]buffer

需要明确的是，我不是在寻找一种实现类型双关的方法。这些只是最适合我（到目前为止我发现的）理解当今终身管理的潜在机制的例子。