为什么带逗号的三元运算符在真情况下只求一个表达式？

Question

我目前正在用《C++入门》一书学习C++，书中的练习之一是：

解释以下表达式的作用:somevalue？++X,++Y:--X,--Y

我们知道些什么？我们知道三元运算符比逗号运算符有更高的优先级。对于二进制运算符，这是很容易理解的，但是对于三元运算符，我就有点费劲了。对于二进制运算符，“具有更高优先级”意味着我们可以在具有更高优先级的表达式周围使用括号，并且它不会改变执行。

对于三元运算符，我会做：

(someValue ? ++x, ++y : --x, --y)

#include <iostream>

int main()
{
    bool someValue = true;
    int x = 10, y = 10;

    someValue ? ++x, ++y : --x, --y;

    std::cout << x << " " << y << std::endl;
    return 0;
}

11 10

另一方面，使用somevalue=false则打印：

9 9

为什么C++编译器生成的代码对于三元运算符的true分支只增加x，而对于三元运算符的false分支则同时减少x和y？

我甚至在真分支周围加上了圆括号，就像这样：

someValue ? (++x, ++y) : --x, --y;

但仍会导致11 10。

Answer 1

正如@rakete在他们出色的回答中所说，这是有猫腻的。我想再补充一点。

三元运算符必须具有以下格式：

逻辑或表达式？表达式:赋值表达式

null

someValue?++x,++y:--x

考虑将++x,++y计算为带圆括号的(++x,++y)可能有助于可读性；包含在？和:之间的任何内容都将在条件之后排序。（我将在文章的其余部分把它们加上括号）。

并按以下顺序计算：

1. SOMEVALUE？
2. (++x,++y)或--x（取决于bool结果为1。）

(someValue?(++x,++y):--x), --y;

那么，当somevalue为true时会发生什么呢？

1. (somevalue？(++x,++y):--x)执行并递增x和y为11和11
2. 丢弃左侧表达式（尽管增量的副作用仍然存在）
3. 我们计算逗号运算符的右边:--y，然后将y递减回10

要“修复”该行为，可以用括号将--x,--y分组，将其转换为一个主表达式，该主表达式是赋值表达式的有效条目*:

someValue?++x,++y:(--x, --y);

*它是一个相当有趣的长链，将赋值表达式连接回主表达式：

赋值表达式---（可以由）-->条件表达式-->逻辑或表达式-->逻辑与表达式-->包含或表达式-->异或表达式-->与表达式-->等式表达式-->关系表达式-->移位表达式-->加法表达式-->乘法表达式-->PM表达式-->强制转换表达式-->一元表达式-->后缀表达式-->主表达式组成