您可以重新分配one给的其他某个子类的对象car：

one = new Ford(...);

但是您不能那样重新分配two，因为它仅限于opel。

如果m是在opel类中定义的方法，而不是在car类中定义的方法，则如果这样做，编译器将给您一个错误：

one.m();

但这没关系：

two.m();

由于它知道two仅限于opel，因此它知道该方法m将存在。

通常，您希望将变量声明为尽可能 广泛的
类型。也就是说，如果您仅要使用中的方法car，则请使用type声明它car（就像您对with所做的那样one），因为您是在告诉读者该算法只需要知道onea
car，就不需要知道那是什么车。

更多： 有必要了解一个变量既具有 编译时类型 又具有 运行时类型
。编译器将其one视为car，因为它car在任何给定时间都不知道该变量的类型。但是两者的 运行时类型
均为opel。如果你有一个方法mm是为定义car，然后重写了opel，one.mm()而且two.mm()都将调用 相同的
方法。一旦编译器查看了编译时类型并确定该调用是合法的，则在程序运行时将调用哪个调用取决于运行时类型。