java - java编译器是否理解if语句中给出的条件？

Question

这个问题已经有答案了:

(Compiler) else if(true) vs else scenario (8 个回答)

已关闭 5 年前。

以下代码不会给出编译错误 Unreachable statement 。

if(true)return;
int x;

多年来我一直认为这是因为编译器不太关注给定的条件。

今天我发现编译器能够理解条件，

int x;
if (true) {
    x = 0;
}
int y = x;

因为如果不是的话，这会导致另一个编译错误 variable x might not have been initialized 。事实上，它可以完美地编译和运行。所以，

java 编译器是否理解 if 中给出的条件声明？

Answer 1

Unreachable statements致力于对“可达”一词的精确解释。这个想法是，从包含语句的构造函数、方法、实例初始值设定项或静态初始值设定项的开头到语句本身，必须存在一些可能的执行路径。分析考虑了陈述的结构。除了对条件表达式为常量true的while、do、for语句进行特殊处理外，在流程分析中不考虑表达式的值。

例如，Java 编译器将接受代码:

int n = 5;
while (n > 7) k = 2;

即使n的值在编译时已知，原则上在编译时就知道对k的赋值永远不会被执行。

本节中的规则定义了两个技术术语:

• 语句是否可达

• 语句是否能正常完成

此处的定义仅允许语句在可达的情况下正常完成。

为了缩短规则的描述，习惯缩写“iff”用于表示“当且仅当”。

<小时/>

来源:

• Java Language Specification (SE 7 Edition)
  • Chapter 14 - Blocks and Statements
    • Section 14.21 - Unreachable Statements