Java 中的 instanceof 模式匹配：从类型检查到变量绑定的魔法-java教程-PHP中文网

Java 中的 instanceof 模式匹配：从类型检查到变量绑定的魔法

Java 14 引入、16 正式发布的 instanceof 模式匹配功能，允许在类型检查的同时直接声明并初始化类型匹配变量，无需显式强制转换，提升代码简洁性与安全性。

java 14 引入、16 正式发布的 `instanceof` 模式匹配功能，允许在类型检查的同时直接声明并初始化类型匹配变量，无需显式强制转换，提升代码简洁性与安全性。

在 Java 17 中，以下代码能正常编译并运行：

static void test(List<string> list) {
    System.out.println(list);
    if (!(list instanceof ArrayList<string> arrayList)) return;
    System.out.println(list == arrayList); // true
    arrayList.add("list");
    System.out.println(arrayList); // [list]
    System.out.println(list);        // [list]
}</string></string>

其输出为：

[]
true
[list]
[list]

这看似“神奇”的行为，实则是 模式匹配（Pattern Matching） 的自然结果。关键在于这一行：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

if (!(list instanceof ArrayList<string> arrayList)) return;</string>

它并非简单的布尔判断，而是一次带绑定的类型检查：

若 list 确实是 ArrayList 类型的实例，则不仅条件为 true（取反后跳过 return），还会将 list 的引用安全地绑定到新声明的局部变量 arrayList 上；
该变量 arrayList 具有精确类型 ArrayList，作用域覆盖 if 语句之后的所有可到达代码（即所谓 flow-scoped variable）；
因此 list == arrayList 为 true —— 它们指向同一个对象，arrayList 并非“创建了另一个对象”，而是对原 list 的类型安全别名引用。

✅ 等价的传统写法（无模式匹配）

static void test(List<string> list) {
    System.out.println(list);
    if (!(list instanceof ArrayList)) return; // 先粗粒度检查
    ArrayList<string> arrayList = (ArrayList<string>) list; // 显式强转（存在类型风险）
    System.out.println(list == arrayList);
    arrayList.add("list");
    System.out.println(arrayList);
    System.out.println(list);
}</string></string></string>

对比可见，模式匹配消除了冗余的重复类型检查与不安全的强制转换，编译器在编译期即验证：