什么是多态
多态是指同一个接口或父类引用变量可以指向不同的对象实例,并根据实际指向的对象类型执行相应的方法。
它允许同一方法在不同对象上表现出不同的行为,是面向对象编程(OOP)的核心特性之一
多态的前提条件
- 子类继承父类
- 子类重写父类的方法
- 父类引用指向子类的对象
语法格式
|
|
多态的运行特点
调用成员变量
遵守规则:编译看声明类型(左边),运行看声明类型(左边)
编译代码时,会看左边的父类中有没有该变量,若不存在该变量则编译失败
运行代码时,实际获取的是左边父类中成员变量的值
示例代码
|
|
调用成员方法
遵守规则:编译看声明类型(左边),运行看实际类型(右边)
编译代码时,会看左边的父类中有没有该方法,若不存在该方法则编译失败
运行代码时,实际执行的是右边父子中成员方法
示例代码
|
|
多态的实现原理
动态绑定
多态通过动态绑定实现,Java 使用虚方法表存储方法指针,方法调用时根据对象实际类型从虚方法表查找具体实现。
多态的实现方式
编译时多态和运行时多态是面向对象编程中多态性的两种实现方式,它们分别在不同的阶段决定方法的绑定。
- 编译时多态:通过方法重载实现,在编译时确定方法的调用。
- 运行时多态:通过方法重写实现,在运行时确定方法的调用。
编译时多态(Compile-time Polymorphism)
编译时多态,也称为静态多态,是在编译阶段确定方法的调用。编译时多态主要通过 方法重载(Method Overloading) 实现。
方法重载:指在同一个类中定义多个方法,这些方法的名称相同但参数列表(参数的类型或数量)不同。Java 编译器在编译时会根据方法调用时传入的参数类型和数量,决定调用哪一个重载方法。
注意事项
-
重载中的方法同名但参数列表不同(参数个数、类型或顺序),注意和返回值没有关系,方法的签名仅是名字和参数列表,不包括返回值。
-
重载通常用于提供同一操作的不同实现,例如构造函数的重载、不同类型输入的处理等。
运行时多态(Runtime Polymorphism)
运行时多态,也称为动态多态,是在运行时确定方法的调用。运行时多态通过 方法重写(Method Overriding) 实现。
方法重写:子类重写父类的一个或多个方法。通过父类引用调用方法时,实际执行的是子类重写后的方法。这种多态性是在运行时根据对象的实际类型决定的。
注意事项
-
在重写时,子类方法不能使用比父类更严格的访问级别。例如,父类的方法是
protected
,子类不能将其修改为private
,但可以改为public
。 -
子类方法抛出的异常必须与父类一致,或者是其父类异常的子类。
-
重写通常用于在子类中提供父类方法的具体实现,以实现多态性。例如,子类对父类方法进行扩展或修改以适应特定需求 。
方法重载和方法重写的比较
-
方法重载(Overloading) :在同一个类中,允许有多个同名方法,只要它们的参数列表不同(参数个数、类型或顺序)。主要关注方法的签名变化,适用于在同一类中定义不同场景下的行为,实现编译时多态性。
-
方法重写(Overriding):子类在继承父类时,可以重写父类的某个方法(参数列表、方法名必须相同),从而为该方法提供新的实现。主要关注继承关系,用于子类改变父类的方法实现,实现运行时多态性。
区别 | 重载 | 重写 |
---|---|---|
发生的场所 | 在同一个类中 | 在继承关系的子类和父类之间 |
参数列表 | 必须不同(参数的数量、类型或顺序不同) | 必须相同,不能改变参数列表 |
返回类型 | 可以不同 | 必须与父类方法的返回类型相同,或者是父类返回类型的子类(协变返回类型) |
访问修饰符 | 不受访问修饰符影响 | 子类方法的访问修饰符不能比父类更严格,通常是相同或更宽泛 |
静态和非静态方法 | 可以是静态方法或非静态方法 | 只能重写非静态方法,静态方法不能被重写(静态方法可以被隐藏) |
异常处理 | 方法的异常处理可以不同 | 子类的异常不能抛出比父类更多的异常(可以抛出更少的或相同类型的异常) |
向上转型和向下转型
向上转型(儿子变父亲)
向上转型是使用父类类型的引用指向子类对象,通过子类对象(小范围)实例化父类对象(大范围)
父类引用变量指向子类对象后,只能使用父类已声明的方法,但方法如果被重写会执行子类的方法,如果方法未被重写那么将执行父类的方法。
语法格式
|
|
向下转型(父亲变儿子)
向下转型是将父类引用转回其子类类型,通过父类对象(大范围)实例化子类对象(小范围),但在执行前需要确认父类引用变量实际引用必须是子类对象才能成功转型以避免 ClassCastException
向下转型允许我们通过父类引用访问子类特有的方法和属性
语法格式
|
|
示例代码
|
|
instance of关键字
判断对象是否符合指定的类型,结果要么是 true,要么是 false
语法格式
|
|
判定为true
的条件
object
是ClassName
类型或其子类(或实现类)的对象ClassName
是object
实现的接口。
无论右边的类型是什么,null
对象总是返回 false
。即:null instanceof SomeClass // 结果为 false