【JAVASE】多态

⭐ 作者：小胡_不糊涂
作者主页：小胡_不糊涂的个人主页
收录专栏：浅谈Java
持续更文，关注博主少走弯路，谢谢大家支持

1. 概念

多态：通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。
好比同一个人对待不同的人表现出的形态是不一样的。

比如：彩色打印机和黑白打印机都是打印机，但是他们的打印效果是不同的。

同一件事情，发生在不同对象身上，就会产生不同的结果

2. 实现条件

在java中要实现多态，必须要满足如下几个条件，缺一不可：

• 必须在继承体系下
• 子类必须要对父类中方法进行重写
• 通过父类的引用调用重写的方法

多态体现： 在代码运行时，当传递不同类对象时，会调用对应类中的方法。

例如：

//定义一个动物类
class Animal {
    String name;
    int age;
    public Animal(String name, int age){
        this.name = name;
        this.age = age;
    }
    public void eat(){
        System.out.println(name + "吃饭");
    }
}

//定义一个狗类
class Dog extends Animal {
    public Dog(String name, int age){
        super(name, age);
    }
    /*public Dog() {
       super();
   }*/

    public void bark() {
        System.out.println(this.name+ "汪汪叫");
    }

    @Override
    //重写了Animal中的eat方法
    public void eat(){
        System.out.println(name+"吃骨头~~~");
    }
}

//定义一个猫类
class Cat extends Animal{
    public Cat(String name, int age){
        super(name, age);
    }

    public void miaomiao() {
        System.out.println(this.name+"咪咪叫！");
    }
    
    /*@Override
    public void eat(){
        System.out.println(name+"吃鱼~~~");
    }*/
}

//-------------------------------------

public class Test {
    // 编译器在编译代码时，并不知道要调用Dog 还是 Cat 中eat的方法
	// 等程序运行起来后，形参a引用的具体对象确定后，才知道调用那个方法
	// 注意：此处的形参类型必须时父类类型才可以
    public static void eat(Animal a){
        a.eat();
    }
    public static void main(String[] args) {
        Cat cat = new Cat("小花",2);
        Dog dog = new Dog("Peter", 1);
        eat(cat);//此时Cat类没有eat()方法，会引用父类的eat()
        eat(dog);
        
        dog.bark();//直接引用bark()
        cat.miaomiao();
    }
}

运行结果：

在上述代码中，分割线上方的代码是类的实现者编写的，分割线下方的代码是类的调用者编写的。

当类的调用者在编写 eat 这个方法的时候，参数类型为 Animal (父类)，此时在该方法内部并不知道，也不关注当前的a 引用指向的是哪个类型(哪个子类)的实例，此时 a这个引用调用 eat方法可能会有多种不同的表现(和 a 引用的实例相关)，这种行为就称为多态。

3. 重写

重写(override)：也称为覆盖。

重写是子类对父类非静态、非private修饰，非final修饰，非构造方法等的实现过程进行重新编写，返回值和形参都不能改变。即外壳不变，核心重写！
重写的好处在于子类可以根据需要，定义特定于自己的行为。也就是说子类能够根据需要实现父类的方法。

方法重写规则：

• 子类在重写父类的方法时，一般必须与父类方法原型一致： 返回值类型 方法名 (参数列表) 要完全一致。
• 被重写的方法返回值类型可以不同，但是必须是具有父子关系的。
• 访问权限不能比父类中被重写的方法的访问权限更低。
  例如：如果父类方法被public修饰，则子类中重写该方法就不能声明为 protected
• 父类被static、private修饰的方法、构造方法都不能被重写。
• 重写的方法，可以使用 @Override 注解来显式指定，有了这个注解能帮我们进行一些合法性校验。
  例如不小心将方法名字拼写错了 (比如写成 aet)，那么此时编译器就会发现父类中没有 aet 方法，就会编译报错，提示无法构成重写。

重写和重载的区别：

区别点	重写(override)	重载(override)
参数列表	一定能修改	必须修改
返回类型	一定不能修改【除非可以构成父子类关系】	可以修改
访问限定符	一定不能做更严格的限制（可以降低限制）	可以修改

方法重载是一个类的多态性表现,而方法重写是子类与父类的一种多态性表现

重写的设计原则：

对于已经投入使用的类，尽量不要进行修改。最好的方式是：重新定义一个新的类，来重复利用其中共性的内容，并且添加或者改动新的内容。

静态绑定： 也称为前期绑定(早绑定)，即在编译时，根据用户所传递实参类型就确定了具体调用那个方法。典型代表函数重载。

动态绑定： 也称为后期绑定(晚绑定)，即在编译时，不能确定方法的行为，需要等到程序运行时，才能够确定具体调用那个类的方法

4. 向上转型和向下转型

4.1 向上转型

向上转型：实际就是创建一个子类对象，将其当成父类对象来使用。

语法格式：父类类型 对象名 = new 子类类型()

例如：

Animal animal = new Cat("小花",2);
//animal是父类类型，但可以引用一个子类对象，因为是从小范围向大范围的转换

使用场景：

• 直接赋值
• 方法传参
• 方法返回

public class Test1 {
    // 2. 方法传参：形参为父类型引用，可以接收任意子类的对象
    public static void eatFood(Animal a){
        a.eat();
    }

    // 3. 作返回值：返回任意子类对象
    public static Animal buyAnimal(String var){
        if("狗".equals(var) ){
            return new Dog("狗狗",1);
        }else if("猫" .equals(var)){
            return new Cat("猫猫", 1);
        }else{
            return null;
        }
    }
    public static void main(String[] args) {
        Animal cat = new Cat("小花",2); // 1. 直接赋值：子类对象赋值给父类对象
        Dog dog = new Dog("Peter", 1);
        eatFood(cat);
        eatFood(dog);

        Animal animal = buyAnimal("狗");
        animal.eat();

        animal = buyAnimal("猫");
        animal.eat();
    }
}

