多态

有一个用来判断是否应该设计为继承关系的简单规则，“is-a”，它表明子类的每一个对象也是超类的对象。“is-a”规则的另一种表述法是置换法则，它表明程序中出现超类对象的任何地方都可以用子类置换。例如：

Employee e;
e = new Employee(...);
e = new Manager(...);

在Java程序设计语言中，对象的变量是多态的，一个Employee变量既可以引用一个Employee类的对象，也可以引用一个Employee类的任意一个子类的对象。

Manager boss - new Manager(...);
Employee[]Staff = new Employee[3];
staff[0] = boss;

变量staff[0]与boss引用同一个对象，但编译器将staff[0]看成是Employee对象。所以staff[0]不能调用Manager类里的方法。

然而不能将一个超类的引用赋给子类变量。例如，下面的赋值是非法的。

Manager m = staff[i];

在Java中，子类数组的引用可以转换成超类数组的引用，而不需要采用强制类型转换。