本节书摘来自异步社区《C语言解惑》一书中的第1章，第1.5节，作者 傅道坤，更多章节内容可以访问云栖社区“异步社区”公众号查看
谜题1.5 关系操作符和条件操作符
请问，下面这个程序的输出是什么？
define PRINT(int) printf(#int " = %d\n",int)
main()
{
int x=1, y=1, z=1;
x += y += z;
PRINT( x < y ? y : x ); (1.5.1)
PRINT( x < y ? x ++ : y ++ );
PRINT(x); PRINT(y); (1.5.2)
PRINT( z += x < y ? x ++ : y ++ );
PRINT(y); PRINT(z); (1.5.3)
x = 3; y = z = 4;
PRINT( (z >= y >= x) ? 1 : 0 ); (1.5.4)
PRINT( z >= y && y >= x ); (1.5.5)
}
输出：
x < y ? y : x = 3 (1.5.1)
x < y ? x ++ : y ++ = 2 (1.5.2)
x = 3
y = 3
z += x < y ? x ++ : y ++ = 4 (1.5.3)
y = 4
z = 4
(z >= y >= x) ? 1 : 0 = 0 (1.5.4)
z >= y && y >= x = 1 (1.5.5)
解惑1.5 关系操作符和条件操作符
1.5.1
初始值：x = 3, y = 2, z = 1
x < y ? y : x
(x < y) ? (y) : (x) 除了涉及三个操作数以外，条件操作符与其他操作符没什么区别。
((x < y) ? (y) : (x))
(FALSE ? (y) : (x)) 先对条件求值，再根据其求值结果对“真”或“假”两个分支之一进行处理——这两种情况不可能同时发生。
((x)) 在这道谜题里，条件的求值结果是FALSE，所以这个条件表达式的值是“假”分支的值。
(3)
3
1.5.2
初始值：x = 3, y= 2, z = 1
x < y ? x++ : y++
((x < y) ? (x++) : (y++))
(FALSE ? (x++) : (y++)) 先对条件求值。
((y++)) 条件的求值结果是FALSE，所以接下来要对“假”分支进行求值。
(2), 此时y=3
2 （请注意：因为x++没有被求值，所以x的值仍是3）
1.5.3
初始值：x = 3, y = 3, z = 1
z += x < y ? x++ : y++
(z += ((x < y) ? (x++) : (y++)))
(z += (FALSE ? (x++) : (y++)))
(z += ((y++))) 条件表达式的结果成为赋值操作符右侧部分的值（右值）。
(z += (3)), 此时y=4
(z = z + 3)
(z = 4)
4
1.5.4
初始值：x = 3, y = 4, z = 4
(z >= y >= x) ? 1 : 0
(((z >= y) >= x) ? (1) : (0))
((TRUE >= x ) ? (1) : (0)) 按从内到外的顺序对条件求值。
((1 >= x) ? (1) : (0)) 最内层的条件的求值结果是TRUE。这个结果将与整数x进行比较。这种比较在C语言里是允许的，因为C语言里的TRUE值其实就是整数1。不过，这种做法并不好——具体到这道谜题，我们想检查z是否比y和x都大，但最终的求值结果显然不符合事实。（谜题1.5.5给出了对三个数值进行比较的正确做法。）
(FALSE ? (1) : (0))
((0))
0
1.5.5
初始值：x = 3, y = 4, z = 4`
z >= y && y >= x
((z >= y) && (y >= x))
(TRUE && (y>=x)) 按从左到右的顺序求值。
(TRUE && TRUE)
(TRUE)
1
