C语言运算符优先级、逻辑短路与表达式执行顺序疑问

你贴出的示例代码如下：

int a,b,c,d;
a=b=c=d=1;
a=++b>1 || ++c>1 && ++d>1;

你观察到的运行结果a=1、b=2、c=1、d=1完全正确，你对短路逻辑的猜测也完全成立，核心误区是混淆了运算符优先级和表达式实际求值顺序两个独立的概念。

运算符优先级的唯一作用：语法层面的操作数绑定 #

运算符优先级不负责决定代码的执行顺序，它的作用仅存在于语法解析阶段：确定相邻运算符和操作数的绑定关系，也就是隐式给表达式加括号的规则。
你这段代码里涉及的运算符，优先级从高到低排序为：

• 前缀自增++
• 大于比较>
• 逻辑与&&
• 逻辑或||
• 赋值=
  按照优先级规则做语法分组，最终的表达式结构确实是你推导的形式：
  a = ( (++b > 1) || ( (++c > 1) && (++d > 1) ) )
  这里必须纠正一个传播极广的错误认知：优先级高不代表对应的运算会先执行。优先级只解决「哪个运算符和哪些操作数组成一个子表达式」的问题，完全不涉及子表达式的执行先后顺序。

逻辑运算符的强制求值规则：短路与固定顺序 #

C语言标准仅对4个运算符规定了严格的从左到右求值顺序，且附带序列点、短路语义：&&、||、三目运算符?:、逗号运算符,。
其中||的执行规则是刚性的：

1. 首先求值左侧的子表达式
2. 如果左侧子表达式结果为真（非0），直接返回真值1，右侧整个子表达式完全不会被执行
3. 仅当左侧子表达式结果为假（0）时，才会继续求值右侧子表达式
   对应到你的代码执行流程：
4. 连续赋值执行完成后，a、b、c、d初始值均为1
5. 进入||表达式，严格先执行左侧子表达式++b > 1：前缀++属于这个子表达式内部的运算，先将b自增为2，再判断2>1，结果为真
6. 触发||短路规则，右侧整个(++c>1 && ++d>1)子表达式被直接跳过，c、d没有机会执行自增操作，保持初始值1
7. 将||的返回值1赋值给a，最终得到你看到的结果。

二者的关联总结 #

• 除了上述4个特殊运算符外，其余所有普通运算符（算术运算符、位运算符、普通比较运算符等）的操作数求值顺序，C标准未做强制规定，编译器可以自行选择先算左操作数还是右操作数，只要最终按照优先级绑定的运算关系计算结果即可。比如表达式f1() + f2() * f3()，虽然*优先级更高，语法上绑定为f1() + (f2()*f3())，但编译器完全可以先调用f1()，再调用f3()、f2()完成乘法，最后做加法，这个执行顺序是未指定的，和优先级没有关系。
• 对于带强制求值顺序的特殊运算符，优先级仅负责确定子表达式的边界，执行顺序完全遵循运算符本身的语义，和优先级高低无关。
• 永远不要靠优先级推导代码执行顺序，优先级只能用来判断运算的绑定关系，执行顺序需要结合序列点、运算符语义判断。

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