std :: launderの目的は何ですか？

P0137は、関数テンプレートstd::launderを導入し、 共用体、存続時間、およびポインターに関するセクションで標準に多くの多くの変更を加えます。

このペーパーが解決している問題は何ですか？私が認識しなければならない言語の変更は何ですか？そして、私たちは何をしているのlaunderですか？

std::launderそれが何のためにあるかを知っている場合だけですが、適切に名前が付けられています。メモリロンダリングを実行します。

論文の例を考えてみましょう：

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

U u = {{ 1 }};

このステートメントは、集計初期化を実行し、Uwithの最初のメンバーを初期化し{1}ます。

のでnあるconst変数は、コンパイラは、その前提として自由であるu.x.nものとし、常に 1になります。

これを行うとどうなりますか？

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

Xはささいなことなので、新しいオブジェクトを作成する前に古いオブジェクトを破棄する必要はないので、これは完全に正当なコードです。新しいオブジェクトのnメンバーは2になります。

だから教えてください...何がu.x.n返りますか？

明白な答えは2です。しかし、コンパイラは真のconst変数（だけでconst&はなく、宣言され たオブジェクト変数const）は決して変更されないと想定することができるため、誤りです。しかし、変更しました。

[basic.life] / 8は、変数/ポインタ/古いオブジェクトへの参照を介して、新しく作成されたオブジェクトにアクセスしてもよい状況を詳しく説明しています。そして、const会員を持つことは失格要因の一つです。

では... u.x.n適切に話し合うにはどうすればよいですか？

私たちは自分の記憶を洗濯しなければなりません：

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

マネーロンダリングは、お金をどこから取得したかを人々が追跡できないようにするために使用されます。メモリロンダリングは、コンパイラーがオブジェクトを取得した場所をトレースしないようにするために使用されます。これにより、適用されなくなる可能性のある最適化を回避することが強制されます。

失格要素のもう1つは、オブジェクトのタイプを変更した場合です。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それを回避することができます。