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

原文地址:https://www.cnblogs.com/lubocsu/p/5095032.html