多态性和混淆实例

Question

我很困惑一个对象是instanceof 两个不同的类。例如：

EnglishTest x = new EnglishQuiz();
if (x instanceof EnglishTest){
   System.out.print("P");
}
if (x instanceof EnglishQuiz){
   System.out.print("P");
} 

在这两种情况下，我都会打印出“P”。我的问题是为什么？

我知道x 的类型是EnglishTest，但既然我在做new EnglishQuiz，这不应该意味着我正在创建EnglishQuiz 的实例而不是EnglishTest 吗？这里发生了什么？

Answer 1

如果此行编译：

EnglishTest x = new EnglishQuiz();

那么EnglishTest和EnglishQuiz之间一定存在is-a的关系；具体来说，EnglishQuiz 必须是EnglishTest 的子类型，就像Integer 是Number 一样。

因此，x instanceof EnglishTest 为真，同样Integer instanceof Number 为真。毕竟EnglishQuiz 就是EnglishTest。

查看 Java 语言规范Section 15.20.2：

在运行时，如果 RelationalExpression 的值不为 null，并且可以将引用强制转换（第 15.16 节）到 ReferenceType 而不会引发 ClassCastException，则 instanceof 运算符的结果为真。否则结果为假。

因为EnglishQuiz 总是可以转换为EnglishTest（这种转换称为向上转换并且总是允许的，因为一个对象总是可以归类为其超类型），instanceof 运算符返回@987654337 @。

另一种可视化方式可能是这样的：

          Object
             |
          Number
           /  \
      Integer  Float
      /     \
     Pos.  Neg.
    /  \   /  \
   1    2 -4  -5 

如果y 与x 的类型相同，或者如果您可以从x 向上到达y，则x instanceof y 将返回true。

Answer 2

class Test {
     //implicitly inherits type Object
}

class Quiz extends Test {
     //explicitly inherits type Test
     //implicitly inherits type Object
}

class PopQuiz extends Quiz {
     //explicitly inheirts type Quiz
     //implicitly inheirts type Test and Object
}

Object -> Test -> Quiz -> PopQuiz

instanceof 指的是实例的类型。如果一个实例隐式或显式“扩展”了一个类，那么它就是该类型的实例，因为它继承了其扩展的类的类型（以及任何其他扩展的类，如我的层次结构示例所示）。

PopQuiz 既是测验又是测试。因此，PopQuiz 的实例继承了 Quiz 和 Test 两种类型，因此它是 Quiz AND Test 的实例。