在此指针上放置新 [重复]

Question

2 个打印语句打印不同的数字。据我所知，我在这里没有做任何狡猾的const_cast，所以我不确定我可能犯了什么UB。

1. 这段代码格式正确吗？

2. 编译器能否依赖 A::num 是 const 的事实，因此允许打印相同的数字？

代码：

struct A
{
    const int num = 100;

    A() {}    

    A(int in) : num{in} {}

    void call()
    {
        new (this) A{69};
    }
};

int main()
{
    A a;    
    std::cout << a.num << '\n';
    a.call();
    std::cout << a.num << '\n';
}

Answer 1

不，您的代码有 UB。删除num 上的const，您将不再获得任何UB。

问题在于标准提供了const 对象不会改变的保证。但如果你重用相同的存储，那么你可以通过某种方式“修改”const 对象。

[basic.life]p8 通过说对象的旧名称仅在某些条件下引用新对象来明确禁止这一点。其中之一是您的班级没有任何 const 成员。因此，通过扩展，您的第二个 a.num 是 UB，因为 a 指的是旧的破坏对象。

但是，有两种方法可以避免这种 UB。首先，您可以存储指向新对象的指针：

struct A *new_ptr;
struct A {
  // [...]
  void call() {
      new_ptr = new (this) A{69};
  }
};

int main()
{
    A a;    
    std::cout << a.num << '\n';
    a.call();
    std::cout << new_ptr->num << '\n'; // ok
}

或者使用std::launder:

std::cout << std::launder(&a)->num << '\n'; // second access