为什么 Java 上的 instanceof 会出现编译错误？

Question

class A {}
class B extends A {}
class C extends A {}

A x = new B();
B y = new B();

x instanceof C
y instanceof C

当x instanceof C工作正常时，为什么y instanceof C会给出编译错误（不兼容的类型）？

Answer 1

当编译器可以判断y instanceof C永远无法返回true时，它会产生编译错误。 y的编译时间类型是B ，并且 class B与 class C没有关系。 因此， class B的实例永远不能是 class C的实例。

另一方面， x instanceof C可能返回true ，因为x的编译时类型是A ，并且C是A的子类。

JLS参考：

15.20.2。 类型比较运算符 instanceof

如果将 RelationalExpression 转换为 ReferenceType 将作为编译时错误被拒绝，则 instanceof 关系表达式同样会产生编译时错误。 在这种情况下，instanceof 表达式的结果永远不会为真。