C++中位域的特征

Question

閱讀https://en.cppreference.com/w/cpp/language/bit_field ，以下結論是否正確？

• 相鄰位域之間是否沒有填充是實現定義的（這在https://eel.is/c++draft/class.bit#:bit-field中有所不同）
• 位域在類對象中的放置是實現定義的
• 位域中的 position 位是實現定義的（盡管 C++20 將有符號整數定義為二次補碼）。

（對於 C，請參閱：C 中位域的特征）

Answer 1

“這個問題針對一種語言的一個特定特征提出了三個非常明確的觀點。因此，獲得一個包含問題的所有三點的答案會很有幫助”

逐一解決問題

• 相鄰位字段之間沒有填充的想法在 C++ 的當前實現中無法保證。
• 是的，位域在 C++ 類對象中的放置是實現定義的

• “......標准中不能保證位域映射到相鄰的 memory 區域，盡管大多數明智的實現都會這樣做......”
  參考自...

簡而言之，結論是不能保證 C++ 的各種新規范之間的位域實現是一致的。 因此，從一個 C++ 實現到另一個實現的可移植性即使不是不可能，也很困難，這迫使必須為使用它的任何應用程序咨詢支持正在使用的 C++ 編譯器的規范和其他文檔，以確保其關於如何填充的實現（規則），或實現位域的其他屬性。