Java術語說明

Question

在Java中，Object可以具有運行時類型（它是創建時的類型）和流式類型（您已將其轉換爲類型）。

我想知道正確這些類型的名稱是什麼。例如

class A { 

} 

class B extends A { 

} 

A a = new B(); 

一個被作爲B創建但是它被宣佈爲A。使用每個視角來指稱a的類型的正確方法是什麼？

Answer 1

我認爲對象區分是很重要的（它存在在執行時，只是具有其執行時間型）和一個表達（諸如可變），其具有一個編譯時間類型。

因此，在這種情況下：

A a = new B(); 

a是A類型的變量。它在執行時的值是對B類型的對象的引用。

Java語言規範使用「運行時間類」（例如，用於覆蓋的目的，如section 15.12.4.4），用於對象的類型。在其他地方，我認爲它只是使用「type」作爲表達式的類型，這意味着編譯時類型。

Answer 2

我會說你區分變量/引用的類型和對象的類型。在這種情況下

A a = new B(); 

可變/參考將類型A但B類型的對象的。

Answer 3

變量a的類型是A。沒有改變，因爲它是一個參考。它恰巧指的是B類型的對象。當您通過A參考引用B對象時，您只能將它看作是A類型的對象。

以後，您可以將它轉換爲它的更具體的類型

B b = (B)a; 

，並使用該對象的B方法。

Answer 4

在這種情況下，A是參考類型而B是實例類型

Answer 5

Java語言規範談到變量的聲明類型，的getClass()有關對象的運行時類的Javadoc。

請注意，在Java中不存在運行時類型; List<String>和List<Integer>是不同的類型，但它們的實例共享相同的運行時類。

Answer 6

您正在尋找的術語是表觀類型和實際類型。

A a = new B(); 

的表觀類型是A，因爲編譯器只知道該對象的類型是A.作爲這樣的在這時候可以不引用任何的B特異性的方法。

實際類型是B.您可以轉換對象（即更改其明顯類型）以訪問B特定的方法。

Answer 7

要確定a是類的對象，你可以使用：List類型 的Field對象上

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