奇怪的C布尔铸造行为(true！= true)

#include <iostream>
using namespace std;

union zt
{
 bool b;
 int i;
};

int main()
{
 zt w;
 bool a,b;
 a=1;
 b=2;
 cerr<<(bool)2<<static_cast<bool>(2)<<endl;                      //11
  cerr<<a<<b<<(a==b)<<endl;                                      //111
 w.i=2;
 int q=w.b;
 cerr<<(bool)q<<q<<w.b<<((bool)((int)w.b))<<w.i<<(w.b==a)<<endl; //122220
 cerr<<((w.b==a)?'T':'F')<<endl;                                 //F
}

非零的任何整数值(或非NULL的指针)都表示为true.
但是当比较整数和bool时,在比较之前将bool转换为int.

这是一个真正的问题.

如果我们去最后一个代码示例,那么a和b都是bool,并且通过分配1和2来设置为true(否则1和2消失,它们现在只是真的).

所以打破你的表情：

a!=0      // true (a converted to 1 because of auto-type conversion)
b!=0      // true (b converted to 1 because of auto-type conversion)

((a!=0) && (b!=0)) => (true && truE)  // true ( no conversion donE)

a==0      // false (a converted to 1 because of auto-type conversion)
b==0      // false (b converted to 1 because of auto-type conversion)

((a==0) && (b==0)) => (false && falsE) // false ( no conversion donE)

((a!=0) && (b!=0)) || ((a==0) && (b==0)) => (true || falsE) => true

所以我总是期望上面的表达式得到很好的定义,并且始终是真实的.

但我不知道这是如何适用于您的原始问题.当将一个整数分配给bool时,整数将转换为bool(如上所述). true的实际表示不是由标准定义的,可以是适合bool的任何位模式(您不能假定任何特定的位模式).

当将bool与int进行比较时,将bool转换为int,然后进行比较.

以二进制格式编写数据是不可知的.
每个对象的大小都有问题.
有代表性的问题：

>整数(有endianess)
> Float(表示未定义(通常取决于底层硬件))
Bool(二进制表示法未定义)
>结构(成员之间的填充可能不同)

所有这些您需要知道底层硬件和编译器.编译器的不同编译器或不@R_38_11197@的编译器,甚至具有不同优化标记的编译器可能对上述所有操作都有不同的行为.

联盟的问题

struct X
{
    int  a;
    bool b;
};

当人们提到写“a”,然后从’B’读取是未定义的.
为什么：因为我们不知道在这个硬件上如何表示’a’或’B’.写入’a’将填写’a’中的位,但如何反映在’B’中的位.如果您的系统使用1字节布尔和4字节整数,低位存储器中的最低字节为最低字节,则将1写入’a’将1置于’B’.但那么你的实现如何代表一个bool？是真的表示1或255？如果将1置入’B’,并且真正使用255的所有其他用途会发生什么？

所以除非你了解你的硬件和你的编译器的行为将是意想不到的.

因此,这些用途是未定义的,但不被标准所禁止.他们被允许的原因是你可能已经做了这个研究,发现在你的系统上使用这个特定的编译器,你可以做一些自由的优化,做出这些假设.但是请注意,假设中的任何更改将会破坏您的代码.

另外当比较两种类型时,编译器将在比较之前进行一些自动转换,请记住在比较之前将两种类型转换为相同类型.为了在整数和bool之间进行比较,将bool转换为整数,然后与另一个整数进行比较(转换将false转换为0,并将其转换为1).如果要转换的对象都是bool,那么不需要转换,并且使用布尔逻辑进行比较.