Java 严格规定了表达式中操作数的求值顺序：对于二元运算符（如 ==），左操作数总是先于右操作数被完全求值；因此 a == (a = b) 的行为是确定的，而非未定义——它等价于先读取 a 的原始值，再执行赋值，最后进行比较。
java 严格规定了表达式中操作数的求值顺序：对于二元运算符（如 `==`），左操作数总是先于右操作数被完全求值；因此 `a == (a = b)` 的行为是确定的，而非未定义——它等价于先读取 `a` 的原始值，再执行赋值，最后进行比较。
在 Java 中，a == (a = b) 不产生未定义行为（undefined behavior），其执行逻辑完全由 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 被更新为 b 的值；
✅ 最后用左操作数的旧值与右操作数的返回值（即 b 的值） 进行比较。
因此，a == (a = b) 的语义等价于：
int oldValue = a; // 先读取 a 的原始值 a = b; // 再赋值 boolean result = (oldValue == b); // 比较的是旧值与 b
验证示例：
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
int a = 2; System.out.println(a == (a = 2 * a + 1)); // 输出: false System.out.println(a); // 输出: 5
执行过程如下：
- 初始 a = 2；
- == 左操作数 a 先求值 → 得到 2；
- 右操作数 (a = 2 * a + 1) 开始求值：2 * 2 + 1 = 5，赋值后 a 变为 5，表达式返回 5；
- 比较 2 == 5 → false。
⚠️ 注意事项：
- 这与 C/C++ 不同：Java 没有未定义行为，所有表达式求值顺序均有规范保障；
- 不要混淆 a == (a = b) 与 a = (a == b)：后者是赋值布尔结果，语义完全不同；
- 尽管行为确定，但此类写法严重损害可读性与可维护性，强烈建议避免在生产代码中使用复合副作用表达式；
- 类似规则同样适用于 +, -, &&, || 等所有二元运算符——左操作数永远优先完全求值。
总结：Java 通过严格的求值顺序规则消除了歧义。a == (a = b) 总是使用 a 的原始值参与比较，赋值发生在比较之后（逻辑上），结果恒为 a_original == b。理解这一点有助于写出符合 JLS 预期、跨 JVM 一致可靠的代码。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