向上转型的优点：让代码实现更简单灵活。
向上转型的缺陷：不能调用到子类特有的方法。

4.2 向下转型

将一个子类对象经过向上转型之后当成父类方法使用，再无法调用子类的方法，但有时候可能需要调用子类特有的方法，此时：将父类引用再还原为子类对象即可，即向下转换。

public class Test1 {
	public static void main(String[] args) {
	Cat cat = new Cat("小花",2);
	Dog dog = new Dog("Peter", 1);

	// 向上转型
	Animal animal = cat;
	animal.eat();
	animal = dog;
	animal.eat();
	animal.bark();// 编译失败，编译时编译器将animal当成Animal对象处理，而Animal类中没有bark方法，因此编译失败
	
	// 向上转型
	cat = (Cat)animal;
	cat.miaomiao();// 程序可以通过编程，但运行时抛出异常---因为：animal实际指向的是狗，现在要强制还原为猫，无法正常还原
	
	dog = (Dog)animal;// animal本来指向的就是狗，因此将animal还原为狗也是安全的
	dog.bark();
	}
}

向下转型用的比较少，而且不安全，万一转换失败，运行时就会抛异常。Java中为了提高向下转型的安全性，引入了 instanceof ，如果该表达式为true，则可以安全转换：

public class Test1 {
	public static void main(String[] args) {
		Cat cat = new Cat("小花",2);
		Dog dog = new Dog("Peter", 1);

		// 向上转型
		Animal animal = cat;
		animal.eat();
		animal = dog;
		animal.eat();
		
		//类型比较运算符:instanceof
		if(animal instanceof Cat){
			cat = (Cat)animal;
			cat.miaomiao();
		}
		if(animal instanceof Dog){
			dog = (Dog)animal;
			dog.bark();
		}
	}
}

运行结果：

5. 多态的优点

1. 能够降低代码的 “圈复杂度”, 避免使用大量的 if - else

圈复杂度是一种描述一段代码复杂程度的方式。
一段代码如果平铺直叙，那么就比较简单容易理解，而如果有很多的条件分支或者循环语句，就认为理解起来更复杂。
因此我们可以简单粗暴的计算一段代码中条件语句和循环语句出现的个数，这个个数就称为 “圈复杂度”。
如果一个方法的圈复杂度太高, 就需要考虑重构。

实例：打印多个形状

public class drawShape {
    public static void main(String[] args) {
        //实例化
        Rect rect = new Rect();
        Cycle cycle = new Cycle();
        Flower flower = new Flower();

        String[] shapes = {"cycle", "rect", "cycle", "rect", "flower"};

        //遍历shapes数组
        for (String shape : shapes) {
            if (shape.equals("cycle")) {
                cycle.draw();//画●
            } else if (shape.equals("rect")) {
                rect.draw();//画♦
            } else if (shape.equals("flower")) {
                flower.draw();//画❀
            }
        }
    }
}

class Shape {
    //属性....
    public void draw() {
        System.out.println("画图形！");
    }
}
class Rect extends Shape{
    @Override
    public void draw() {
        System.out.println("♦");
    }
}
class Cycle extends Shape{
    @Override
    public void draw() {
        System.out.println("●");
    }
}
class Flower extends Shape {
    @Override
    public void draw() {
        System.out.println("❀");
    }
}

运行结果：

上面的代码使用 if-else 分支语句太过复杂，我们可以使用多态来简化代码：

public class drawShape {
    public static void main(String[] args) {

        // 创建了一个 Shape 对象的数组
        Shape[] shapes = {new Cycle(), new Rect(), new Cycle(),
                new Rect(), new Flower()};
        for (Shape shape : shapes) {
            shape.draw();//根据shapes所指的对象，引用不同类中的draw
        }
    }
}

2. 可扩展能力更强

如果要新增一种新的形状，使用多态的方式代码改动成本也比较低。

//新增一个形状
class Triangle extends Shape {
	@Override
	public void draw() {
		System.out.println("△");
	}
}

对于类的调用者来说，只要创建一个新类的实例就可以了，改动成本很低。
而对于不用多态的情况，就要把 main 中的 if - else 进行一定的修改，改动成本更高。

多态缺陷：代码的运行效率降低。

1. 属性没有多态性
   当父类和子类都有同名属性的时候，通过父类引用，只能引用父类自己的成员属性
2. 构造方法没有多态性

6. 避免在构造方法中调用重写的方法

下面是一段有坑的代码：
创建两个类，B 是父类，D 是子类。D 中重写 func 方法，并且在 B 的构造方法中调用 func

class B {
    public B() {
        func();
    }
    public void func() {
        System.out.println("B.func()");
    }
}

class D extends B {
    private int num = 1;
    @Override
    public void func() {
        System.out.println("D.func() " + num);
    }
}

public class Test {
    public static void main(String[] args) {
        D d = new D();
    }
}

运行结果：

在构造 D 对象的同时，会调用 B 的构造方法，而B 的构造方法中调用了 func 方法，此时会触发动态绑定，会调用到 D 中的 func。此时 D 对象自身还没有构造， num 处在未初始化的状态值为 0。 如果具备多态性，num的值应该是1。
所以在构造函数内，尽量避免使用实例方法，除了 final 和 private 方法。

结论：

用尽量简单的方式使对象进入可工作状态，尽量不要在构造器中调用方法(如果这个方法被子类重写，就会触发动态绑定，但是此时子类对象还没构造完成)，可能会出现一些隐藏的但是又极难发现的问题。

---