为何Java中这段含switch的代码无编译/运行时异常？变量作用域存疑

示例代码 #

int param1 = 1;
switch (param1){
    case 0:
        int block2 = 10; // 注释这行会触发编译错误
        System.out.println(block2);
        break;
    case 1:
        block2 = 5; // 注释这行会触发编译错误
        System.out.println(block2);
        break;
    default:
//        System.out.println(block2); // 编译错误
}

核心规则：Switch的代码块特性 #

Java中，switch语句的所有case、default分支都属于同一个代码块，并非每个分支单独划分作用域。变量的作用域从其声明位置开始，延伸至整个switch代码块结束。

各现象解释 #

• 原代码正常运行的原因：
  block2在case 0中声明，作用域覆盖整个switch。当param1=1进入case 1时，变量已处于作用域内。同时编译器会检查所有可能的执行路径：进入case 0时block2直接完成初始化，进入case 1时会执行赋值操作，不存在变量未初始化就被使用的情况，因此能通过编译并正常运行。

• 注释case 0的int block2 = 10;报错：
  此时整个switch代码块中没有block2的声明语句，编译器找不到该变量，直接触发编译错误。

• 注释case 1的block2 = 5;报错：
  当进入case 1时，block2虽在作用域内，但这条执行路径没有对变量进行初始化或赋值，编译器检测到存在使用未初始化变量的风险，因此报错。

• default分支打印block2报错：
  若进入default分支，block2的声明语句（case 0中的代码）不会被执行，变量处于未初始化状态。Java不允许使用未初始化的局部变量，因此触发编译错误。

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