Java 静态多分派&动态单分派

分派发生在编译期和运行期，编译期的分派为静态分派，运行期的为动态分派。

编译期是根据对象声明的类型来选择方法，运行期是根据对象实际类型来选择方法。

术语: 宗量(JVM虚拟机) , 什么是宗量, 方法调用者和方法参数被称为宗量.(后面理解分派需要)

静态类型: 一个对象在声明时的类型称为静态类型,静态类型再编译器编译时可知. 如 Animal a = new Dog(), 静态类型为Animal, 实际类型为Dog.

单分派&多分派

单分派和多分派取决于宗量, 方法调用者和方法参数都是宗量.

Java中静态分派的方法调用,首先确定调用者的静态类型是什么,然后根据要调用的方法参数的静态类型(声明类型)确定所有重载方法中要调用哪一个, 需要根据这两个宗量来编译, 所以是静态多分派(多个宗量确定).

Java中动态分派的方法调用,在运行期间,虚拟机会根据调用者的实际类型调用对应的方法, 秩序根据这一个宗量就可以确定要调用的方法,所以是动态单分派(一个宗量)

class Human{  
}    
class Man extends Human{  
}  
class Woman extends Human{  
}  

public class StaticPai{  

    public void say(Human hum){  
        System.out.println("I am human");  
    }  
    public void say(Man hum){  
        System.out.println("I am man");  
    }  
    public void say(Woman hum){  
        System.out.println("I am woman");  
    }  

    public static void main(String[] args){  
        Human man = new Man();  
        Human woman = new Woman();  
        StaticPai sp = new StaticPai();  
        sp.say(man);  
        sp.say(woman);  
    }  
}  

上面代码的执行结果如下：

I am human
I am human