一、概念
多态就是指程序中定义的引用变量所指向的具体类型和通过该引用变量发出的方法调用在编程时并不确定,而是在程序运行期间才确定,即一个引用变量最终会指向哪个类的实例对象,该引用变量发出的方法调用到底是哪个类中实现的方法,必须在程序运行期间才能决定。
简单来说,多态就是指同一个引用类型,使用不同的实例而执行不同的操作。
多态分为编译时多态和运行时多态。其中编译时多态是静态的,主要是指方法的重载,它是根据参数列表的不同来区分不同的方法。通过编译之后会变成多个不同的方法,在运行时谈不上多态。而运行时多态是动态的,在编译时不确定究竟调用哪个具体方法,一直延迟到运行时才能确定。运行时多态也就是大家通常所说的多态性。
二、Java中实现多态的机制是什么?
实现的原理是动态绑定,父类或接口定义的引用变量可以指向子类或实现类的实例对象,而程序调用的方法在运行期才动态绑定,就是引用变量所指向的具体实现对象的方法,也就是内存里正在运行的那个对象的方法,而不是引用变量的类型中定义的方法。(追溯源码可以发现,JVM 通过参数的自动转型来找到合适的办法。)
那么Java是如何实现动态绑定的呢?
Java 里对象方法的调用是依靠类信息里的方法表实现的。
总体而言,当调用对象某个方法时,JVM查找该对象类的方法表以确定该方法的直接引用地址,有了地址后才真正调用该方法。
子类继承父类的方法,如果不Overriding该方法,那么调用时会指向父类的方法。如果Overrding该方法,那么指向该类的代码区。但是子类会存有父类的方法表。
我们知道java程序运行时,类的相关信息放在方法区,在这些信息中有个叫方法表的区域,该表包含有该类型所定义的所有方法的信息和指向这些方法实际代码的指针。
【图】
当Bird、Cock、Parrot和CrazyParrot这四个类被加载到 Java 虚拟机之方法区后,方法区中就包含了这四个类的信息,下图示例了各个类的方法表。
【图】
从图我们可以看到Cock、Parrot和CrazyParrot的类信息方法表包含了继承自Bird的方法。CrazyParrot的方法表包含了继承自Parrot的方法。此外各个类也有自己的方法。
注意看,方法表条目指向的具体方法代码区。对于多态Overriding的方法courtship(),虽然Cock、Parrot和CrazyParrot的方法表里的courtship()条目所在位置是属于继承自Bird方法表的部分,但指向不同的方法代码区了。
三、多态存在的三个必要条件
【1】继承
【2】重写
【3】向上转型(父类引用指向子类对象)
指向子类的父类引用由于向上转型了,它只能访问父类中拥有的方法和属性,而对于子类中存在而父类中不存在的方法,该引用是不能使用的。若子类重写了父类中的某些方法,在调用该些方法的时候,必定是使用子类中定义的这些方法(动态连接、动态调用)。
四、实现方式
多态通常有两种实现方式:子类继承父类、类实现接口。
案例:
Shape类
public class Shape {
public void draw() {
System.out.println("Shape==》draw() 画图形");
}
public void erase() {
System.out.println("Shape==》erase() 擦除图形");
}
}
Circle类
public class Circle extends Shape{
@Override
public void draw() {
System.out.println("Circle==》draw() 画圆");
}
@Override
public void erase() {
System.out.println("Circle==》erase() 擦除圆");
}
}
Triangle类
public class Triangle extends Shape {
@Override
public void draw() {
System.out.println("Triangle==》draw() 画三角形");
}
@Override
public void erase() {
System.out.println("\"Triangle==》erase() 擦除三角形");
}
}
测试类
public class Test {
public static void main(String[] args) {
Shape shape = new Circle();
shape.draw();
Shape shape1 = new Triangle();
shape1.draw();
}
}
输出结果:
Circle==》draw() 画圆
Triangle==》draw() 画三角形
shape引用指向的是Circle对象,最终调用的是Circle类里的draw方法。shape1引用指向的Triangle对象,最终调用的是Triangle类里的draw方法。