主页 / coding / 问题 / 79195927
Accepted
Salma Ihab Hamed
Asked: 2024-11-17 03:36:18 +0800 CST

不使用短路方法评估 C 中的后缀和逻辑运算符

  • 772

我在学习 C 语言中的逻辑运算符和条件时遇到了这个问题。

#include <stdio.h>
int main() {

    int x = 3;
    int y = 2;
    int z = 3;
    printf("Result #4 = %d\n", x++ <= 3 || y++ >= 2 && z++ != 3);
    printf("x: %d y: %d z: %d\n", x, y, z);
    return 0;

}

输出：

Result #4 = 1
x: 4 y: 2 z: 3

我不明白输出的最后一行。x、y、z 的值与我的理解不符。

以下是我的思路。

  • 表达式 x++ <= 3 || y++ >= 2 && z++ != 3 将被评估为：x++ <= 3 || (y++ >= 2 && z++ != 3)。
  • 然后，y++ >= 2 将为真并且 y 值将增加到 3。
  • 然后，z++ != 3 将为假，并且 z 值将增加到 4。
  • 由于整个条件为假，因此将评估 OR 条件的 RHS。
  • 因此，x++ <= 3 将被评估为真，并且 x 将增加到 4。
  • 整个条件将为真，因为 x++ <= 3 将被评估为真。

我试图找到这个问题的参考教科书或工作表，但没能找到。我在 StackOverflow 上做了一些研究，我不认为这是一种短路情况。如果是的话，我不明白为什么。

我能想到的唯一解释是，x 值将产生副作用（x 递增），因为它被评估为真，而 OR 语句的其余部分将不会产生副作用，因为它被评估为假，因此 y 和 z 不会递增。是这样吗？

c

3 个回答

  1. Best Answer

    该表达式x++ <= 3 || y++ >= 2 && z++ != 3将像如下方式进行评估：x++ <= 3 || (y++ >= 2 && z++ != 3)。

    如果你用括号来思考，那么为什么只在右侧应用它们，而不在另一侧应用它们呢？表达式的求值方式应该是这样的 (x++ <= 3) || (y++ >= 2 && z++ != 3)。

    为什么假设首先评估右侧？相等部分是从左到右评估的。

    int x = 3首先对andx++ <= 3进行求值：3 <= 3为真并x得到 4。不对右边进行求值，y保留z其初始值。

    • 2

  2. 你写得对

    表达式 x++ <= 3 || y++ >= 2 && z++ != 3 将被评估为：x++ <= 3 || (y++ >= 2 && z++ != 3)。

    现在我们来阅读一下 C 标准中有关逻辑或运算符的内容（C23 标准，6.5.14 逻辑或运算符）：

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

    4 与按位 | 运算符不同，|| 运算符保证从左到右进行求值；如果求值第二个操作数，则在求值第一个操作数和第二个操作数之间有一个序列点。如果第一个操作数的比较结果不等于 0，则不求值第二个操作数。

    因此，当第一个操作数即表达式的x++ <= 3计算结果为逻辑真（其结果等于 1）时，第二个操作数(y++ >= 2 && z++ != 3)不计算结果。这意味着变量y和z保持不变。

    注意（6.5.8 关系运算符）：

    7 如果指定的关系为真，则每个运算符 <（小于）、>（大于）、<=（小于或等于）和 >=（大于或等于）应返回 1；如果指定的关系为假，则返回 0。119)。结果类型为 int。

    其次（6.5.2.4 后缀增量和减量运算符）：

    2后缀 ++ 运算符的结果是操作数的值。其副作用是，操作数对象的值会增加（即，将相应类型的值 1 添加到其中）。

    x即在逻辑或运算符的第一个操作数中，将增量前的变量值3与整型常量进行比较3，并在下一条printf语句中输出已经增量的变量x。

    • 2

  3. 这个表达式的求值方式如下：

    int result;
if(x++ <= 3)
{ 
    result = true
}
else
{
    result = false;
    if(y++ >= 2)
    {
        if(z++ != 3) 
        {
           result = true;
        }
    }
}
    • 1

相关问题