java - 父类(super class)引用变量所持有的引用的类型是什么？

Question

假设我定义了两个类，Super 和 Sub，并且 Sub 是 Super 的子类:

public class Super {}
public class Sub extends Super {}

我知道执行以下操作是合法的:

Super s = new Sub();

我的问题是，编译器认为 s 中保存的引用是什么？它是否认为它只是一个 Super 类型的引用，或者它是否知道它实际上是一个 Sub 类型的引用。我四处寻找类似问题的一些答案，但没有找到任何真正确定的答案。谢谢!

Answer 1

出于警告消息的目的，编译器可能“知道”您有一个 Sub 实例(因此，如果它发现您将其转换为其他类型，或者不必要地检查，它可能会警告您如果为 null)，但就语言允许和禁止的内容而言，该变量的类型仅为 Super。

(但是在运行时，当然，Java 虚拟机会知道该实例具有运行时类型 Sub。)