为什么 std::launder 是一个 constexpr 函数？

Question

我想知道为什么 std::launder 是一个 constexpr 函数。是否有任何可以在编译时使用的用例？

Answer 1

因为绝对没有理由不这样做。它实际上只是对编译器具有一些特殊附加含义的恒等函数。它不能失败，不能有副作用。使它成为 constexpr 不需要任何成本，而且你永远不知道它什么时候会派上用场。