java 21+ 的 instanceof 模式匹配需满足 jdk≥21 且启用对应语言版本，仅支持在 if 条件或 switch case 中使用，如 if (obj instanceof string s)，变量 s 作用域限于该分支，不可单独声明或跨作用域访问，不支持泛型参数化类型和嵌套数组，null 值安全，编译期保障类型正确性。
Java 21+ 的 instanceof 模式匹配怎么写才不报错
直接用：只要 JDK ≥ 21 且启用预览特性（或正式版），instanceof 后面跟类型名和变量名就行，编译器自动绑定作用域。不是所有地方都能用——只支持在 if 条件、switch case 中作为模式出现，不能单独写成 obj instanceof String s; 这种语句。
常见错误现象：error: pattern matching in instanceof is not supported in -source 17 —— 这说明没切对语言版本；或者写了 if (obj instanceof String s) { ... } 却在块外访问 s，编译失败，因为 s 只在该 if 块内有效。
- 必须确保
javac --version输出 ≥ 21，Maven 要配<source>21</source>和<target>21</target> - 变量名
s是新声明的局部变量，不是重命名已有变量，也不能和已有同名变量冲突 - 不能用于泛型类型擦除后的原始类型，比如
instanceof List<string> list</string>会报错，只能写instanceof List list
为什么不用老式强制转型 + instanceof 两步走
老写法：if (obj instanceof String) { String s = (String) obj; ... } 多一次重复判断、多一个临时变量、还容易漏掉括号或写错类型。新模式把类型检查和绑定合成一步，JVM 字节码也更紧凑（避免冗余的类型校验指令）。
性能上几乎无差别，但可读性和安全性提升明显：编译器保证 s 一定非 null 且是目标类型，后续使用不会触发 ClassCastException；而老写法里，如果中间有人改了 obj 的值（比如多线程场景下），强制转型仍可能崩。
立即学习“Java免费学习笔记（深入）”；
- 老写法中，
(String) obj是运行时操作，出错抛ClassCastException - 新模式中，
s是编译期确认的不可变绑定，作用域内类型安全由编译器兜底 - 如果
obj是null，新模式下s不会被初始化，整个条件为false，不会 NPE
instanceof 模式匹配在 switch 中怎么配合使用
从 Java 21 开始，switch 表达式和语句都支持类型模式，比一堆 if-else instanceof 更清晰，也支持穷尽性检查（配合 sealed 类）。
示例：switch (obj) { case String s -> System.out.println("len: " + s.length()); case Integer i -> System.out.println("val: " + i); default -> System.out.println("unknown"); }
- 每个
case的模式变量（如s、i）作用域仅限该分支，不能跨 case 使用 - 如果
obj是null，匹配不到任何类型模式，走default（不会 NPE） - 若用
sealed类做基类，且所有子类都被列出，编译器能提示是否遗漏 case，但普通类不行
向下转型时最容易被忽略的兼容性坑
模式匹配不是“万能转型替代品”——它只解决「已知类型范围、需提取子类型实例」这一种场景。遇到泛型、数组、原始类型、或需要调用子类特有方法但父类引用未暴露时，仍得靠传统方式或反射。
比如你有一个 List<object></object>，想从中捞出 String 元素并转成 String[]，模式匹配帮不上忙；又比如 Number n = new BigDecimal("1.0")，n instanceof BigDecimal bd 是合法的，但如果你只知道它是 Number 子类却不确定具体是谁，就不能靠模式匹配提前断言。
- 接口实现类无法用模式匹配“猜出具体实现”，除非你明确知道可能的类型列表
- 数组类型支持有限：可以写
instanceof String[] ss，但不能写instanceof String[][] sss（嵌套数组模式暂不支持） - Android 开发注意：即使用 JDK 21 编译，Android Runtime（ART）直到 API 34 才完全支持该语法，低版本会崩溃
类型安全的向下转型，核心不在语法多炫，而在清楚边界——模式匹配省的是代码行数和心智负担，不是逻辑复杂度。真要处理不确定结构的数据，还是得靠策略模式或 visitor，别硬套 instanceof。
