使用 const 成员放置新的和分配类

Question

为什么这是未定义的行为？

struct s
{
    const int id; // <-- const member

    s(int id):
        id(id)
    {}

    s& operator =(const s& m) {
        return *new(this) s(m); // <-- undefined behavior?
    }
};

（引用标准会很好）。

这个问题来自this answer。

Answer 1

没有什么可以使显示的代码 sn-p 本质上是 UB。但是，几乎可以肯定，在任何正常使用情况下，UB 都会立即跟进。

来自[basic.life]/8（强调我的）

如果在对象的生命周期结束之后，在对象占用的存储空间被重用或释放之前，在原始对象占用的存储位置创建一个新对象，一个指向原始对象的指针，引用原始对象的引用或原始对象的名称将自动引用新对象，并且一旦新对象的生命周期开始，可用于操作新对象，如果：

• 新对象的存储空间正好覆盖了原始对象占用的存储位置，并且

• 新对象与原始对象的类型相同（忽略顶级 cv 限定符），并且

• 原始对象的类型不是 const 限定的，并且，如果是类类型，不包含任何类型为 const 限定的非静态数据成员或引用类型，并且

• 原始对象是T 类型的最衍生对象，而新对象是T 类型的最衍生对象（也就是说，它们不是基类子对象）。

由于s 中有一个const 成员，在调用operator= 后使用原始变量将是UB。

s var{42};
var = s{420};         // OK
do_something(var.id); // UB! Reuses s through original name
do_something(std::launder(&var)->id);  // OK, this is what launder is used for