关于真实的表示可以假设什么？

Question

这个程序在我的机器上返回0：

#include <stdbool.h>

union U {
    _Bool b;
    char c;
};

int main(void) {
    union U u;
    u.c = 3;
    _Bool b = u.b;
    if (b == true) {
        return 0;
    } else {
        return 1;
    }
}

AFAICT，_Bool是一个整数类型，至少可以存储0和1，而true是整数常量1。在我的机器上，_Bool 有一个sizeof(_Bool) == 1 和CHAR_BITS == 8，这意味着_Bool 有256 个表示。

我在 C 标准中找不到太多关于 _Bool 的陷阱表示的信息，而且我无法找到是否使用不同于 0 或 1 的表示创建 _Bool（在实现支持两个以上的表示）是可以的，如果可以，这些表示是表示真还是假。

我可以在标准中找到当 _Bool 与整数进行比较时会发生什么，如果整数具有值 0，则将其转换为 0 表示，如果它具有值则转换为 1 表示它的值不是零，因此上面的 sn-p 最终会比较两个具有不同表示的_Bools：_Bool[3] == _Bool[1]。

我在 C 标准中找不到太多关于这种比较结果的信息。由于_Bool 是整数类型，我希望整数规则适用，这样相等比较仅在表示相等时才返回true，这里不是这种情况。

由于在我的平台上这个程序返回0，看来这个规则在这里不适用。

为什么这段代码会这样？ （即我错过了什么？_Bool 的哪些表示是陷阱表示，哪些不是？有多少表示可以表示true 和false？填充位在其中扮演什么角色？等等）

关于_Bool 的表示，可移植的 C 程序可以假设什么？

Answer 1

C11 标准中的脚注 122 说：

虽然 _Bool 对象中的位数至少为 CHAR_BIT，但 _Bool 的宽度（符号和值位数）可能只有 1 位。

因此，在_Bool 只有一个值位的编译器上，当您从内存中将_Bool 读取为char 时，只有一个位会生效。其他位是被忽略的填充位。

当我使用 GCC 测试您的代码时，_Bool 成员在将奇数分配给 u.c 时获得值 1，在分配偶数时获得值 0，这表明它只查看最低位。

请注意，以上仅适用于类型双关语。如果您改为将char 转换（隐式或显式转换）为_Bool，如果char 不为零，则该值将为1。