Java 14中&&与&运算符在模式匹配中的差异疑问

核心矛盾点在于编译时的模式变量作用域规则和运行时的逻辑与求值策略是两个完全独立的概念，不能混为一谈。

为什么&&可以正常运行 #

Java编译器对短路与&&的条件做了特殊的静态分析：只有当&&左侧的obj instanceof Integer iObj匹配成功（结果为true），才会执行右侧条件并进入if块。基于这个逻辑，编译器可以明确判定：进入if块时，iObj已经完成绑定且有效，因此允许在块内使用该变量。

为什么&会出现编译错误 #

尽管&作为非短路逻辑与，运行时会强制对左右两侧表达式全求值，但Java语言规范并没有将&纳入模式变量作用域的有效推导场景。编译器的静态分析规则只认可：当模式匹配条件是if语句的直接条件，或是通过&&/||（特定分支）组合的、能静态确定匹配成功的路径时，模式变量才在后续代码块中有效。

对于obj instanceof Integer iObj & someCondition这种写法，编译器不会因为&的全求值特性，就推导得出“进入if块时左侧匹配一定成功”的结论——哪怕从逻辑上看整个条件为true时左侧必然为true，但语言规范的规则不支持这种推导，因此编译器会判定iObj在if块内未定义，抛出编译错误。

书中的解释表述有瑕疵，并非因为&右侧不一定执行，而是编译器的作用域规则不覆盖&的场景，导致无法确认模式变量的有效性。

示例代码对比 #

• 可正常运行的代码：

Object obj = 10;
if (obj instanceof Integer iObj && iObj > 5) {
    System.out.println(iObj); // iObj有效，编译通过
}

• 编译报错的代码：

Object obj = 10;
if (obj instanceof Integer iObj & iObj > 5) {
    System.out.println(iObj); // 编译错误：无法解析变量iObj
}

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