布尔表达式中打印函数的行为[重复]

Question

语言：C

如果输入 0，则布尔表达式输出 0，否则输出 1。

按照上面的说法，

案例 1：

输入

#include <stdio.h>
#include <stdbool.h>
main()
{
    int a = 1,
        b = 2;
    bool res = ((a == b) && ("your "));
    printf("res = %d", res);
}

输出

res = 0

案例 2：

输入

    bool res = (!(a == b) && ("your "));
    printf("res = %d", res);

输出

res = 1

案例 3： 现在我将prinf函数添加到（“你的”）

输入

    bool res = ((a == b) && printf("your "));
    printf("res = %d", res);

输出

res = 0 //adding printf doesn't change the output

案例 4： 输入

    bool res = (!(a == b) && printf("your "));
    printf("res = %d", res);

输出

your res = 1 // i expected just "res = 1" not "your res = 1"

CASE 3中没有执行打印功能却在CASE 4中执行的打印功能怎么办？

Answer 1

根据 C 标准（6.5.13 逻辑与运算符）

4 与按位二进制 & 运算符不同，&& 运算符保证 从左到右的评估；如果计算第二个操作数，则有 第一个和第二个评估之间的序列点 操作数。 如果第一个操作数比较等于 0，则第二个 不计算操作数。

在此声明中用作初始化器的表达式中

bool res = ((a == b) && printf("your "));

逻辑 AND 运算符的第一个操作数 (a == b) 的计算结果为 0。因此，第二个操作数即 printf 的调用不会被计算，

另一方面，在这个表达式中用作声明中的初始化器

bool res = (!(a == b) && printf("your "));
 

第一个操作数 !(a == b) 的计算结果为 1。因此，调用 printf 的第二个操作数也被计算。

Answer 2

逻辑和运算符&& 的评估是短路评估。

考虑到A && B，首先评估A。当A 为真时，A && B 可以变为真并评估B。当A 为假时，A && B 永远不会为真，B 不会被评估。

现在看看实际案例。

在案例 3 (a == b) && printf("your ") 中，(a == b) 为假，因为 a (1) 不等于 b (2)。因此，现在我们失去了表达式 (a == b) && printf("your ") 变为真的所有机会，因此不评估 printf("your ")。这意味着函数没有被执行。

在案例 4 !(a == b) && printf("your ") 中，!(a == b) 为真，因为 (a == b) 为假。现在表达式!(a == b) && printf("your ") 可能会根据printf("your ") 的值变为真，因此会评估printf("your ") 并执行函数。

Answer 3

案例 3：

这是由于编译器优化了语句。由于使用了括号，语句从左到右翻译和评估。第一个表达式是： (a == b) 因为 a 和 b 的值而为假。编译器发现 ((a == b) && printf("your")) 中的表达式的结果总是会产生错误。因此优化要求不要为 printf("your") 生成代码。 我敢打赌，如果你在 demode 模式下编译它，你会看到预期的结果。

案例4的解释留给你自己。这很明显。 （提示注意运算符“!”、“&&”的优先级）

祝你好运。