Java 14+ 的 instanceof 模式匹配仅在特定布尔表达式结构（如 &&、||、! 等）中才将模式变量（如 i）引入作用域；使用按位与 & 会破坏该作用域规则，导致编译失败。
java 14+ 的 instanceof 模式匹配仅在特定布尔表达式结构（如 `&&`、`||`、`!` 等）中才将模式变量（如 `i`）引入作用域；使用按位与 `&` 会破坏该作用域规则，导致编译失败。
在 Java 中，instanceof 模式匹配（例如 obj instanceof Type var）不仅执行类型检查，还会在条件为真时声明并初始化一个局部模式变量（如 i）。但该变量能否在 if 语句体中被访问，严格取决于其所在布尔表达式的语法结构是否被 Java 语言规范（JLS）明确认定为“可引入模式变量的作用域上下文”。
根据 JLS §6.3.1（Definite Pattern Matching），只有以下几类布尔表达式支持模式变量的作用域传播：
- 条件与表达式（
&&） - 条件或表达式（
||） - 逻辑非表达式（
!） - 条件表达式（
? :） -
instanceof表达式（本身） -
switch表达式 - 圆括号包裹的表达式（
(...)）
注意：按位与 & 和按位或 | 不在此列。它们属于位运算符，在布尔上下文中虽可作逻辑运算，但不参与“模式变量作用域推导”机制。
因此，以下代码无法通过编译：
Number n = Integer.valueOf(9);
if (n instanceof Integer i & true) { // ❌ 错误：& 不是“条件与”，不触发模式变量绑定
i = 3; // 编译错误：cannot find symbol — 变量 i 未在该作用域中声明
}
而使用短路与 && 则完全合法：
Number n = Integer.valueOf(9);
if (n instanceof Integer i && true) { // ✅ 正确：&& 是“条件与”，i 在整个 if 条件中被认定为“definitely matched”
i = 3; // 可安全使用
}
⚠️ 关键注意事项：
-
&&和||是短路运算符，且被 JLS 显式赋予“模式作用域链”能力；&和|是按位/布尔非短路运算符，仅做值计算，不参与作用域建模。 - 即使
&在布尔上下文中结果等价（如true & true），它仍不具备语法层面的模式绑定语义。 - 若需组合多个条件并保留模式变量，应始终优先使用
&&/||；若必须用&（如需强制求值），可将instanceof提前拆出：
Number n = Integer.valueOf(9);
if (n instanceof Integer i) {
if (someSideEffect() & true) { // 此处 i 已在作用域内
i = 3;
}
}
总之，模式变量的作用域不是由运行时逻辑决定，而是由编译期语法结构严格约束——这是 Java 类型系统与模式匹配深度协同的设计体现。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
