为何Java中instanceof模式匹配用&替代&&会出现编译错误？

原书示例与问题背景 #

摘自《Java 完全参考手册》第12版：

Number myOb = Integer.valueOf(9);
int count = 10; 
if((count < 100) && myOb instanceof Integer iObj) { // 编译通过
// myOb是Integer类型且非负，同时count小于100
iObj = count; 
//.. 
}

这段代码可以编译，因为只有当&&两侧的条件都为true时，if代码块才会执行，因此在if块中使用iObj是有效的。但如果用&替代&&，则会出现编译错误：

if((count < 100) & myOb instanceof Integer iObj) { // 错误！

此时编译器无法确定iObj在if块中是否处于有效作用域，因为&右侧的表达式不一定会被求值。

用户疑问与尝试 #

• 若模式匹配失败，代码为何会进入if块？如果模式匹配成功且第一个条件为真，使用&代替&&又有什么问题？
• 若在if块内手动初始化iObj，代码可以正常运行，但模式匹配本身的作用就是创建指向提取对象的引用变量，为何此时无法完成初始化？
• 未手动初始化时的编译错误：Compile Error: iObj may not be initialized
• 尝试的可运行代码：

if((count < 100) & myOb instanceof Integer iObj) {
    int iObj = (Integer) myOb;
}

• 使用环境：Windows下JDK 20

java version "20.0.1" 2023-04-18
Java(TM) SE Runtime Environment (build 20.0.1+9-29)
Java HotSpot(TM) 64-Bit Server VM (build 20.0.1+9-29, mixed mode, sharing)

问题解析 #

1. 为什么用&会触发编译错误？ #

Java里&&是短路与：只要左侧条件为false，右侧表达式直接跳过不执行；而&是非短路与，不管左侧结果是什么，右侧表达式都会被求值。

核心原因是Java对模式匹配变量的作用域静态检查规则：

• 用&&时，编译器能明确推导：只有左侧count < 100为true，且右侧模式匹配成功（myOb是Integer），才会进入if块，此时iObj必然是已初始化的有效变量，所以允许在块内直接使用。
• 用&时，编译器的静态分析逻辑不会去推导“进入if块则模式匹配一定成功”这个结论——它只认语法规则：模式匹配变量iObj的有效性仅绑定到自身表达式的结果，而&运算符的存在让编译器无法通过语法规则保证进入if块时iObj一定有效（虽然实际运行时只有两边都为true才会进块，但编译器不做这种运行时结果的推导），因此直接报错。

2. 手动初始化iObj为何能正常运行？ #

你在if块内重新声明了一个全新的局部变量iObj，这个变量和模式匹配里的iObj是完全独立的两个变量，作用域仅限if块内部。此时你用新变量覆盖了模式匹配的变量，编译器不需要再关心原模式匹配变量是否有效，自然不会报错。

3. 模式匹配失败时代码会不会进入if块？ #

不会。&表达式的结果为true必须满足左右两侧都为true，所以如果模式匹配失败（右侧为false），整个表达式结果是false，代码绝对不会进入if块。但编译器的静态检查不考虑运行时的实际结果，只遵循预先设定的语法规则，所以才会出现“逻辑上没问题但编译报错”的情况。

内容的提问来源于stack exchange，提问作者Flavian Diol D