Java中instanceof判断为何部分场景报不兼容类型编译错误？

Java 对 instanceof 语句的合法性校验，只看引用变量的静态编译时类型，完全不关心引用实际指向的运行时对象是什么。两种形式相近的语句编译结果不同，本质是两个场景下的静态类型，和判断目标类型的兼容路径完全不同。

编译期校验的底层逻辑 #

编译器判断 instanceof 语句是否合法时，只会验证一个问题：「左侧引用的静态类型，是否有可能存在一个实例，同时也是右侧判断类型的实例」：

• 如果存在这种可能性，不管当前代码里给引用实际赋了什么值，语句都可以正常通过编译，具体的判断逻辑会留到运行时执行；
• 如果两个类型从语法规则上就不可能有交集——也就是没有任何可实例化的类能同时满足两边的类型要求——编译器会直接抛出“不兼容类型”的编译错误，根本不会走到运行阶段。

两个代码场景的具体差异 #

• 针对x instanceof C：x的静态编译类型是A。从继承关系看，C本身就是A的直接子类，A类型的引用语法上完全存在指向C实例的可能（哪怕当前代码里x实际挂的是B的实例，编译器也不会识别这种运行时层面的赋值），两个类型有明确的继承兼容路径，因此可以正常通过编译。
• 针对y instanceof C：y的静态编译类型是B。B和C是平级的兄弟类，都直接继承自A，受Java单继承规则限制，不存在任何可实例化的类，能同时成为B和C的子类。也就是说，拿静态类型为B的引用去做C类型的判断，从静态语法层面看没有任何成立的可能性，因此会直接触发编译错误。

补充说明：这个编译报错和y实际指向什么对象没有关系——哪怕你写B y = null，只要y的静态类型是B，写y instanceof C照样会触发同样的编译错误。如果后续调整代码结构，比如把C改成接口，新增类D extends B implements C，那y instanceof C的编译校验就会直接通过，因为两个类型之间重新出现了可能的兼容路径。

内容的提问来源于stack exchange，提问作者NewbieToCoding