Java模式变量（pattern variables）结合&&、||、!的作用域解析规则咨询

基础前置规则 #

所有模式变量的作用域判定核心遵循确定性匹配原则：只有当某个代码分支下，模式变量100%已经被instanceof匹配成功时，编译器才允许在该分支使用该变量。
最基础的instanceof模式匹配规则：对于表达式obj instanceof T v，仅当该表达式求值为true时，v才匹配成功，可以在后续真分支使用，示例如下：

Object o = "a";
if(o instanceof String s) {
    System.out.println(s); // s匹配成功，可正常使用
}
// 分支外无法确定是否匹配，s无效

单运算符场景规则 #

1. 取反运算符 ! #

对于表达式!(obj instanceof T v)：

• 整个表达式为true时：说明obj instanceof T v为false，v未匹配，不可用
• 整个表达式为false时：说明obj instanceof T v为true，v匹配成功，可用
  示例：

Object o = 123;
if (!(o instanceof Integer v)) {
    // 表达式为真，v未匹配，编译报错
    // System.out.println(v);
} else {
    // 表达式为假，v匹配成功，正常运行
    System.out.println(v);
}

2. 与运算符 && #

对于表达式A && B，仅当A、B同时为true时，整个表达式才为true：

• 整个表达式为true时：A、B中定义的所有模式变量都100%匹配成功，均可使用
• B表达式内部可以直接使用A中定义的模式变量（&&短路特性：A为真才会执行B，A中的变量已匹配）
  示例：

Object o = "test";
if (o instanceof String s && s.length() > 2) {
    // 两个条件均为真，s匹配成功，正常使用
    System.out.println(s);
}

3. 或运算符 || #

对于表达式A || B，仅当A、B同时为false时，整个表达式才为false：

• 整个表达式为false时：A、B中定义的所有模式变量，如果对应子表达式能推导为true，才可以使用
• B表达式内部不能使用A中定义的模式变量（||短路特性：A为假才会执行B，A中的变量未匹配）
  示例：

Object o = "test";
if (!(o instanceof String p) || o instanceof Integer m) {
    // 表达式为真：要么p未匹配，要么m匹配，无法确定任一变量100%可用
    // System.out.println(p); 编译报错
} else {
    // 表达式为假：两个子项均为假，可推导o instanceof String p为真，p匹配成功
    System.out.println(p); // 正常运行
    // System.out.println(m); 编译报错，m未匹配
}

问题解答 #

1. 编译期如何判定模式变量的作用域？ #

编译期会按逻辑真值表对条件表达式做静态推导：

1. 先标记所有instanceof T v形式的子表达式，明确只有该子表达式为true时v才匹配成功
2. 针对当前分支（if块对应条件为真，else块对应条件为假），倒推所有子表达式的可能取值
3. 只有能100%推导出某instanceof子表达式为true时，对应的模式变量才允许在该分支使用

2. 为什么代码中第一个else块s无效，第二个else块p有效？ #

我们分别推导两个if的else分支的子表达式取值：

第一个if条件：!(o instanceof Integer s) && o instanceof Integer n

else分支对应整个&&表达式为false，有三种可能：

• 左子项为假，右子项为真：s匹配，n匹配
• 左子项为真，右子项为假：s未匹配，n未匹配
• 左右子项均为假：s匹配，n未匹配
  三种情况无法确保s或n100%匹配，所以两个变量都无效。

第二个if条件：!(o instanceof String p) || o instanceof Integer m

else分支对应整个||表达式为false，只有一种可能：

• 左子项为假：!(o instanceof String p)为假 → o instanceof String p为真，p匹配成功
• 右子项为假：o instanceof Integer m为假，m未匹配
  可以100%确定p匹配成功，所以p有效，m无效。

3. 混合使用&&、||、!时的作用域规则？ #

按三步推导即可：

1. 拆分所有instanceof T v子表达式，明确子表达式为真时变量才匹配
2. 确定当前分支对应整个条件表达式的真假值
3. 按逻辑运算真值表倒推所有子表达式的取值，只有100%为真的instanceof子表达式对应的变量可以使用

复杂混合场景示例

Object o = "hello world";
if (o instanceof String s && (s.length() > 5 || !(s instanceof CharSequence c))) {
    // 进入if说明整个条件为真：
    // 可推导o instanceof String s为真，s匹配成功，可使用
    // 后面的||为真有两种情况，无法确定c是否匹配，c不可用
    System.out.println(s); // 正常运行
    // System.out.println(c); // 编译报错
} else {
    // 进入else说明整个条件为假：
    // 要么o不是String（s未匹配），要么s长度<=5且c匹配，无法确定s和c是否100%匹配
    // System.out.println(s); // 编译报错
    // System.out.println(c); // 编译报错
}

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