Java 21 Flow Scoping（流作用域）相关编译问题咨询

咱们先把Java 21里的流作用域（Flow Scoping）核心规则掰扯清楚：当你用x instanceof Type var这种模式匹配语法时，变量var的可见性和有效性，完全由编译器的控制流分析决定——只有当编译器能100%确定，执行到某行代码时，var已经被成功初始化（也就是x instanceof Type的结果为true，var已经绑定了合法值），这行代码才能访问var。

接下来咱们逐个分析你的代码案例：

案例1：if-else结构下的「找不到符号」错误 #

先看你第一个报错的代码：

static void getFish(Object fish) {            
    if(!(fish instanceof String guppy))
        System.out.println("Eat!");
    else if(!(fish instanceof String guppy)) {
        throw new RuntimeException();    
    }    
    System.out.println(guppy);    
    System.out.println("Swim!");
}

这里编译器报错找不到guppy，原因有两个：

1. 两个instanceof里的guppy是各自分支的局部变量，互相独立，不是同一个变量；
2. 执行到最后的System.out.println(guppy)时，编译器无法确定任何一个guppy是有效的：
   • 如果第一个if条件为true（fish不是String），第一个guppy根本没被初始化；
   • 如果第一个if条件为false（fish是String），进入else if，但else if的条件是!(fish instanceof String guppy)——这时候fish已经被第一个if证实是String了，所以这个条件永远为false，第二个guppy也不会被初始化。

换句话说，到最后一行代码时，没有任何路径能保证guppy存在，所以编译器直接报错。

案例2：两个独立if时无编译错误 #

再看去掉else后的代码：

static void getFish(Object fish) {  
    if(!(fish instanceof String guppy))
        System.out.println("Eat!");
     if(!(fish instanceof String guppy)) {
        throw new RuntimeException();    
    }    
    System.out.println(guppy);
}

这里编译器不报错，核心在于第二个if的控制流：

• 第二个if的条件是!(fish instanceof String guppy)：如果这个条件为true，会直接抛出异常，方法终止，永远到不了后面的System.out.println(guppy)；
• 只有当第二个if的条件为false时，才会继续执行后续代码——这就意味着fish instanceof String guppy为true，guppy已经被成功初始化，编译器能确定这一点，所以允许访问guppy。

案例3：带return的if vs 带SOP的if #

最后看你的Sample2案例：

能编译的版本： #

static void printNumberTwice(Number number) {    
    if(!(number instanceof Integer data)) 
         return ;

    System.out.println(data.intValue());    
}

这个能编译的原因很简单：

• 如果if条件为true（number不是Integer），直接return，方法终止，不会执行后面的System.out.println；
• 只有if条件为false时，才会走到后续代码——此时number instanceof Integer data为true，data已初始化，编译器能确定这一点，所以允许访问data。

不能编译的版本（把return换成SOP）： #

static void printNumberTwice(Number number) {    
    if(!(number instanceof Integer data)) 
         System.out.println("Eat!");

    System.out.println(data.intValue());    
}

这里编译错误的原因是：

• 如果if条件为true（number不是Integer），执行完System.out.println("Eat!")后，会继续走到System.out.println(data.intValue())——但此时data根本没被初始化（因为instanceof条件为true时，data不会被绑定）；
• 编译器无法保证后续代码中data一定存在，所以报错找不到符号。

总结一下：Java的流作用域完全依赖控制流的可达性分析，编译器会严格检查每一条可能的执行路径，只有当所有能到达某行代码的路径都能保证变量已初始化时，才允许访问该变量。

备注：内容来源于stack exchange，提问作者Ashish Parab