C语言中三目运算符的结合性问题

个人学习笔记

关于C语言中的运算符问题，在学习过程中一直会有这样的声音，就是不要去死记硬背，一定要去理解。在不断练习中强化记忆。

我们知道在C语言中存在唯一的三目运算符，即条件运算符。那么条件运算符到底是什么呢？

对于条件表达式b ? x : y，先计算条件b，然后进行判断。如果b的值为true，计算x的值，运算结果为x的值；否则，计算y的值，运算结果为y的值。一个条件表达式绝不会既计算x，又计算y。条件运算符是右结合的，也就是说，从右向左分组计算。例如，a ? b : c ? d : e将按a ? b : (c ? d : e)执行。引自百度百科

我们从其定义中也看到了条件运算符的结合性是从右到左的。

那么验证一下这个结合性是否“正确”？

#include <stdio.h>int main(){    int a = 1, b = 2;    int c = 3, d = 4;    8>7?a:++c?1:2;    printf("%d\n",c);    return 0;}

考虑一下这段程序运行完成后c的值。

我们看第六行语句，既然条件运算符的结合性是从右到左的，那么我们也可以把这条语句写成这样：

8>7?a:(++c?1:2);

也就是说这个++是要执行的节奏了，于是c的值变为4。但是实际结果c的值为3。

我们稍微修改一下这段程序。

#include <stdio.h>int main(){    int a = 1, b = 2;    int c = 3, d = 4;    7>8?a:(++c?1:2);    printf("%d\n",c);    return 0;}

我们的改动就是将8>7改成7>8了，但是此时这段程序的运行结果已经变成c=4了。这个时候我们不禁问，按照结合性我们应该先运算的是后面的条件运算符，但是为什么我们修改前面的条件值却对后面产生了影响呢？

其实在这里个人理解就是这是C语言的一种优化机制，也是C语言的设计哲学吧。就是这是从全局的角度考虑，不是真正的按部就班一步一步来，即提前感受到前提条件已经为假了，本段运算已经没有什么意义了。这有点类似于逻辑运算符中的短路现象。