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.為了理解其目的，讓我們深入研究本文解決的特定問題以及我們需要確認的後續語言調整。

考慮以下代碼snippet：在此處執行匯總初始化，將u（x）的第一個成員設置為值1。作為n是一個const變量，編譯器假設u.x.n始終保留1。代碼：由於x是瑣碎的，因此我們可以在與舊的位置相同的位置創建一個新對象，從而使此代碼義面上有效。現在，新對象將其n個成員設置為2。

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

U u = {{ 1 }};

Enter std::launder: Memory Laundering

To circumvent this optimization, we need to "launder" our memory using std::launder.這是一個說明性的示例： assert（*std :: landere（&u.x.n）== 2）; //Will be true.

Memory laundering prevents the compiler from tracing the origin of our object, allowing us to access the new value despite the const member.

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

U u = {{ 1 }};

std::launder can also aid in other situations where data type changes or storage allocation semantics hinder direct訪問。 [&&&&&& &&&&&&華，sTD ::洗劫是一種強大的工具，它允許我們繞過某些可以阻礙我們正確訪問內存的能力的編譯器優化。通過洗滌內存，我們防止編譯器對其內容進行假設，以確保我們具有準確可靠的數據訪問。