C语言中运算符优先级、结合性与求值顺序的困惑

关于x = a * b + c / d;的疑问解答 #

首先纠正一个误区：乘法(*)和除法(/)是左结合，不是右结合。

你混淆了三个完全不同的概念：

• 优先级：决定运算符与操作数的分组方式，也就是表达式的结构。比如*、/优先级高于+，所以这个表达式会被分组为(a*b) + (c/d)，而非其他形式。
• 结合性：仅当多个优先级相同的运算符连续出现时，决定分组方向。比如a*b/c会被分组为(a*b)/c（左结合），而非a*(b/c)；如果是右结合的运算符（比如赋值=），a=b=c会被分组为a=(b=c)。
• 求值顺序：指子表达式的计算先后顺序，这和优先级、结合性完全无关。对于(a*b) + (c/d)，编译器可以先算a*b，也可以先算c/d——因为两个子表达式无互相依赖的变量，C标准未规定它们的求值顺序，只要最终结果符合分组后的运算逻辑即可。

你之前误以为结合性决定求值顺序，这是核心错误：结合性只管分组，不管谁先算。

关于x = a * b / (c + d);的疑问解答 #

括号的作用确实是提升内部表达式的优先级，强制把c+d作为一个整体操作数，所以表达式的分组结构是((a*b)/(c+d))，这部分你的理解是对的。

但分组结构不代表求值顺序的强制要求：a*b和c+d这两个子表达式是独立的，没有数据依赖（比如a、b的值不依赖c、d的计算结果，反之亦然），所以编译器完全可以先计算a*b，再计算c+d，或者反过来。只要最后按照(a*b)除以(c+d)的逻辑得到结果就行。

括号只改变运算的分组规则，不强制内部表达式的求值顺序早于其他无依赖的子表达式。

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