Java 明确规定：在 a == (a = b) 这类表达式中，== 左操作数 a 总是先被完全求值，之后才执行右操作数中的赋值；因此该表达式等价于 a_old == b（而非 b == b），行为确定且与编译器无关。
java 明确规定：在 `a == (a = b)` 这类表达式中，`==` 左操作数 `a` 总是先被完全求值，之后才执行右操作数中的赋值；因此该表达式等价于 `a_old == b`（而非 `b == b`），行为确定且与编译器无关。
在 Java 中，a == (a = b) 不会产生未定义行为（undefined behavior）——这与 C/C++ 截然不同。Java 语言规范（JLS）对表达式求值顺序作出了严格、明确的约束，确保此类代码的行为可预测、跨平台一致。
核心依据来自 JLS §15.7.1：
The left-hand operand of a binary operator appears to be fully evaluated before any part of the right-hand operand is evaluated.
由于 == 是二元运算符，其左操作数（此处为变量 a 的当前值）必须在右操作数（即 (a = b)）的任何部分执行前完成求值。这意味着：
- 首先读取 a 的原始值（记为 a_old）；
- 然后才执行 a = b：将 b 赋给 a，并返回 b（赋值表达式的值）；
- 最后用 a_old == b 进行比较。
因此，a == (a = b) 的结果恒等于 a_old == b，且赋值副作用发生在比较之后（逻辑上），但求值顺序已由规范锁定。
来看你提供的示例：
int a = 2; System.out.println(a == (a = 2 * a + 1)); // 输出 false System.out.println(a); // 输出 5
执行过程分解如下：
- a == (...)：左操作数 a 求值 → 得到 2；
- 右操作数 (a = 2 * a + 1) 开始求值：
- 先计算 2 * a + 1 → 2 * 2 + 1 = 5（注意：此处 a 仍是 2，因左操作数已冻结）；
- 再执行赋值 a = 5，a 变为 5，表达式值为 5；
- 比较 2 == 5 → false。
这正是 JLS 所保证的确定性行为，不是编译器特有现象，而是所有合规 JVM 必须遵循的语义。
⚠️ 注意事项：
- 不要混淆「求值顺序」与「副作用发生时机」：赋值确实修改了 a，但 == 的左操作数绝不会看到这个修改；
- 类似结构如 a == (a += 1) 或 a
- 尽管行为确定，强烈建议避免此类写法——它降低可读性、增加维护成本，属于“聪明但危险”的代码风格；
- 若需先赋值再比较，应拆分为独立语句：
a = b; if (a == b) { ... }
总结：Java 通过严格的求值顺序规范消除了此类表达式的歧义。a == (a = b) 是明确定义的，结果为 原a值 == b，且 a 在比较完成后才被更新。理解 JLS 的这一原则，是写出可靠、可移植 Java 代码的重要基础。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
