用于区分运行时类型和编译时类型的 Java 术语

Question

在 Java 中，对象 可以有一个运行时类型(这是它创建时的类型)和一个转换类型(您将其转换为的类型)。

我想知道这些类型的正确名称是什么。例如

class A {

}

class B extends A {

}

A a = new B();

a 被创建为 B 但它被声明为 A。使用每个透视图引用 a 类型的正确方法是什么？

Answer 1

我认为区分对象(在执行时存在，并且只有它的执行时类型)和表达式(例如变量)很重要它具有编译时类型。

所以在这种情况下:

A a = new B();

a 是一个类型为 A 的变量。它在执行时的值是对 B 类型对象的引用。

Java 语言规范使用“运行时类”(例如，为了覆盖，如 section 15.12.4.4 中所示)作为对象的类型。在其他地方，我认为它只是使用“类型”作为表达式的类型，即编译时类型。