静态检查工具通过配置规则识别恒真/恒假表达式，如赋值误作比较、逻辑矛盾组合等语义陷阱，需结合手动重构与编码习惯双重防护。
静态检查工具能自动发现恒真/恒假表达式，关键在于配置规则、理解触发条件，并配合手动重构。这类问题不是语法错误，而是语义陷阱，需靠工具+习惯双重防护。
哪些表达式会被静态检查标记为危险
主流工具（如 IntelliJ、SonarQube、ErrorProne）会扫描以下典型模式：
-
赋值误作比较：如
if (flag = true)或while (x = 5)—— 虽然 Java 中int赋值进if会编译报错，但布尔类型赋值后恒为true，工具会告警“Assignment used as condition” -
逻辑矛盾组合：如
(a > 10) && (a 、<code>(x == null) || (x != null)—— 工具可推导出结果恒假或恒真 -
冗余否定：如
if (!(!valid))或while (!(x >= 0 && x 未简化，部分工具提示“Redundant boolean inversion” -
常量折叠后失活：如
if (DEBUG && false)，若DEBUG是static final boolean，编译期已知为false，工具标记“Unreachable branch”
IDE 和构建工具怎么启用检测
无需额外编码，只需开启内置检查项：
-
IntelliJ IDEA：进入 Settings → Editor → Inspections，勾选：
• “Boolean expression always evaluates to ‘true’/‘false’”
• “Assigning result of operation to variable with same name”（防覆盖）
• “Condition is always true/false”（高亮显示） -
Maven + ErrorProne：在
pom.xml中加入插件，启用BooleanMethodAlwaysReturnsTrue、ConstantConditional等检查器 -
SonarQube：规则
S1125（使用!替代== false）、S2583（条件永真/永假）默认激活，CI 流程中自动拦截
识别出来后怎么安全修复
不能只删掉警告，要按语义还原原意：
- 看到
if (status = ACTIVE)→ 先确认本意是赋值还是判断；若是判断，改为if (status == ACTIVE)或更推荐if (ACTIVE.equals(status)) - 遇到
while ((x >= -20) || (x 被标“always true” → 意识到这是区间判断反向写错，应改为 <code>while (x >= -20 && x ，或按退出逻辑重写为 <code>while (!(x 25)) - 若工具报
if (obj != null && obj.toString().length() > 0)中obj != null恒真（因上游已判空）→ 不要直接删，而是检查上下文是否重复校验；若确实冗余，删掉并补上注释说明依据 - 对复杂布尔式，优先提取为命名变量：
boolean inValidRange = (score >= 0) && (score <br><code>if (inValidRange) { ... }
这样工具更容易分析，人也更容易验证真假分支
预防比修复更重要
日常编码中养成三件事，能大幅减少此类问题：
-
常量左置写法：用
if (true == flag)替代if (flag == true)，一旦误写成=，Java 编译器立刻报错（boolean不能赋给boolean？不，是true = flag非法），从源头拦截 -
所有布尔条件加括号：哪怕只有两个操作数，如
if ((a && b) || c)，避免优先级误读导致工具无法准确建模 -
禁用裸
=在条件中：团队代码规范明确禁止if (x = y)类写法，CI 流程中用 Checkstyle 规则NeedBraces+EmptyStatement联合卡口
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
