分配操作中標準的變化

Question

有人可以用一個例子解釋新標準中以下內容的變化嗎？這是否涉及嚴格的別名規則？

5.17/8。如果存儲在對象中的值是從另一個以任何方式與第一個對象的存儲重疊的對象訪問的，則重疊應該是精確的，並且這兩個對象應具有相同的類型，否則行爲不確定。

在新的標準，它與下面的註釋改爲：

[注：此限制適用於賦值操作的左 和右側之間的關係;它不是關於如何將轉讓目標一般化爲別名的說明 。見 3.10。 - 注完]

Answer 1

這解釋了變化：http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#556

似乎有被允許走樣當兩種不同的規格。

[...]

這個問題是基於措辭的意圖的誤解5.17 [expr.ass]第8段而不是被約走樣籠統的說法，它描述的情況其中分配的值的來源是與目標對象的存儲重疊的存儲。提議的決議應該使這一點更清楚，而不是改變規範。