Hence a variable of a class type can reference an instance of any descendant type.

• 因此，类类型的变量可以引用其所有子孙类型的实例。