前言


方法和方法调用分为两种
1. 静态分派(就是一个方法的重载)
2. 动态分派(就是多态的实现)

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

静态分派

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

  1.     void test() {
  2.         Father father = new Son();          
  3.         print(father);
  4.     }
  6.     void print(Father father) {
  7.         System.out.println("this is father");
  8.     }
  10.     void print(Son son) {
  11.         System.out.println("this is son");
  12.     }

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

动态分派

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

  1.     void test() {
  2.         Father father = new Son();          
  3.         father.name();      
  4.     }
  6.     class Son extends Father {
  7.         void name(){
  8.             System.out.println("son");
  9.         }
  10.     }
  12.     class Father {
  13.         void name(){
  14.             System.out.println("father");
  15.         }
  16.     }

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

单分派与多分派

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

总结

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

参考

https://www.cnblogs.com/zhenlingcn/p/8539065.html