GCC三元条件运算符中的副作用与值计算？

Question

我有以下代码对我产生了意想不到的结果：

 #include < stdio.h >

int a = 0, value;

int main(void)
{
    // Testing the evaluation order of multiple
    // conditional operators:
    value = (a == 3) ? 3 : (a = 3) ? 5 : 0;
    printf("%d\n", value);

    return 0;
}

我期待这段代码打印 3，看到条件运算符评估
从右到左，在 ? 处有一个序列点。最先被处决的人
操作，而它实际上打印 5.
假设存在于两个序列之间的表达式的副作用是错误的吗
当表达式的值是时也会计算点数吗？
如果我添加 printf("%d\n" a);不过我打印了 3 个，所以副作用就完成了。
还是只是控制剂量真正传递给子表达式 which
正式计算“第一”吗？
我宁愿赌后者，因为将 'a' 的值更改为 3 和右值
在将第二个条件分配给 4 时导致短路评估
第一个条件表达式，这意味着我为'a'和'value'都打印了3。
我使用 -std=c99 标志在带有 GCC 4.8.2 的 Lubuntu 14.04 上得到了上述结果。
感谢有人为我澄清这件事！

Answer 1

条件运算符不会“从右到左求值”。标准 (C11 6.5.15/4) 说：

第一个操作数被求值；它之间有一个序列点 评估和第二个或第三个操作数的评估 （以评估为准）。只有当 首先比较不等于0；第三个操作数仅在 首先比较等于 0；结果是第二个或 第三个操作数（以被评估者为准）

所以表达式(a == 3) ? 3 : (a = 3) ? 5 : 0; 的计算步骤如下：

• (a == 3) 结果是 0
• (a = 3) 结果为3，不等于0
• 5

所以5 是分配给value 的。

您可能会混淆如何评估条件运算符与条件运算符如何关联（或组）的概念。 C 的语法指定表达式：

(a == 3) ? 3 : (a = 3) ? 5 : 0;

像这样关联或分组子表达式：

((a == 3) ? 3 : ((a = 3) ? 5 : 0));

这通常被描述为“关联权利”。但是，这种分组/关联性不会影响表达式仍然从左到右计算并且第二个条件表达式仅在“外部”条件表达式中的第一个操作数被计算后计算的事实。

Answer 2

让我们一次追踪这一部分。你有这个表达式：

value = (a == 3) ? 3 : (a = 3) ? 5 : 0;

由于a从0开始，我们跳过第一个?:的3分支，看第二个分支，即

(a = 3) ? 5 : 0

这里的条件是a = 3，它将a设置为3，然后计算出a的新值，即3。由于3非零，我们取?:的第一个分支，所以表达式的计算结果为5。最终结果是a 设置为 3，value 设置为 5。

语言规范保证评估顺序确实是您认为应该的 - ?: 运算符的“if”和“else”分支保证不会执行，除非条件正常运行，所以这里有序列点。我想你只是误解了a = 3操作的效果。

希望这会有所帮助！

Answer 3

条件运算符从左到右计算（在任一分支之前计算条件）。您可能会将其与它的右结合性（似乎从右到左绑定）混淆了。

您的条件表达式基本上会产生以下逻辑：

if(a == 3) {
    value = 3;
} else {
    if(a = 3) {
        value = 5;
    } else {
        value = 0;
    }
}

请注意，条件在评估条件之前不会执行分支。