您好,登錄后才能下訂單哦!
這篇文章主要講解了“C++為什么不使用聯合體實現雙關類型”,文中的講解內容簡單清晰,易于學習與理解,下面請大家跟著小編的思路慢慢深入,一起來研究和學習“C++為什么不使用聯合體實現雙關類型”吧!
C.183: 不要使用聯合體實現雙關類型
向聯合體的一個類型的成員寫入,然后從聯合體不同類型的另一個成員讀出數據的行為是沒有定義的。這樣的雙關性操作無法發現,或者至少比使用命名轉換更難發現。使用聯合體實現雙關類型是錯誤的源頭。
Example, bad(反面示例)
union Pun {
int x;
unsigned char c[sizeof(int)];
};
Pun的想法是可以觀察整數的字節表現。
void bad(Pun& u)
{
u.x = 'x';
cout << u.c[0] << '\n'; // undefined behavior
}
如果你希望看到整數的各個字節,使用(命名)轉換:
void if_you_must_pun(int& x)
{
auto p = reinterpret_cast<unsigned char*>(&x);
cout << p[0] << '\n'; // OK; better
// ...
}
使用reinterpret_case將一個對象從它被定義的類轉換為不同的類型之后訪問其結果是被定義的行為(即使是這樣也不推薦使用reinterpret_cast),但是至少我們可以看到某些危險的處理正在進行。
Note(注意)
不幸的是,聯合體經常被用于雙關類型。我們不認為“有時會按照預期動作”是一個很有力的觀點。C++17引入了新類型std::byte以協助表現針對原始對象的操作。在這些操作中應該使用std::byte而不是unsigned char。
感謝各位的閱讀,以上就是“C++為什么不使用聯合體實現雙關類型”的內容了,經過本文的學習后,相信大家對C++為什么不使用聯合體實現雙關類型這一問題有了更深刻的體會,具體使用情況還需要大家實踐驗證。這里是億速云,小編將為大家推送更多相關知識點的文章,歡迎關注!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。