父类代码
子类代码
测试代码
输出结果
即两次输出都是子类中重写的move方法
父类类型(Mammal)的变量mammal指向子类创建的对象,使用该变量调用父类中一个被子类重写的方法(比如move方法),则父类中的方法呈现出不同的行为特征,这就是多态。
Java引用变量有两种类型,分别是编译时类型和运行时类型:编译时类型由声明该变量时使用的类型决定;运行时类型由实际赋给该变量的对象。如果编译时类型和运行时类型不一致,就可能出现所谓多态。
上例分析:当把子类创建的对象直接赋给父类引用类型时,例如上例Ocean方法中“Mammal mammal = whale;”, mammal1引用变量的编译时类型是Mammal,运行时类型是Whale,当程序运行时,该引用变量mammal1调用父类中被子类重写的方法时,其方法行为表现的是子类重写该方法后的行为特征,而不是父类方法的行为特征。
如果子类中的方法没有重写
如果在编辑的过程中子类中的方法没有进行重写,则不会出现多态的情况,举例如下:
即此结果中没有出现多态的情况。
上转型对象
子类实例化的对象赋值给父类声明变量,则该对象称为上转型对象,这个过程称为对象上转型,对应于数据类型转换中的自动类型转换:
package zzu;
public class Mammal {//父类代码
public void move(){
System.out.println("正在移动");
}
package zzu;
public class Whale extends Mammal{//子类代码
public void move() {
System.out.println("靠鳍移动");
}
}
package zzu;
public class Ocean {//测试代码
public static void main(String[] args) {
Whale whale = new Whale();
Mammal mammal = whale;//自动类型转换,也可合并成Mammal mammal = new Whale();
mammal.move();
}
}
但是上转型对象不能调用子类中新增的方法
eg:
package zzu;
public class Mammal {//父类方法
public void move(){
System.out.println("正在移动");
}
}
package zzu;
public class Whale extends Mammal{
public void move() {
System.out.println("靠鳍移动");
}
public void breathe() {//子类新增的方法
System.out.println("鲸鱼正在呼吸");
}
}
当调用新增的方法的时候即会报错。
需要注意的是:
上转对象调用父类方法,如果该方法已被子类重写,则表现子类重写后的行为特征,否则表现父类的行为特征。
使用上转型对象调用成员变量,无论该成员变量是否已经被子类覆盖,使用的都是父类中的成员变量:
下转型对象
可以将上转型对象再强制转换为创建该对象的子类类型的对象,即将上转型对象还原为子类对象,对应于数据类型转换中的强制类型转换。
还原后的对象又具备了子类所有属性和功能,即可以操作子类中继承或新增的成员变量,可以调用子类中继承或新增的方法。