C语言运算符学习疑问：循环中j值为何从3变为2？

核心拆解：for循环的更新表达式 #

你的困惑来自for循环末尾的逗号表达式，它按顺序执行三个操作：

(v[i] > v[j]) && (v[i] = v[i] + v[j] - (v[j] = v[i])), i++, j = j < n - 1 ? --i, j + 1 : i + 1

拆解为：

1. 交换判断：仅当v[i] > v[j]为真时，执行后面的交换逻辑（利用&&短路特性），交换通过v[i] = v[i]+v[j] - (v[j]=v[i])实现（先把v[i]赋值给v[j]，再计算得到原v[j]赋值给v[i]）。
2. i自增：无论是否交换，i++都会执行，i的值加1。
3. j的赋值逻辑：通过三元运算符j < n-1 ? --i, j+1 : i+1决定j的新值：
   • 若j < n-1为真：执行逗号表达式--i, j+1——先让i自减1，再返回j+1作为赋值给j的值。
   • 若j < n-1为假：直接把i+1赋值给j。

逐步骤推演到第四次输出 #

初始状态：i=0, j=1, n=4（n是数组元素个数，sizeof(v)/sizeof(int)=4）

1. 第一次输出（i=0,j=1）

   • 循环体执行打印后，执行更新表达式：
     • v[0]=-7 < v[1]=29，交换逻辑不执行。
     • i++ → i变为1。
     • j=1 <3为真，执行--i, j+1：i先减回0，返回1+1=2 → j=2。

2. 第二次输出（i=0,j=2）

   • 打印后执行更新：
     • v[0]=-7 < v[2]=76，不交换。
     • i++ → i变为1。
     • j=2 <3为真，执行--i, j+1：i减回0，返回2+1=3 → j=3。

3. 第三次输出（i=0,j=3）

   • 打印后执行更新：
     • v[0]=-7 < v[3]=8，不交换。
     • i++ → i变为1。
     • j=3 <3为假，取i+1（此时i=1，1+1=2）→ j=2。

4. 第四次输出（i=1,j=2）

   • 此时条件n>1 && i<4仍满足，执行循环体打印，这就是你看到j从3变为2的原因——j被直接赋值为i+1=2，并没有用到递减运算符。

额外说明 #

• 逗号表达式优先级最低，所以--i, j+1会先执行--i再返回j+1，这也是前两次循环i回到0的原因。
• 关于输出数组只有3个元素：原代码中n初始为4，但你的输出少了一个元素，可能是粘贴时的遗漏，或运行环境的小问题，但不影响i和j的取值逻辑。

内容的提问来源于stack exchange，提问作者Dan X