Java表达式副作用指计算中隐式改变外部状态，应使其可见、可控、可预测；须禁用条件/三元/自增中的副作用，用括号明确优先级，分离判断与执行，并借助IDE和静态检查防范。
Java 表达式中的副作用，本质是“计算过程中悄悄改变了外部可观测状态”。它不报错、不抛异常，却让逻辑变得脆弱、难调试、难并行——尤其在条件判断、赋值、Stream 或三元运算里藏得最深。规避的关键不是杜绝所有副作用，而是让副作用**可见、可控、可预测**。
别把副作用塞进表达式里
表达式本该只负责“算出一个值”，一旦混入修改动作，就破坏了语义清晰性：
-
禁止在 if 条件中调用有副作用的方法：如
if (user.save() && user.isValid())—— save() 执行了数据库写入，但若isValid()先返回 false，save 就被短路跳过，业务逻辑断裂 -
避免在三元运算中做赋值或 I/O：如
status = (valid ? log("ok") : log("fail"));—— log 方法有副作用，且三元结果类型可能为 void，编译失败；更糟的是，log 的执行时机和次数不可靠 -
++i / i++ 不要嵌套使用：如
arr[i++] = arr[++i];—— 求值顺序未定义，不同 JVM 可能给出不同结果
用括号显式分组，切断优先级误导
运算符优先级不是用来“背”的，是用来“防御”的。只要表达式含两种以上运算符，一律加括号：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
位运算必须包严实：写
(flags & READ_MASK) == 0，而不是flags & READ_MASK == 0（后者等价于flags & (READ_MASK == 0)，类型错误） -
布尔组合统一加外层括号：写
if ((a > 0) && (b < 10 || c == null))，避免a > 0 && b < 10 || c == null因优先级导致逻辑错乱 -
null 判断必须拆开：写
obj != null && obj.isActive()，不写!obj || !obj.isActive()（前者语义直白，后者易误读且 obj 为 null 时抛 NPE）
把副作用“拎出来”，集中声明与执行
让判断归判断，执行归执行，中间用纯数据过渡：
立即学习“Java免费学习笔记（深入）”；
- 先算决策值：
boolean shouldPersist = user.isDirty() && user.isValid(); - 再统一执行：
if (shouldPersist) { saveToDB(user); notifyChange(user); } - 流操作中禁用 peek 做业务修改：把
stream.peek(x -> cache.put(x.id, x))改成stream.collect(Collectors.toMap(User::id, u -> u))，副作用收口在 collect 阶段
借助工具和习惯提前拦截
人会疏忽，工具不会：
- 启用 IDE 高亮：IntelliJ 中开启 Settings → Editor → Color Scheme → Java → Expressions，一眼看出哪些子表达式被整体求值
- 鼠标悬停看绑定优先级：IDE 会提示
&& binds tighter than ||，帮你验证直觉 - 提取变量重构：选中复杂条件 → Refactor → Extract Variable，自动生成
boolean hasPermission = (flags & PERMISSION_READ) != 0;，既提升可读，又天然消除歧义 - 静态检查补位：启用
-Xlint:all编译选项，捕获Boolean.TRUE.equals(obj)这类安全写法替代易出错的obj.equals(Boolean.TRUE)
