我在哪里可以找到 std::launder 的真正作用？ [复制]

Question

我试图了解std::launder 的作用，我希望通过查找示例实现可以清楚地了解。

在哪里可以找到std::launder 的示例实现？

当我查看 lbic++ 时，我看到类似

的代码

  template<typename _Tp>
    [[nodiscard]] constexpr _Tp*
    launder(_Tp* __p) noexcept
    { return __builtin_launder(__p); }

这让我觉得这是另一个编译器魔法函数。

这个函数__builtin_launder 可以做什么，它只是添加一个标签来禁止编译器关于别名的警告吗？

是否可以根据__builtin_launder 来理解std::launder，或者它只是更多的编译器魔法（挂钩）？

Answer 1

std::launder 的目的不是“抑制警告”，而是消除 C++ 编译器可能存在的假设。

别名警告试图通知您，您可能正在执行 C++ 标准未定义的行为。

编译器可以并且确实会假设您的代码仅执行标准定义的操作。例如，它可以假设指向 const 值的指针一旦构造就不会改变。

编译器可能会使用该假设跳过从内存中重新获取值（并将其存储在寄存器中），甚至在编译时计算其值并基于它进行死代码消除。它可以假设这一点，因为任何它为假的程序都在执行未定义的行为，因此任何程序行为都在 C++ 标准下被接受。

std::launder 旨在允许您将指针指向真正经过合法修改的const 值（例如，通过在其存储中创建一个新对象）并在之后使用该指针以定义的方式进行修改（因此它指的是新对象）和其他特定和类似的情况（不要假设它只是“消除混叠问题”）。 __builtin_launder 在某种意义上将是一个“noop”函数，但从另一种意义上说，它将改变围绕它可以生成什么样的汇编代码。有了它，就不能对其输出做出关于可以从其输入中获得什么价值的某些假设。一些输入指针上的 UB 代码不是输出指针上的 UB。

这是一个专家工具。我个人不会在没有进行大量标准研究和仔细检查我没有使用错误的情况下使用它。添加它是因为有人证明某些操作无法以符合标准的方式合理执行，并且它允许库编写者现在有效地执行此操作。