为何含while(true)的Java方法无返回语句不触发编译报错？

这本质是Java编译器的可达性分析逻辑在起作用：

• 当方法里有while(true)循环时，编译器能识别出这个循环是无限循环——它没有正常退出的条件（没有break、return以外的终止方式），循环体之外的代码（也就是方法的末尾）是不可达的。编译器会判定：所有能执行到的路径要么在循环里通过return true返回结果，要么永远卡在循环里，根本不会走到方法最后。所以不需要强制要求方法末尾有return语句，也就不会报错。

• 一旦移除while(true)代码块，方法的执行路径就变了：执行完i++后，会直接走到方法的最后一行，这条路径是完全可达的，但这里没有任何return语句，编译器就会触发"No return statement"错误，提醒你这条路径没有返回值。

要注意的是，编译器的可达性分析只看代码结构和控制流语法，不会去分析循环的运行时逻辑——哪怕你知道i最终一定会加到100触发return，编译器也不会靠这个判断，它只认while(true)是无限循环、方法末尾不可达这个事实。

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