如何理解Java if语句条件内使用instanceof声明新对象的语法

这个语法是Java 16版本正式支持的instanceof模式匹配特性，专门用来简化类型判断后需要强制转换的冗余代码，运行逻辑如下：

• 首先执行instanceof原生类型校验逻辑：判断变量obj的运行时类型是否属于SomeClass<?>的实现类/子类，如果校验结果为false，整个if条件不成立，不会进入代码块，newObj也不会被声明创建。
• 如果类型校验结果为true，编译器会自动完成类型转换操作，将obj强转为SomeClass<?>类型后赋值给你在条件中声明的新变量newObj，该变量的作用域仅限定在当前if语句的代码块范围内，超出后无法访问。

对比Java 16之前的旧写法你就能直观看到差异，旧写法需要手动完成强转：

// Java 16 之前的等价写法
if (obj instanceof SomeClass<?>) {
    // 手动强转，冗余且容易出错
    SomeClass<?> newObj = (SomeClass<?>) obj;
    if (newObj.bar()) {
        foo();
    }
}

这个特性的核心优势有两个：

• 减少冗余代码，不需要重复写类型转换逻辑
• 编译器自动校验类型匹配关系，完全避免手动强转写错类型导致的ClassCastException问题

注意：该语法仅支持Java 16及更高版本，低版本JDK无法编译通过。

内容的提问来源于stack exchange，提问作者Reggie The Veggie