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

Question

在 Java 中， Object可以具有运行时类型（即创建时的类型）和转换类型（您已将其转换为的类型）。

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

class A {

}

class B extends A {

}

A a = new B();

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

Answer 1

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

所以在这种情况下：

A a = new B();

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

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

Answer 2

Java 语言规范讲述了变量的声明类型， getClass()的 javadoc 讲述了对象的运行时类。

请注意，Java 中没有运行时类型之类的东西； List<String>和List<Integer>是不同的类型，但它们的实例共享相同的运行时类。

Answer 3

在这种情况下， A是引用类型，而B是实例类型

Answer 4

我会说你区分了变量/引用的类型和对象的类型。 在这种情况下

A a = new B();

变量/引用的类型为A但对象的类型为B 。

Answer 5

变量a的类型是A 。 没有改变，因为它是一个参考。 它恰好引用了类型B的对象。 当您通过A引用引用该B对象时，您只能将其视为A类型。

您可以稍后将其转换为更具体的类型

B b = (B)a;

并在该对象上使用B方法。

Answer 6

您正在寻找的术语是Apparent Type和Actual Type 。

A a = new B();

表观类型是 A，因为编译器只知道该对象是类型 A。因此，此时您无法引用任何 B 特定方法。

实际类型为 B。您可以强制转换对象（即更改其明显类型）以访问 B 特定方法。

Answer 7

要确定a是你可以使用类对象：

/*The java.lang.Object.getClass() method returns the runtime class of an object*/   
System.out.println("a is object of: "+a.getClass());

Answer 8

第 15.5 节。 表达式和运行时检查的区别

• 表达式的类型
• 引用对象的类

例如，

如果表达式的类型是引用类型，则在编译时不一定知道被引用对象的类，甚至该值是否是对对象的引用而不是 null。 在 Java 编程语言中有几个地方，引用对象的实际类以无法从表达式的类型推断出的方式影响程序执行......

[剪辑]

可以使用instanceof测试类型为引用类型的表达式，以找出表达式的运行时值所引用的对象的类

因此，将上述语言应用于

A a = new B();

我们可能会说类似的话

表达式a的静态类型是A ，尽管a存储的值是对运行时类B对象的引用。

就个人而言，我以以下方式解释这两个概念（但请注意我不确定其正确性）：

• 表达式的静态类型是编译时源代码中存在的纯语法概念，供Java编译器处理
• 对象的运行时类是运行时存在于机器内存中的实际机器构造，供 Java 虚拟机处理