Java多态的本质—动态分派

概述

Java语言的一大特性是多态性，所谓多态就是指程序中定义的引用变量所指向的具体类型和通过该引用变量发出的方法调用在编程时并不确定，而是在程序运行期间才确定，即一个引用变量倒底会指向哪个类的实例对象，该引用变量发出的方法调用到底是哪个类中实现的方法，必须在由程序运行期间才能决定。

举个简单的例子，比如Human human = flag ? new Man() : new Woman(), human的具体类型是man还是woman在编写代码的时候我们是无法确定，它是由flag这个标记决定，只有在程序运行的时候才能够确定下来，这种让引用变量在运行时绑定到各种不同的类实现上，从而导致该引用调用的具体方法随之改变，即不修改程序代码就可以改变程序运行时所绑定的具体代码，让程序可以选择多个运行状态，这就是多态性。

例子

多态在Java中有两种实现形式，分别是继承和接口，子类重写父类或者接口中的方法，现在举个例子。

public class DynamicDispatch {

    static abstract class Animal {
        protected abstract void eat();
    }

    static class Cat extends Animal {

        @Override
        protected void eat() {
            System.out.println("我吃鱼");
        }
    }

    static class Dog extends Animal {

        @Override
        protected void eat() {
            System.out.println("我吃骨头"