为何x *= 5 + 3不等于x = x * 5 + 3？技术原理解析

一、底层原理：复合赋值的本质与运算符优先级 #

所有复合赋值运算符（+=、*=、-=、/=等）遵循统一的语法规则：x op= expr 等价于 x = x op (expr)，核心逻辑分三步：

• 先完整计算右侧的整个表达式expr，得到单一结果值
• 将左侧变量x与该结果值执行op对应的运算
• 把最终运算结果重新赋值给x

结合你的例子拆解：

• 执行x *= 5 + 3时，先计算右侧5+3得到8，再执行x = x * 8，因此x=2*8=16，完全等价于x *= (5+3)
• 而x = x * 5 + 3遵循常规运算符优先级：*优先级高于+，所以先算x*5=10，再算10+3=13，这是两个独立的运算步骤，和复合赋值的逻辑完全不同

至于x += A + B看起来和x = x + A + B结果一致，只是加法结合律带来的巧合：x + (A+B)和x + A + B的计算结果相同。但换个不满足结合律的运算符就能看出差异，比如减法：x -= A - B等价于x = x - (A - B)，和x = x - A - B的结果完全不同（例：x=5，A=3，B=1：前者为3，后者为1）。

二、语法设计的原因 #

1. 规则一致性
   所有复合赋值运算符共用同一逻辑，不需要为不同运算符制定特殊规则，大幅降低开发者的记忆成本。只要看到x op= expr，就明确是把x和整个expr的结果做op运算后赋值。

2. 避免歧义与符合直觉
   如果把x *= A + B设计成等价于x = x*A + B，反而会和常规运算符优先级逻辑冲突——开发者看到A+B时，直觉上会认为这是一个整体，复合赋值应该作用于这个整体的结果，而非拆分运算。统一规则让代码语义更清晰，减少理解偏差。

3. 简洁性与语义明确
   复合赋值的初衷就是简化x = x op expr的写法，保持语义一致的前提下，既缩短了代码长度，又能让读者一眼看懂：这是对变量x进行op运算，运算的右操作数是整个expr的结果，而非拆分后的部分。

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