c++ - const cast 和 std launder

Question

在 const_cast 之后修改一个 const 构造的对象是 UB(我相信是由于不断传播)。即使与 std::launder 结合使用，它仍然是 UB 吗？ (哪个 AFAIK 阻止了一些优化，例如 const 传播)？

#include <new>
#include <iostream>

struct C
{
    int i;
};

int main(const int argc, const char * const * const argv)
{
    const C c{1};
    auto x = std::launder(const_cast<C*>(&c));
    ++x->i;
    std::cout << x->i << std::endl;
    std::cout << c.i << std::endl;

    return 0;
}

Answer 1

是的。尝试修改 const 对象是 UB，句点。