定义

  • Java 引用变量有两个类型:编译时类型:由声明该变量时使用的类型决定运行时类型:由实际赋给该变量的对象决定

  • 当编译时类型和运行时类型不一致,就可能出现所谓的多态(Polymorphism)

  1. SuperClass obj = new SubClass();
  2. Interface obj = new ImplementingClasses();
  • 子类对象赋给父类变量 或 实现类对象赋给接口变量,该对象可以有多种形态,在运行时期会表现出 子类 或 实现类 特征(调用 子类 或 实现类 的覆盖方法)

前提

  • 继承(类和类)或实现(接口和实现类)
  1. class Animal {
  2. }
  3. class Dog extends Animal {
  4. }
  5. class Cat extends Animal {
  6. }
  7. Animal a = null;
  8. a = new Dog();
  9. a = new Cat();

作用

  • 屏蔽不同子类或实现类之间的实现差异,从而可以做到通用编程

注意

  • 只有实例方法才有多态的效果(调用子类的实例方法),类方法和字段都没有(访问父类字段或调用时父类类方法)

  • 编译时会检查父类(编译时类型是否存在该实例方法,若不存在会编译报错;运行时先从子类(运行时类型)找该实例方法,找到就执行,没找到就去父类

  • 当对象有多种形态,需要调用只存在子类的实例方法时,可以对该引用变量进行强制类型转换

  1. public class SuperClass {
  2. String name = "父类的实例变量";
  3. public void superMethod() {
  4. System.out.println("父类中普通的实例方法");
  5. }
  6. protected void test() {
  7. System.out.println("父类中被覆盖的实例方法");
  8. }
  9. }
  10. public class SubClass extends SuperClass {
  11. String name = "子类的实例变量";
  12. public void subMethod() {
  13. System.out.println("子类中普通的实例方法");
  14. }
  15. @Override
  16. public void test() {
  17. System.out.println("子类中覆盖父类的实例方法");
  18. }
  19. public static void main(String[] args) {
  20. SuperClass p = new SubClass();
  21. System.out.println(p.name); // 父类的实例变量
  22. System.out.println(((SubClass)p).name); // 子类的实例变量
  23. p.superMethod(); // 父类中普通的实例方法
  24. p.test(); // 子类中覆盖父类的实例方法
  25. // p.subMethod(); // 编译报错,SuperClass 中没有 subMethod()
  26. ((SubClass)p).subMethod(); // 子类中普通的实例方法
  27. }
  28. }

引用变量的强制类型转换

  • 引用类型之间的转换只能在具有继承关系的两个类型之间进行,否则编译报错
  • 只能将一个引用变量的类型强制转换成该变量实际引用的对象可以被定义成的类型,否则会引发 ClassCastException 异常
  • 语法格式:(Type)object
  1. // 向上转型:把子类对象赋给父类引用变量(多态)
  2. Animal a = new Dog();
  3. Object obj = new Dog();
  4. // 强制类型转换:把父类对象赋给子类引用变量
  5. Dog d = (Dog) a;
  6. Cat c1 = (Cat) a; // ClassCastException: Dog cannot be cast to Cat
  7. Cat c2 = (Cat) new Animal(); // ClassCastException
  8. // 在进行强制类型转换之前,先用 instanceof 运算符判断是否可以成功转换,从而避免出现 ClassCastException 异常
  9. if (a instanceof Dog) {
  10. Dog d = (Dog) a;
  11. }

instanceof 运算符

  • 判断该对象是否是某一个类 / 子类 / 实现类的实例,如果是,返回 true
  • instanceof 运算符前面操作数的编译时类型要么与后面的类相同,要么与后面的类具有继承关系,否则会引起编译错误
  1. Object obj = "ABC";
  2. obj instanceof String; // ture
  3. obj instanceof Object; // ture
  4. obj instanceof Math; // false
  5. String str = "ABC";
  6. str instanceof Math; // String 类与 Math 类没有继承关系,编译报错
  7. // 获取当前对象的运行时类型
  8. obj.getClass(); // class java.lang.String
  9. obj.getClass() == String.class; // ture
  10. obj.getClass() == Object.class; // flase