Java编译器为何认可if(true)初始化变量g，却报错if(gg)未初始化？

先看看你给出的代码：

public static void main(String args[]) { 
    boolean gg = true; 
    int g; 
    if (gg) // 换成if(true)就不报错
    { 
        g = 6; 
    } 
    System.out.println(g); 
}

这个问题的核心其实是摸透Java编译器的“检查规则”——它可不会像人一样去读你的代码逻辑、猜运行时的值，它只认编译阶段能100%确定的事实。

咱们拆成两种情况说：

• 当用if(true)时：
  true是一个编译期常量表达式，编译器一眼就能判定这个分支是必然会执行的，所以它能确定变量g一定会被赋值为6，完全符合“局部变量使用前必须初始化”的规则，自然就不会报错。

• 当用if(gg)时：
  哪怕你把gg赋值成了true，但gg只是个普通的boolean变量，不是编译期常量（除非你给它加个final修饰，写成final boolean gg = true;）。编译器不会去追踪这个变量的赋值逻辑，它只会默认：这个变量的值在运行时是有可能被修改的（哪怕你代码里没改，编译器也不会做这种“深度流分析”），所以这个if分支存在不执行的可能性。那变量g就有未初始化就被System.out.println(g)调用的风险，编译器自然就抛出了那个错误。

给你个小验证：如果把gg改成final boolean gg = true;，再用if(gg)，编译器就会和if(true)一样，判定分支必然执行，不会报错——因为此时gg是编译期常量，值是完全确定的。

内容的提问来源于stack exchange，提问作者vico