java类继承总结一 父类类型与子类类型之间的转化问题
本文将通过一个实例描述父类类型与子类类型之间的转化问题,这个很特殊的问题常常会导致一些潜在的危险,让你整整一个晚上都在调试程序以解决一个让人抓狂的java.lang.ArrayStoreException异常。
1. 子类数组的引用可以装换为超类数组的引用
2. 子类的引用child可以转换为父类的引用parent(这里假设parent是父类对象,child是子类对象),但却不可以通过 parent调用child的特有方法
class Employee{
protected String name;
protected long salary;
public Employee(String aName){
this.name = aName;
}
public void setSalary(long aSalary){
this.salary = aSalary;
}
public long getSalary(){
return this.salary;
}
}
class Manager extends Employee{
protected long bonus;
public Manager(String aName){
super(aName);
}
public void setBonus(long aBonus){
this.bonus = aBonus;
}
public long getSalary(){
return super.getSalary()+this.bonus;
}
}
public static void main(String[] args) {
//注意,这时managers 和employees 引用的是同一个数组
Manager[] managers = new Manager[10];
Employee[] employees = managers;
//(a)注意,下面三条语句是可以通过的,但运行时会抛出异常
employees[0] = new Employee("Abel"); //运行时此处抛出java.lang.ArrayStoreException异常
managers[0].setSalary(1000);
managers[0].setBonus(500);
//(b)这样的语句编译和运行都没有问题
employees[0] = new Manager("Abel");
employees[0].setSalary(1000);
managers[0].setSalary(1000);
managers[0].setBonus(500);
}
总结:
1. 在java中,对象变量是多态的,一个employee既可以引用Employee类型的实例,也可以引用子类Manager类型的实例,但一个manager不能引用一个Employee类型的实例,例如:
(1) Employee e = new Manager("Abel") 是合法的
(2)Manager m = new Employee("Abel") 是不合法的
原因很容易理解,manager与employee是is-a的关系,任何一个manager都是一个emplpyee,如(1)所示,一个Employee类型的引用e可以引用Manager类型的实例,这意味着可以通过e使用Manager中任何继承自Employee的方法(注意,e不能使用Manager的特有方法,如e.setBonus(1000)是不合法的),Employee e = new Manager("Abel")的潜台词就是说,e从Employee的角度描述Manager,e就是一个Employee,不管e引用的是什么,编译器就把它当一个Employee来看。
2. 对于上面(a)的代码,不能运行是可以理解的, employees[0]虽然在声明时是Employee类型,但Employee[] employees = managers;规定了employees[i]指向的必须是Manager类型的实例,因此employees[0] = new Employee("Abel"); 这条语句必然会引发异常。
(a)处的代码employees[0] = new Employee("Abel");可以通过编译似乎也情有可原,因为employees声明的类型是Employee[], 那么employees[0]自然可以接受一个Employee类型的引用,但实际上
Employee[] employees = managers;赋值的过程中又规定了employees接受的必须是Manager类型,从上面的例子可以看出,运行的时候会做这样的检查,但编译的时候不会检查的这么深入,只会检查变量的声明类型,看来java编译器还不够智能啊 :)
3. 在实际编程的过程中,使用对象变量的多态性时一定要注意(尤其是使用数组的时候),否则编译通过,但运行报错,这个错误很可能让你调试一个晚上才能找出问题所在!!