instanceof 判断 null 直接返回 false 而非抛异常；Java 16 起支持模式匹配语法，如 if (obj instanceof String s)，变量 s 在 if 块内自动绑定且非 null，但不支持泛型类型、基本类型及作用域外访问。
instanceof 判断 null 会直接返回 false，不是抛异常
很多人以为 instanceof 遇到 null 会像调用方法一样 NPE，其实不会——它被设计成安全的类型检查操作符。只要右边是合法的引用类型（不能是基本类型或泛型变量），左边为 null 时一律返回 false。
这在判空+类型检查连用时很实用，比如：
if (obj instanceof String) {
String s = (String) obj; // 此时 obj 必不为 null
}
但要注意：Java 14 起支持模式匹配语法（JEP 305），写法更简洁，但默认不启用；Java 16 才正式成为语言特性。
Java 16 模式匹配写法：instanceof + 变量声明一步到位
传统写法要先判断再强转，容易漏掉 null 检查或写错类型；新模式把类型检查和变量绑定合并，语义更紧凑，且自动处理了作用域限制。
立即学习“Java免费学习笔记（深入）”；
正确写法必须满足三个条件：
- 目标类型必须是具体类或接口（不能是泛型类型变量，如
T） - 声明的变量名不能与已有变量冲突
- 该变量只在
if分支内有效（作用域受限）
示例：
if (obj instanceof String s) {
System.out.println(s.length()); // s 已经是非 null 的 String
}
如果写成 if (obj instanceof List<String> list)，编译报错：illegal generic type，因为泛型擦除后无法在运行时验证。
instanceof 不能用于基本类型、数组类型声明需带维度
instanceof 右边只能是引用类型。写 obj instanceof int 直接编译失败；obj instanceof Integer 才合法。
数组是个特例：类型名得带方括号，且维度必须匹配。常见错误包括：
-
arr instanceof int[]✅ -
arr instanceof int[][]✅（二维数组） -
arr instanceof int❌ 编译错误 -
arr instanceof Object[]✅（所有数组都继承自Object，但注意int[]不是Object[]）
特别注意：int[] 是引用类型，但它不是 Object[] 的子类型，所以 new int[1] instanceof Object[] 是 false。
性能几乎无开销，但别在 hot path 里滥用类型检查逻辑
JVM 对 instanceof 做了深度优化，现代 HotSpot 下基本等价于一次虚表指针比较，远快于反射或 getClass().isAssignableFrom()。
不过，频繁做多层 instanceof 链（比如嵌套 if 判断七八种类型）说明设计可能有问题——考虑用 visitor 模式、策略注册表，或者 Java 17+ 的 sealed 类配合 switch 表达式。
还有一点容易忽略：模式匹配版 instanceof 在 if 外无法访问绑定变量，哪怕你写了 else if 也不行。变量作用域严格限定在当前 if 块内，这点和传统强转完全不同。
