Unveiling the Essence of Memory Laundering: A Deeper Dive into std::launder

In the realm of C standardization, P0137 introduces std::launder, a function template that addresses a subtle issue concerning unions, lifetime, and pointers.その目的を理解するために、特定の問題を掘り下げましょう}; ユニオンu {x x;フロートF; }; ... u u = {{1}};

ここでは、集約初期化が実行され、u（x）の最初のメンバーを値1に設定します。nはconst変数であるため、コンパイラは常に1つのままであると想定しています。コード： x *p = new（&u.x）x {2};

xは些細なので、古い場所と同じ場所に新しいオブジェクトを作成して、このコードを構文的に有効にすることができます。新しいオブジェクトには、Nメンバーが2に設定されます。結果は何になると思いますか？コンパイラは、const変数が不変であるという仮定に基づいて、コードを最適化し、U.X.Nの新しい値をアクセス不能にします。説明の例は次のとおりです。 // true。

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

U u = {{ 1 }};