Java if语句分支为何未被编译器判定为unreachable？

Java编译器对不可达代码的判定逻辑，不是基于全场景的常量逻辑推导，而是严格遵循Java语言规范里写死的静态判定规则，设计上特意给开发者留了写调试分支、常量开关的空间，不会把所有逻辑上走不到的代码都报成编译错误。

核心判定规则（和本次案例相关） #

• 对if条件的不可达判定，只有当条件表达式是*直接写死的字面量false*时，编译器才会判定对应if分支不可达；如果条件是带final局部变量的比较表达式、哪怕逻辑上恒真/恒假，编译器最多给出警告，不会把对应分支标记为不可达编译错误。
• 如果if-else结构的两个分支都包含return/throw这类必然终止方法执行的语句，编译器会直接判定整个if-else块之后的所有代码不可达，这个判定和if里的条件值无关，只看分支的终止语句覆盖情况。
• 对if/else if链式分支，只要前序分支没有被规则明确判定为“必然执行且终止”，后续分支都默认按可达处理；哪怕某个else if的条件是字面量true，规范也不要求编译器判定它后续的else分支不可达——就是为了兼容开发者临时写if(true)做调试分支的场景，不会导致编译失败。

各场景具体解释 #

testOne方法的判定逻辑 #

对应代码如下：

public int testOne() {
        final int aNumber = 5;
        if (aNumber < 10) {
            return 0;
        } else if (true) {
            return 2;
        } else {
            return 3;
        }
    }

• 为什么else if (true)分支没被判定为不可达？
  第一个if的条件aNumber < 10虽然逻辑上恒成立（final变量值固定为5），但这个表达式不属于规则里“条件为字面量false”的不可达触发场景，编译器不会因为这个条件恒真，就直接判定后面的else if分支走不到，最多给出“条件恒为真”的提示警告，不会标记为不可达错误。
• 为什么else if(true)后面的else分支没被判定为不可达？
  按规则只有if条件为字面量false时才会触发分支不可达判定，条件为字面量true的场景被规范特意排除在强制判定之外，允许开发者保留后续else分支做调试切换，所以这个else分支也不会被标记为不可达。

testTwo方法的判定逻辑 #

对应代码如下：

public int testTwo() {
        final int aNumber = 5;
        if (aNumber < 10) {
            return 0;
        } else {
            return 1;
        }
        // 后续代码被判定为不可达
        if (true) {
            return 3;
        } else {
            return 4;
        }
    }

这里第一个if-else结构从语法上覆盖了所有分支：不管条件是真是假，要么走if分支return 0，要么走else分支return 1，只要进入这个结构就必然会终止方法执行，根本走不到结构后面的代码。这个判定和条件是不是恒真、后面的if是不是写了true没有关系，只要双分支都带return，块后的代码就必然不可达，所以编译器直接标记这段代码报错。

澄清误解：不存在“编译器认为final变量、硬编码true可能被修改”的情况，编译器完全能识别这些值是固定的，上述判定差异是Java语言规范有意设计的规则，不是编译器推导能力不足，也不是对值的可变性判断有误。

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