java - 检查 instanceof 时向上转换困惑

Question

class Animal
{

}

    class Dog extends Animal
    {

    }

    class main
    {
      public static void main(String args[])
    Animal g= new Dog();
    System.out.println(g instanceof Dog);      // 1st case

    System.out.println(g instanceof Animal);   // 2nd case

}

问题:为什么在这两种情况下输出都是正确的？

Answer 1

因为在运行时，局部变量 g 引用的对象是 Dog 类型(因此也是 Animal ，因为 Dog extends Animal，尽管您的示例中没有)。