メモリーロンダリングの本質を発表する：std :: launder

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

x *p = new（&u.x）x {2};

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

要約すると、STD :: Launderは、メモリに正しくアクセスする能力を妨げる可能性のある特定のコンパイラの最適化をバイパスできる強力なツールです。メモリを洗濯することにより、コンパイラがその内容について仮定を立てることを妨げ、正確で信頼できるデータアクセスを確保することを保証します。

。