Java 17+ 可直接使用 instanceof 模式匹配（如 if (obj instanceof String s)），无需预览参数；此前版本需 --enable-preview 且仅限对应 JDK 预览阶段。
instanceof 模式匹配在 Java 14+ 中怎么写才不报错
Java 14 开始支持 instanceof 的模式匹配（JEP 305），但默认不启用；必须用 --enable-preview 启动参数，且只在预览阶段需显式开启。Java 16 起仍是预览特性，直到 Java 17 才正式成为标准功能——所以如果你用的是 Java 17+，直接写就行；否则会编译失败，报错信息类似：error: pattern matching in instanceof is not supported in -source 11。
实操建议：
- 确认 JDK 版本：
java -version输出至少为17 - IDE 需同步设置语言级别（如 IntelliJ：Project Settings → Project → SDK & Language Level → 17+
- 不用额外加 JVM 参数，也不用
--enable-preview（Java 17+ 已稳定）
替代传统 if-else 类型转换的典型写法
老写法要先判断再强转，重复写变量名、类型、括号，容易漏掉空检查或转型异常：
if (obj instanceof String) {
String s = (String) obj; // 显式强转
System.out.println(s.length());
}
新模式匹配一行搞定，绑定变量自动完成类型检查和赋值：
立即学习“Java免费学习笔记（深入）”；
if (obj instanceof String s) { // s 是已声明、已赋值、非 null 的 String 变量
System.out.println(s.length()); // 直接用 s，无需再 cast
}
关键点：
-
s作用域仅限于if块内，块外不可访问 -
obj为null时，整个表达式为false，不会触发绑定，s不会被初始化——这比手动判空 + 强转更安全 - 不能用于泛型类型擦除后的原始类型，比如
obj instanceof List<String> list会编译失败（类型参数在运行时不存在）
在 switch 表达式中配合模式匹配做多类型分发
Java 17+ 支持在 switch 中使用类型模式，比一长串 if (x instanceof A) {...} else if (x instanceof B) {...} 更清晰：
return switch (obj) {
case String s -> "String: " + s.length();
case Integer i -> "Integer: " + i;
case List<?> list -> "List size: " + list.size();
case null -> "null";
default -> "unknown";
};
注意细节：
- 每个
case的类型模式自带非空保证，s、i、list都是可直接使用的非 null 引用 -
case null必须显式写出，否则null会掉进default（和传统switch行为一致） - 类型顺序无关，但编译器会检查是否覆盖所有可能（比如写了
case Object o就不能再有default） - 不支持嵌套类型模式，例如
case Map<String, Integer> m编译不过（擦除后只剩Map）
容易被忽略的边界情况和性能影响
模式匹配看起来只是语法糖，但底层仍依赖运行时类型检查（checkcast 字节码），和传统 instanceof 性能基本一致，没有额外开销。真正容易出问题的是语义变化：
- 绑定变量名不能和已有局部变量重名，否则编译报错：
variable s is already defined - 如果父类和子类都出现在同一个
switch中（如case Animal a和case Dog d），且Dog继承自Animal，那么Dog的 case 必须写在Animal前面，否则无法到达（编译器会提示 “unreachable case”） - 泛型容器内容不可靠：虽然
obj instanceof List<?> list合法，但list.get(0)返回的仍是Object，不能直接当String用——模式匹配只解决顶层类型，不管内部元素
最常被跳过的其实是 null 安全性：模式匹配天然规避了 NullPointerException，但开发者有时会误以为“既然能进 if 块，那变量就一定非 null”，却忘了自己可能在外面又把那个变量设为了 null —— 绑定变量只在当前作用域有效，它不是引用别名，而是新声明的局部变量。
