java 21 模式匹配不支持泛型参数化类型解构，因类型擦除导致运行时无法验证元素类型，故仅允许原始类型如 list list；list 会编译报错。
Java 21 的模式匹配不支持泛型参数化类型直接解构，if (obj instanceof ListList<string></string> 的具体元素类型，因此禁止在模式中声明带泛型的绑定变量。
为什么不能写 List<string> list</string>
Java 在字节码层面只保留原始类型（raw type），List<string></string> 和 List<integer></integer> 编译后都是 List。若允许带泛型的模式，编译器将失去类型安全性保障，可能引发隐式类型错误。所以 JVM 和 javac 明确要求：模式中的类型必须是可运行时校验的，即只能使用擦除后的原始类型。
- ✅ 正确写法：
if (obj instanceof List list)—— 绑定为原始List，后续可用list.get(0)，但需自行处理元素类型 - ❌ 错误写法：
if (obj instanceof List<string> list)</string>—— 编译失败，提示 “illegal generic type in pattern” - ⚠️ 注意：
List>同样不被允许，它仍是参数化类型，不是运行时可判定的类型
安全获取泛型元素的推荐做法
模式匹配本身不解决泛型安全问题，但可与其它机制配合实现类型安全访问：
- 先用
instanceof List list安全绑定，再结合list.stream().map(...)或显式转型（如(String) list.get(0)）——适用于已知上下文类型的场景 - 对关键业务逻辑，建议封装校验方法，例如：
if (obj instanceof List list && list.stream().allMatch(String.class::isInstance)) { ... } - 更健壮的方式是使用自定义记录类或 sealed 类替代裸泛型容器，例如：
record StringList(List<string> items) {}</string>，再用if (obj instanceof StringList sl)解构，既保留语义又支持模式匹配
null 安全与作用域保障
即使面对 null 值，该模式依然安全：
-
obj为null时，整个instanceof表达式结果为false，list变量不会被初始化，不会触发 NPE -
list的作用域严格限定在 if 分支内，退出后不可访问，避免变量污染和误用 - 编译器确保
list在分支内非 null 且确实是List类型，后续调用list.size()等方法无需额外判空
替代方案：用记录模式提升类型语义
若频繁处理带类型约束的集合，可转向语义更明确的设计：
- 定义
public record UserNames(List<string> names) {}</string> - 使用
if (obj instanceof UserNames(UserNames un))—— 实际应为if (obj instanceof UserNames un)，自动解构出un.names() - 此时
un.names()是已知类型的List<string></string>，且编译器能推断其不可变性（若 record 为 final）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
