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++ 编译器的规范和其他文档，以确保其关于如何填充的实现（规则），或实现位域的其他属性。