java - 带有空白最终变量的 Switch 语句

Question

这个问题已经有答案了:

Java switch statement: Constant expression required, but it IS constant (14 个回答)

已关闭 6 年前。

根据Wikipedia ，空白最终变量是其声明在定义时缺少初始值设定项的最终变量。

同时，switch case语句的值必须是编译时常量值。

根据上述两个确认，我希望下面的两个代码片段都能顺利编译，但只有第一个可以:

    final int y = 1;

    switch(1) {
        case y:
    }

和

    final int y;
    y = 1;
    switch(1) {
        case y:
    }

Java 编译器不应该在第二个示例中运行流程分析以确保分配了空白的最终变量，从而编译代码时没有错误吗？

Answer 1

switch case 需要一个常量表达式。在第一个示例中，编译器将初始化替换为常量，然后用该常量代替所有 y 变量。在第二种情况下，编译器无法执行此操作。