對象的構造澄清

Question

有一條線，大多數OOP程序都有，它看起來像這樣

Foo a = new Foo(); 
Animal b = new Dog(); 
Animal c = new Turtle(); 

這是排什麼名字？構造函數調用？

我試圖找到當這行的第一個和最後一個單詞是不同的東西（Thing1 a = new Thing2）時它意味着什麼。

Answer 1

我想，這就是所謂的「上溯造型」（基於Java中書思考）：

我們稱之爲治療派生類型，就好像是它的 基本類型向上轉型的過程。 （第26頁 - 思維JAVA）