为何使用if-else需初始化totalBill，而switch-case无需？

这本质是Java编译器的**明确赋值（Definite Assignment）**检查规则在两种结构下的差异。Java要求局部变量在被使用前必须被明确赋值，编译器会分析所有可能的执行路径，判断变量是否在所有路径中都被赋值。

先看if-else的情况 #

假设你的代码是类似这样的（未覆盖所有分支）：

int totalBill; // 未初始化
int type = getBillType(); // 运行时输入的变量

if (type == 1) {
    totalBill = 100;
} else if (type == 2) {
    totalBill = 200;
}
// 这里使用totalBill会报错
System.out.println(totalBill);

编译器无法确定type的取值范围（比如可能是3、4等），存在totalBill未被赋值的执行路径，因此触发未初始化错误。

即使你写了完整的if-else，但如果条件是编译器无法静态确定的布尔表达式，只要两个分支都给变量赋值，其实不会报错：

int totalBill;
boolean isVIP = getVIPStatus();

if (isVIP) {
    totalBill = 150;
} else {
    totalBill = 100;
}
// 这里不会报错，因为所有路径都覆盖了
System.out.println(totalBill);

但如果你的if-else结构遗漏了else分支，或者else-if链没有覆盖所有可能的取值，编译器就会判定存在未赋值路径，要求你初始化变量。

再看switch-case的情况 #

如果你的switch代码是这样的（覆盖所有枚举值）：

enum BillType { VIP, NORMAL }
BillType type = getBillType();

int totalBill; // 未初始化
switch (type) {
    case VIP:
        totalBill = 150;
        break;
    case NORMAL:
        totalBill = 100;
        break;
}
// 这里不会报错
System.out.println(totalBill);

因为BillType是枚举类型，编译器知道它的所有可能取值只有VIP和NORMAL，且每个case都给totalBill赋值并break，所有执行路径都覆盖了，所以编译器认为变量已被明确赋值，无需初始化。

如果是int类型的switch，但添加了default分支：

int type = getBillType();
int totalBill;

switch (type) {
    case 1:
        totalBill = 100;
        break;
    case 2:
        totalBill = 200;
        break;
    default:
        totalBill = 50;
        break;
}
// 这里也不会报错
System.out.println(totalBill);

default分支覆盖了所有未匹配case的情况，编译器确认所有路径都给变量赋值了，所以不需要初始化。

总结 #

• if-else触发错误，是因为编译器判定存在未覆盖的执行路径，变量可能未被赋值就被使用。
• switch-case无需初始化，是因为你要么覆盖了枚举类型的所有可能取值，要么通过default分支覆盖了剩余情况，编译器确认所有路径都给变量赋了值。

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