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