浅谈动态分派和静态分派

Posted 2020-10-26 震灵

前言

动态分派和静态分派机制是Java多态实现的原理。本文将针对这两种机制进行浅析。

静态分派

静态分派机制最典型的代码示例如下

    void test() {
        Father father = new Son();          //静态分派
        print(father);
    }

    void print(Father father) {
        System.out.println("this is father");
    }

    void print(Son son) {
        System.out.println("this is son");
    }

这段代码执行完成以后会输出this is father。之所以会输出这样一个结果，原因就是此处的多态实现是静态分派的。在编译阶段，由于father变量类型被声明为Father。因此在编译阶段就已经确定了调用的是参数为Father的方法，与具体的实例化对象无关。

动态分派

动态分派机制最典型的代码示例如下

    void test() {
        Father father = new Son();          //静态分派
        father.name();      //动态分派
    }

    class Son extends Father {
        void name(){
            System.out.println("son");
        }
    }

    class Father {
        void name(){
            System.out.println("father");
        }
    }

这里我们声明了静态类型Father，但是实际上我们调用name方法的时候，输出的却是son。这里就牵扯到一个动态分派的问题，对于方法重写，Java采用的是动态分派机制，也就是说在运行的时候才确定调用哪个方法。由于father的实际类型是Son，因此调用的就是Son的name方法。

单分派与多分派

静态分派是多分派的，动态分派是单分派的。
多分派是指在静态分派的过程中需要考虑两步：
1、判断静态类型是Father还是Son
2、判断方法参数是Father还是Son
综合上述两个因素（宗量），才能确定调用哪个方法。
而动态分派由于使用的时候已经确定了参数类型，所以不需要对参数类型进行判断，只需要对变量类型进行判断即可。比如在上述例子中，我们已经通过静态分派，确定了调用的是无参的name方法，这时候我们就只需要考虑father的实际类型是Father还是Son即可。因此动态分派是单分派的。

总结

在Java多态的两种常见用法中，方法重载使用的是静态分派机制，而方法重写使用的是静态分派机制。这也就导致了，方法重载调用的时候是根据变量的静态类型来决定调用哪个方法。而方法重写的时候，则是根据变量的实际类型来决定调用哪个方法。