是“真实的”吗？ >、<、!、&&、|| 的结果或 == 定义？

Question

例如，当我用 C 语言编写 7>1 时（如果这不是一个始终存在的功能，则称为 C99），我是否可以期望结果恰好为 1 或者只是某个非零值？这适用于所有布尔运算符吗？

Answer 1

在 C99 §6.5.8 关系运算符中，第 6 项（<、>、<= 和 >=< /代码>）：

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

至于相等运算符，在 §6.5.9 中更进一步（== 和 !=）：

==（等于）和 !=（不等于）运算符类似于关系运算符
运算符（优先级较低的运算符除外）如果满足以下条件，则每个运算符都会产生 1
指定关系为 true，如果为 false，则为 0。结果的类型为int。对于任意一对
操作数，恰好有一个关系为真。

逻辑 AND 和逻辑 OR 在 §6.5.13 (&&) 中更进一步

&&如果两个操作数比较不等于 0，则运算符应产生 1；否则，它
产生0。结果的类型为int。

...和§6.5.14 (||)

||如果任一操作数与 0 比较不等于，则运算符应产生 1；否则，它
产生0。结果的类型为int。

一元算术运算符 ! 的语义在 §6.5.3.3/4 结束：

逻辑非运算符的结果！如果其操作数的值比较，则为 0
不等于 0，如果其操作数的值比较等于 0，则为 1。结果的类型为 int。
表达式 !E 等价于 (0==E)。

结果类型全部为 int，可能的值为 0 和 1。 （除非我错过了一些。）

Answer 2

C 的布尔运算符遵循 Postel 法则：在你所做的事情上保持保守，自由地接受别人的东西。它将布尔表达式中的任何非零值视为 true，但它本身始终会生成 0 或 1。 2 != 3 始终为 1。

Answer 3

来自 ISO C99 标准，第 6.5.8 节：

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

来自第 6.5.9 节：

3 ==（等于）和 !=（不等于）运算符类似于
关系运算符，但优先级较低。每个
如果指定的关系为真，则运算符的结果为 1；如果
这是错误的。结果的类型为 int。对于任意一对操作数，
其中一个关系恰好为真。

逻辑合取 (&&) 和析取 (||) 运算符也会发生同样的情况。

PS：顺便说一句，这就是为什么按位运算符（& 和 |）通常可以用作逻辑运算符的非短路版本。

Answer 4

所有产生逻辑真/假值的 C 运算符始终会产生 int 类型的结果，其中 false 值为 0，1< /code> 为真。

并非所有产生逻辑真/假值的 C表达式都是这种情况。例如， 中声明的 is*() 字符分类函数 (isdigit(), isupper( ) 等）如果条件为 false，则返回 0，但如果条件为 true，则可能返回任何非零值。

只要您直接使用结果作为条件：

if (isdigit(c)) ...
if (!isdigit(c)) ...
if (isdigit(c) || islower(c)) ...

并且不要尝试将其与某些内容进行比较：

if (isdigit(c) == 1) ...    /* WRONG */
if (isdigit(c) == true) ... /* ALSO WRONG */

这不会导致任何问题。

（您可以安全地将结果与0或false进行比较，但没有充分的理由这样做；这就是!< /code> 运算符用于。）