为什么在Clang和GCC中，当对象在堆栈上而不是堆上时，std::launder不返回正确的值（2）？即使使用std::launder。需要std::launder。请参阅[ptr.launder]/5，其中说明在替换顶级限定的对象常量时需要std::launder。这是因为[basic.life]/8不允许替换没有std::launder的完整const对象，只允许替换子对象。

#include <memory>
#include <iostream>

int main()
{
struct X { int n; };
const X *p = new const X{1};
const X x{1};

std::construct_at(&x, X{2});        // on stack
const int c = std::launder(&x)->n;

std::construct_at(p, X{2});         // allocated with new
const int bc = std::launder(p)->n;

std::cout << c << " " << '\n';
std::cout << bc << " " << '\n';
}

参见Compiler Explorer。