if语句中instanceof模式匹配写法的原理咨询

你看到的是Java 16及以上版本引入的instanceof模式匹配语法，是官方对传统instanceof写法的简化优化，核心是减少冗余代码、提升类型安全性。

语法对比与本质 #

先看两种写法的代码：
新模式匹配写法：

if(objectName instanceof Mammal currentMammal){
    currentMammal.shedHair();
}

传统写法：

if (ao instanceof Mammal) {
    Mammal currentMammal = (Mammal) ao;
    currentMammal.shedHair();
}

运作机制 #

1. 类型判断与自动转换
   当objectName instanceof Mammal的结果为true时，编译器会自动将objectName强转为Mammal类型，并赋值给currentMammal变量——这个过程是编译器帮你完成的语法糖，底层字节码和传统写法几乎一致。

2. 变量作用域限制
   currentMammal变量的作用域仅限于if语句的代码块内部，超出这个范围就无法访问，避免了变量污染。同时编译器会确保：只有类型判断为真时，currentMammal才会被初始化，不会出现未初始化就使用的情况。

3. 类型安全保障
   这种写法从语法层面避免了传统写法中可能出现的“判断类型和强转类型不一致”的错误，比如你如果不小心把Mammal写成其他类型，编译器会直接报错，而不是等到运行时抛出ClassCastException。

核心逻辑本质 #

编译器在编译阶段会把新模式匹配代码展开成传统写法的逻辑：先执行类型检查，再完成强转和变量赋值，所以运行时的执行流程和传统写法没有区别，只是帮你省去了手动强转和变量声明的步骤。

内容的提问来源于stack exchange，提问作者Z H.KHAN