java 编译器在编译期会对 if 语句中的常量条件进行优化，直接移除死代码或简化逻辑。具体做法是：当 if 的条件表达式由字面量、final 修饰的静态常量或编译期常量（如 string 常量拼接）组成时，javac 会在字节码生成阶段直接计算结果。如果条件恒为真，则保留分支内容并移除 else；如果恒为假，则直接移除整个 if 块及其内部代码。这种优化发生在编译期，不依赖运行时的 jit 编译器。
if (true) 和 if (false) 会被如何优化
对于字面量布尔值 true 和 false，编译器会执行彻底的死代码消除。如果条件是 true，else 分支会被完全丢弃；如果条件是 false，if 内部的代码块会被标记为不可达并移除。这可以通过查看编译后的字节码或使用反汇编工具验证。
public class ConstantOptimization {
public static void main(String[] args) {
if (true) {
System.out.println("Always runs");
} else {
System.out.println("Never runs");
}
if (false) {
System.out.println("Dead code");
} else {
System.out.println("Else branch runs");
}
}
}
预期结果：
控制台输出：Always runsElse branch runs
编译后字节码中，if (false) 分支内的 System.out.println("Dead code") 对应的指令将不存在，或者被标记为 unreachable 且不被执行。
静态 final 常量作为条件时的优化行为
使用 static final 修饰的基本类型或 String 常量作为条件时，编译器同样会将其视为编译期常量并进行优化。这是因为 static final 基本类型常量在编译时具有确定的值，属于“编译期常量”。需要注意的是，如果常量是在运行时才能确定值的（例如非 final 的静态变量，或 final 但初始化为非常量表达式的字段），则不会发生此优化。
public class StaticFinalTest {
private static final boolean FLAG = true;
public static void test() {
if (FLAG) {
System.out.println("Flag is true");
} else {
System.out.println("Flag is false");
}
}
public static void main(String[] args) {
test();
}
}
预期结果：
控制台输出：Flag is true
由于 FLAG 是编译期常量，编译器会将 if (FLAG) 优化为无条件执行第一个分支，else 分支代码被移除。
基于程序中某个输入、条件或结果的具体问题
在上面的程序中，如果我们将 FLAG 的定义从 static final boolean FLAG = true; 改为 static boolean FLAG = true;（去掉 final），编译器的优化行为会发生什么变化？答案是：编译器不再进行死代码消除。因为去掉 final 后，FLAG 不再是编译期常量，其值可能在运行时被修改（尽管在这个简单示例中没改，但编译器无法保证）。因此，生成的字节码会包含完整的 if-else 结构，包括条件判断指令和两个分支的代码。这体现了 Java 编译器对“编译期常量”定义的严格性：只有满足特定条件的常量才能在编译时被求值并用于优化。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
