为何在if条件判断前必须初始化变量？Java代码实例解析

先看你给出的这段代码：

int i = 4;
int c;
if (i == 4) c = 1;
if (i != 4) c = 2;
System.out.println(c);

这段代码在逻辑上c肯定会被赋值——毕竟i要么等于4，要么不等于，但Java编译器还是会抛出c not initialised的错误，核心原因在于Java编译器的静态检查规则不做运行时逻辑的深度推导。

具体来说：

• 编译器只会检查变量在被使用前，是否所有可能的执行分支都完成了赋值。这里用的是两个独立的if语句，编译器不会判断这两个条件是互斥且覆盖所有情况的——它只会认为：第一个if可能不执行，第二个if也可能不执行，存在c未被赋值的潜在路径，因此触发错误。
• 如果你把代码改成if-else结构：

  int i = 4;
  int c;
  if (i == 4) {
      c = 1;
  } else {
      c = 2;
  }
  System.out.println(c);
  

  编译器就会认可，因为它能明确看到：所有执行路径里c都会被赋值，不存在未初始化的可能。

另外要注意，Java对局部变量和成员变量的初始化规则不同：成员变量会被默认初始化（比如int类型默认是0），但局部变量不会——这是Java的安全设计，强制程序员明确初始化局部变量，避免因疏忽导致的不可预测运行时行为。

简单说，不是代码逐行执行的问题，而是编译器只做最基础的分支覆盖检查，不会帮你推导逻辑上的必然性。

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