在 Java 开关中声明和初始化变量

Question

我有一个关于 Java 开关的疯狂问题。

int key = 2;

switch (key) {
    case 1:
        int value = 1;
        break;
    case 2:
        value = 2;
        System.out.println(value);
        break;
    default:
        break;
}

场景 1 - 当 key 为 2 时，它成功地将值打印为 2。
场景 2 - 当我要在 case 2: 中评论 value = 2 时，它会大声说 局部变量值可能尚未初始化。

问题：

场景一：如果执行流程不去case 1:（当key = 2），那么它怎么知道值变量的类型为int？

场景 2：如果编译器知道 value 变量的类型为 int，那么它一定已经访问了 case 1: 中的 int value = 1; 表达式。（声明和初始化）。那为什么它会发出嘶嘶声当我要在case 2: 中评论value = 2 时，说局部变量值可能尚未初始化。

Answer 1

来自http://www.coderanch.com/t/447381/java-programmer-SCJP/certification/variable-initialization-within-case-block

声明在编译时处理，不依赖于 代码的执行流程。由于value 在本地声明 switch 块的范围，它可以在该块中的任何位置使用 它的声明点。

Answer 2

变量已被声明（作为 int），但尚未初始化（分配了初始值）。想一想：

int value = 1;

作为：

int value;
value = 1;

int value 部分在编译时告诉编译器您有一个名为 value 的变量，它是一个 int。 value = 1 部分对其进行了初始化，但这是在运行时发生的，如果未输入该开关的分支，则根本不会发生。

Answer 3

基本上，Switch 语句的作用域很奇怪。来自section 6.3 of the JLS：

块中局部变量声明的范围（第 14.4 节）是声明出现的块的其余部分，从它自己的初始化程序开始，包括局部变量声明语句右侧的任何进一步的声明符。

在您的情况下，case 2 与 case 1 在同一个 块 中并出现在它之后，即使 case 1 永远不会执行......所以局部变量在范围内并且可用于写作，尽管您在逻辑上从不“执行”声明。 （虽然初始化是，但声明并不是真正的“可执行”。）

如果您注释掉 value = 2; 赋值，编译器仍然知道您指的是哪个变量，但您不会经历任何为其分配值的执行路径，这就是您收到错误的原因当您尝试读取任何其他未明确分配的局部变量时，您会这样做。

我强烈建议您不要使用在其他情况下声明的局部变量 - 正如您所见，这会导致代码高度混乱。当我在 switch 语句中引入局部变量时（我很少尝试这样做 - 理想情况下，案例应该很短）我通常更喜欢引入一个新的范围：

case 1: {
    int value = 1;
    ...
    break;
}
case 2: {
    int value = 2;
    ...
    break;
}

我相信这更清楚。

Answer 4

在 JDK-12 早期访问版本中集成了 JEP 325: Switch Expressions (Preview)。从Jon's answer 可以看到某些变化 -

1. 局部变量范围 - 开关案例中的局部变量现在可以是案例本身的局部变量而不是整个开关块。一个考虑Day枚举类的示例（类似于Jon在语法上也尝试过的）以进行进一步解释：

   public enum Day {
       MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY, SATURDAY, SUNDAY
   }
   
   // some another method implementation
   Day day = Day.valueOf(scanner.next());
   switch (day) {
       case MONDAY,TUESDAY -> {
           var temp = "mon-tue";
           System.out.println(temp);
       }
       case WEDNESDAY,THURSDAY -> {
           var temp = Date.from(Instant.now()); // same variable name 'temp'
           System.out.println(temp);
       }
       default ->{
           var temp = 0.04; // different types as well (not mandatory ofcourse)
           System.out.println(temp);
       }
   }
   

2. Switch Expressions - 如果打算给一个变量赋值然后使用它，一次可以使用 switch 表达式。例如

   private static void useSwitchExpression() {
       int key = 2;
       int value = switch (key) {
           case 1 ->  1;
           case 2 -> 2;
           default -> {break 0;}
       };
       System.out.println("value = " + value); // prints 'value = 2'
   }
   

Answer 5

这个解释可能会有所帮助。

    int id=1;

    switch(id){
        default: 
            boolean b= false; // all switch scope going down, because there is no scope tag

        case 1:
            b = false;
        case 2:{
            //String b= "test"; you can't declare scope here. because it's in the scope @top
            b=true; // b is still accessible
        }
        case 3:{
            boolean c= true; // case c scope only
            b=true; // case 3 scope is whole switch
        }
        case 4:{
            boolean c= false; // case 4 scope only
        }
    }

Answer 6

Java 规范：

https://docs.oracle.com/javase/specs/jls/se12/html/jls-14.html#jls-14.11

由于标签中断而突然完成的情况由标签语句的一般规则（第 14.7 节）处理。

https://docs.oracle.com/javase/specs/jls/se12/html/jls-14.html#jls-14.7

标签声明：

标签声明： 标识符：声明

LabeledStatementNoShortIf: 标识符：StatementNoShortIf

与 C 和 C++ 不同，Java 编程语言没有 goto 语句； 标识符语句标签与 break (§14.15) 或 continue 一起使用 (§14.16) 出现在标记语句中任何位置的语句。

标签语句的标签范围是立即 包含声明。

换句话说，case 1，case 2 是 switch 语句中的标签。可以将 break 和 continue 语句应用于标签。

因为标签共享语句的范围，所以标签中定义的所有变量共享 switch 语句的范围。