std ::洗钱的目的是什么？

P0137引入了功能模板， std::launder并在有关并集，生存期和指针的部分中对标准进行了许多更改。

本文要解决的问题是什么？我必须了解的语言有哪些变化？那我们在做launder什么？

std::launder仅当您知道其用途时才适当地命名。它执行内存清洗。

考虑本文中的示例：

struct X { const int n; };
union U { X x; float f; };
...

U u = {{ 1 }};

这种说法进行集合初始化，初始化的第一个成员U用{1}。

因为n是一个const变量，编译器是免费的假设，u.x.n应始终为1。

那么，如果我们这样做：

X *p = new (&u.x) X {2};

由于X琐碎，我们无需在创建新对象之前销毁旧对象，因此这是完全合法的代码。新对象的n成员为2。

所以告诉我...什么会u.x.n回来？

显而易见的答案是2。但这是错误的，因为允许编译器假定一个真正的const变量（不仅是a const&，而且是声明 的对象变量const）永远不会改变。但是我们只是更改了它。

[basic.life] / 8说明了可以通过对旧对象的变量/指针/引用访问新创建的对象的情况。拥有const成员是取消资格的因素之一。

那么...我们该如何u.x.n正确讨论？

我们必须洗净我们的记忆：

assert(*std::launder(&u.x.n) == 2); //Will be true.

洗钱用于防止人们追踪您的钱财来源。内存清洗用于防止编译器跟踪对象的来源，从而迫使它避免可能不再适用的任何优化。

取消资格的另一个因素是是否更改了对象的类型。std::launder也可以在这里提供帮助：

aligned_storage<sizeof(int), alignof(int)>::type data;
new(&data) int;
int *p = std::launder(reinterpret_cast<int*>(&data));

[basic.life] / 8告诉我们，如果在旧对象的存储中分配新对象，则无法通过指向旧对象的指针访问新对象。launder让我们回避这一点。