布尔到整数的转换

这种转换的可移植性。我可以确定两个断言都通过了吗？

int x = 4<5;
assert(x==1);

x = 4>5;
assert(x==0);

不要问为什么。我知道这很丑。谢谢。

int x = 4<5;

完全便携。符合标准。bool以int转换是隐式的！

来自C ++标准的§4.7/ 4说（整体转换）

如果源类型为bool，则值false将转换为零，并且值true将转换为1。

至于C，据我所知是没有bool的C.（1999年以前），所以bool要int转换在C ++中才有意义。在C中，4<5求int值为，在这种情况下，值为1， 4>5 将求值为0。

编辑：詹斯在评论中说，C99具有_Bool类型。bool是在stdbool.h头文件中定义的宏。true并且false也在中定义了宏stdbool.h。

C99的第7.16节说：

宏bool扩展为_Bool。

[..] true扩展为整数常量1，false 扩展为整数常量0，[..]

您同时标记了问题[C]和[C ++]。语言之间的结果将是一致的，但是每种语言的答案结构都不同。

在C语言中，您的示例与bool任何内容均无关（也适用于C99）。在C语言中，关系运算符不会产生bool结果。两者4 > 5并4 < 5是产生类型的结果的表达式int用值0或1。因此，在C中的示例中不会发生任何类型的“布尔到整数转换”。

在C ++中，关系运算符确实会产生bool结果。bool值可以转换为inttype，可以true转换为1和false转换为0。这是由语言保证的。

PS C语言还具有专用的布尔类型_Bool（宏别名为bool），其积分转换规则与C ++基本相同。但是，这与您在C中的特定示例无关。再次，无论语言规范的版本如何，C中的关系运算符始终会产生int（而非bool）结果。

C标准的6.5.8.6节说：

如果指定的关系为true，则每个运算符<（小于），>（大于），<=（小于或等于）和> =（大于或等于）应产生1，如果为0，则产生0。 false。）结果的类型为int。

由于int到bool的转换是隐式完成的，因此似乎没有问题。这适用于Microsoft Visual C ++，GCC和Intel C ++编译器。在C或C ++中都没有问题。