对象的构造澄清

Question

有一条线，大多数OOP程序都有，它看起来像这样

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

这是排什么名字？构造函数调用？

我试图找到当这行的第一个和最后一个单词是不同的东西（Thing1 a = new Thing2）时它意味着什么。

Answer 1

我想，这就是所谓的“上溯造型”（基于Java中书思考）：

我们称之为治疗派生类型，就好像是它的 基本类型向上转型的过程。 （第26页 - 思维JAVA）