2

按位补码运算符对 bool 操作数做了意想不到的事情。下面的程序产生这个输出：

x: 123456fe   ~x: 87654301   !x: 556677ff
x: 123456ff   ~x: 87654301   !x: 556677fe

对于 X 中的任何字节值，~X 似乎总是用 01 覆盖整个字节。然而，!X 似乎只补充字节的 LSB...

我想如果将 bool 转换为 int，应用按位补码并将结果转换回 bool，则这是有道理的。 但是，我不明白为什么一个结果会将 8 位写入内存而另一个结果只写入 1 位。

#include "stdio.h"

typedef union {
    bool b;
    unsigned int i;
} ib_T; 

int main(int argc, char **argv) {
    ib_T x, y, z;

    x.i = 0x123456fe;
    y.i = 0x876543ff;
    z.i = 0x55667777;

    y.b = ~x.b;
    z.b = !x.b;
    printf("x: %08x   ~x: %08x   !x: %08x\n", x.i, y.i, z.i);

    x.i = 0x123456ff;
    y.b = ~x.b;
    z.b = !x.b;
    printf("x: %08x   ~x: %08x   !x: %08x\n", x.i, y.i, z.i);
}
4

1 回答 1

7

从您之前未分配的联合成员中读取是未定义的行为。

在一个union中，任何时候最多可以有一个非静态数据成员处于活动状态，即任何时候最多可以有一个非静态数据成员的值存储在一个union中。

当类型共享一个公共布局时，此规则有一个例外，这不适用于您的情况。一般来说，如果你分配给x.i，那么你只能从x.i;中读取。如果您想从 开始阅读x.b，您需要先分配到x.b。

我想如果将 bool 转换为 int，应用按位补码并将结果转换回 bool，则这是有道理的。

这是 100% 正确的：下面的片段

bool b;
b = false;
printf("b: %d\n", b);
b = ~b;
printf("~b: %d\n", b);
b = ~b;
printf("~~b: %d\n", b);

印刷

b: 0
~b: 1
~~b: 1

bool提升为int，应用波浪号，然后使用通常的“零/非零”规则~将结果转换回。bool

于 2012-06-28T13:22:57.483 回答