纯int位域的签名

如何解决纯int位域的签名

6.7.2 / 5中的C标准说：

...是 实现定义了说明符int指定与signed int相同的类型还是指定 与unsigned int类型相同。

x86-64 ABI在3.1.2中指定：

未签名或未签名的位字段始终具有非负值。尽管它们的类型可能为char，short，int或long（可以具有负值），但这些位字段的范围与位字段的范围相同相同大小 带有相应的无符号类型。

因此，在下面的程序中，我希望断言能够通过（至少在Linux上如此）。

#include <assert.h>

struct S {
  int x : 3;
};

struct S s;
int main() {
  s.x = 6;
  assert(s.x == 6);
}

但是它在Clang和Gcc中均失败。为什么？

此外，Clang发出警告：

warning: implicit truncation from 'int' to bit-field changes value from 6 to -2

因此，它的行为就像声明了signed int位字段一样。如果我明确地将其设置为unsigned int，则警告消失，并且声明通过。

解决方法

此行为记录在GCC manual中：

将“纯” int位域视为有符号int位域还是无符号int位域（C90 6.5.2，C90 6.5.2.1，C99和C11 6.7.2，C99和C11 6.7.2.1）。

默认情况下，它被视为signed int，但是可以通过-funsigned-bitfields选项更改。