Java子类与父类之间的对象转换_java类继承总结一 父类类型与子类类型之间的转化问题(转)...

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. 在实际编程的过程中，使用对象变量的多态性时一定要注意(尤其是使用数组的时候)，否则编译通过，但运行报错，这个错误很可能让你调试一个晚上才能找出问题所在！！