在C语言里，x += x -= x * x 这行代码虽然很短，但它同时读取和修改了同一个变量 x，且修改动作不止一次。如果只按运算符的优先级去理解，表达式可以分组为 x += (x -= (x * x))，但 C 语言并不保证这种分组能推出唯一的结果。这个写法常常出现在题目或笔试题里，真实的工程代码中却应该主动避免。要弄清楚它的含义，需要分别从结合性、副作用和编译实现三个层面来看。
一、从优先级和结合性看，它似乎可以拆
复合赋值运算符 += 和 -= 的优先级相同，都低于乘法运算符 *。所以 x * x 这一部分会先被计算。又因为赋值类运算符的结合性是从右向左，所以右侧的 x -= x * x 会先被视为一个整体，再交给左侧的 x += 处理。这个拆解只是括号层面的语法分组，不能代表运行时一定按照这个顺序执行。
如果强行用拆分语句模拟，至少能写出两种结果。假设初始 x = 3，一种理解是先保留外层要读取的旧值，再执行内层赋值，最后把旧值和内层结果相加：
int old = x; /* 旧值 3 */ int inner = x = x - x * x; /* x 变为 3-9 = -6 */ x = old + inner; /* x = 3 + (-6) = -3 */
另一种理解是先执行内层赋值，再读取已经变化后的 x 参与外层运算：
int inner = x = x - x * x; /* x 变为 -6，结果为 -6 */ x = x + inner; /* x = -6 + (-6) = -12 */
同样是初始值 3，两种拆法分别得到 -3 和 -12。这个差异恰好说明，表达式 x += x -= x * x 的核心问题不是“括号怎么加”，而是外层读取 x 的时机没有被语言规则确定。
二、C语言标准为什么把这类写法视为未定义行为
在 C 语言中，赋值运算符会产生“副作用”，也就是真正写回变量。一个表达式里如果对同一个标量对象产生多次副作用，而这些副作用之间没有确定先后关系，程序就已经越过了标准允许的范围。C11 标准使用“unsequenced”来描述这种无法排序的读写关系：如果两个副作用或者一个副作用与一个值读取之间没有先后顺序，行为就是未定义的。
具体到 x += x -= x * x，内层的 x -= x * x 会写入 x，外层的 x += ... 也会写入 x，同时外层的加法还需要读取 x 的旧值或新值。内层写回、外层读取、外层写回这三者之间缺乏标准规定的序列关系。因此它不是“几种结果选一个”的未指定行为，而是更严重的未定义行为。编译器可以假设这种冲突不会发生，并据此生成优化后的代码。
需要区分两个概念：未指定行为通常还有若干合法结果，编译器需要选择其一；未定义行为则完全不受约束，程序可能得到某个值，也可能崩溃、被优化掉，甚至影响程序其他部分。把 x += x -= x * x 当成一个可移植的数学表达式来使用，是不符合 C 语言语义的。
三、不同编译器、不同优化级别的表现差异
既然行为未定义，不同编译环境自然可能给出不同结果。有人用较低优化级别编译时得到 -3，开启优化后却得到 -12；换成另一个编译器版本又可能出现别的数值。这些结果不是编译器“算错”，而是因为它们采用了不同的指令排布和求值顺序。对于这种代码，任何输出都谈不上正确或错误。
下面的程序可以用来观察当前环境的行为，但不应把它当作语言规则：
#include <stdio.h>
int main(void) {
int x = 3;
x += x -= x * x;
printf("x = %d\n", x);
return 0;
}
如果使用 GCC、Clang 或 MSVC，在 -O0、-O2 等不同选项下编译，结果可能发生变化。还有读者尝试把 x 声明为 volatile int，希望强制按顺序访问，但 volatile 只影响访问是否被优化省略，并不能修复多个副作用之间缺乏序列点的问题。所以从标准角度看，它依然是不可靠代码。
工程中如果看到这样的写法，通常意味着代码作者把“简洁”放在了“明确”之前。它不会带来性能提升，反而会让后续维护者花大量时间猜测意图，甚至在不同平台上突然出现奇怪问题。
四、清晰写法与避坑建议
如果业务逻辑确实需要“先让 x 减去 x 的平方，再把某个值与 x 相加”，应当先明确外层到底要使用旧的 x 还是更新后的 x。然后拆成多条语句，用临时变量保留中间值。例如需要外层使用旧值时：
int old = x; x = x - x * x; x = old + x;
如果只是希望把表达式化简为一行，也可以根据业务语义写成 x = 2 * x - x * x;，前提是你确认外层读取的是旧值。这样只对 x 赋值一次，语义清楚得多。不要试图用 x += x -= x * x 来炫技，因为它既不是可移植写法，也不能稳定表达某个数学关系。
类似的坑还包括 a[i++] = i;、printf("%d %d", i++, i); 等。它们的共同点是同一表达式中既修改又读取变量，且修改和读取之间缺少确定顺序。养成良好的编码习惯：一个变量在一次语句中只改变一次。如果逻辑复杂，就拆成两行、三行，现代编译器会帮你优化，不需要用未定义行为换可读性。