java学习之路 之 高级类特性1-面向对象特征之三:多态

时间:2022-04-12 13:30:17
面向对象特征之三:多态
多态性,是面向对象中最重要的概念,在java中有两种体现:
方法的重载(overload)和重写(overwrite)。
对象的多态性   ——可以直接应用在抽象类和接口上。
Java引用变量有两个类型:编译时类型和运行时类型。编译时类型由声明该变量时使用的类型决定,运行时类型由实际赋给该变量的对象决定。
若编译时类型和运行时类型不一致,就出现多态(Polymorphism)

对象的多态 —在Java中,子类的对象可以替代父类的对象使用
一个变量只能有一种确定的数据类型
一个引用类型变量可能指向(引用)多种不同类型的对象
Person p = new Student();
Object o = new Person();//Object类型的变量o,指向Person类型的对象
o = new Student(); //Object类型的变量o,指向Student类型的对象
子类可看做是特殊的父类,所以父类类型的引用可以指向子类的对象:向上转型(upcasting)。

一个引用类型变量如果声明为父类的类型,但实际引用的是子类对象,那么该变量就不能再访问子类中添加的属性和方法
Student m = new Student(); m.school = “pku”; //合法,Student类有school成员变量
Person e = new Student();    e.school = “pku”; //非法,Person类没有school成员变量      
属性是在编译时确定的,编译时e为Person类型,没有school成员变量,因而编译错误。

虚拟方法调用(Virtual Method Invocation)
正常的方法调用  
Person e = new Person();  
e.getInfo();  
Student e = new Student();  
e.getInfo();  
虚拟方法调用(多态情况下)  
Person e = new Student();    
e.getInfo(); //调用Student类的getInfo()方法  
编译时类型和运行时类型

编译时e为Person类型,而方法的调用是在运行时确定的,所以调用的是Student类的getInfo()方法。——动态绑定

多态小结
前提:
需要存在继承或者实现关系要有覆盖操作
成员方法:
编译时:要查看引用变量所属的类中是否有所调用的方法。(编译时检查父类类型)
运行时:调用实际对象所属的类中的重写方法.(运行时执行子类类型)
成员变量:
不具备多态性,只看引用变量所属的类。

继承成员变量和继承方法的区别

<span style="white-space:pre"></span>class Base{
int count = 10;
public void display(){
System.out.println(this.count);
}
}
class Sub extends Base{
int count = 20;
public void display(){
System.out.println(this.count);
}
}
public class TestFieldMethod {
public static void main(String[] args) {
Sub s = new Sub();
System.out.println(s.count);//20
s.display();//20
Base b = s;
System.out.println(b == s);//true
System.out.println(b.count);//10
b.display();//20
}
}

子类继承父类
若子类重写了父类方法,就意味着子类里定义的方法彻底覆盖了父类里的同名方法,系统将不可能把父类里的方法转移到子类中
对于实例变量则不存在这样的现象,即使子类里定义了与父类完全相同的实例变量,这个实例变量依然不可能覆盖父类中定义的实例变量
多态性应用举例
方法声明的形参类型为父类类型,可以使用子类的对象作为实参调用该方法
<span style="white-space:pre"></span>public class Test{ 
public void method(Person e) { //……
e.getInfo();
}
public static void main(Stirng args[]){
Test t = new Test();
Student m = new Student();
t.method(m); //子类的对象m传送给父类类型的参数e
}
}