您可以重新分配
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()都将调用 相同的
方法。一旦编译器查看了编译时类型并确定该调用是合法的，则在程序运行时将调用哪个调用取决于运行时类型。
