父类代码

Java运行时多态和编译时多态 java运行时多态简单例子_Java运行时多态和编译时多态

子类代码

Java运行时多态和编译时多态 java运行时多态简单例子_子类_02

测试代码

Java运行时多态和编译时多态 java运行时多态简单例子_Java运行时多态和编译时多态_03

输出结果

Java运行时多态和编译时多态 java运行时多态简单例子_父类_04


即两次输出都是子类中重写的move方法

父类类型(Mammal)的变量mammal指向子类创建的对象,使用该变量调用父类中一个被子类重写的方法(比如move方法),则父类中的方法呈现出不同的行为特征,这就是多态。

Java引用变量有两种类型,分别是编译时类型和运行时类型:编译时类型由声明该变量时使用的类型决定;运行时类型由实际赋给该变量的对象。如果编译时类型和运行时类型不一致,就可能出现所谓多态。
上例分析:当把子类创建的对象直接赋给父类引用类型时,例如上例Ocean方法中“Mammal mammal = whale;”, mammal1引用变量的编译时类型是Mammal,运行时类型是Whale,当程序运行时,该引用变量mammal1调用父类中被子类重写的方法时,其方法行为表现的是子类重写该方法后的行为特征,而不是父类方法的行为特征。

如果子类中的方法没有重写

如果在编辑的过程中子类中的方法没有进行重写,则不会出现多态的情况,举例如下:

Java运行时多态和编译时多态 java运行时多态简单例子_父类_05


Java运行时多态和编译时多态 java运行时多态简单例子_子类_06


Java运行时多态和编译时多态 java运行时多态简单例子_System_07


Java运行时多态和编译时多态 java运行时多态简单例子_Java运行时多态和编译时多态_08


即此结果中没有出现多态的情况。

上转型对象

子类实例化的对象赋值给父类声明变量,则该对象称为上转型对象,这个过程称为对象上转型,对应于数据类型转换中的自动类型转换:

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("鲸鱼正在呼吸");
	}
}

Java运行时多态和编译时多态 java运行时多态简单例子_父类_09


当调用新增的方法的时候即会报错。

需要注意的是:

上转对象调用父类方法,如果该方法已被子类重写,则表现子类重写后的行为特征,否则表现父类的行为特征。

使用上转型对象调用成员变量,无论该成员变量是否已经被子类覆盖,使用的都是父类中的成员变量:

下转型对象

可以将上转型对象再强制转换为创建该对象的子类类型的对象,即将上转型对象还原为子类对象,对应于数据类型转换中的强制类型转换。
还原后的对象又具备了子类所有属性和功能,即可以操作子类中继承或新增的成员变量,可以调用子类中继承或新增的方法。

注意:不可以将父类创建的对象通过强制类型转换赋值给子类声明的变量。