静态分派与动态分派

1.静态分派就是按参数的静态类型而不是实际类型定位方法调用版本的过程，发生在编译期间。

重载的本质就是静态分派，在编译期间根据参数的静态类型决定要调用的方法。

/**
* 重载demo
*/
public class StaticDispatch {
    static abstract class Human{}
    static class Man extends Human{}
    static class Woman extends Human{}

    public void sayHello(Human guy){
        System.out.println("hello,guy!");
    }
    public void sayHello(Man guy){
        System.out.println("hello,gentleman!");
    }
    public void sayHello(Woman guy){
        System.out.println("hello,lady!");
    }

    public static void main(String[] args){
        Human man=new Man();
        Human woman=new Woman();

        StaticDispatch sr=new StaticDispatch();

        sr.sayHello(man); // hello,guy!
        sr.sayHello(woman); // hello,guy!
    }
}

2.动态分派就是在运行过程中按实际类型定位方法版本的过程。

重写的本质就是动态分派。

重写设计到JVM的invokeVirtual指令，该指令的解析过程如下：

1.找到操作数栈顶的第一个元素所指向的实际类型，记为C；

2.如果在类型C中找到了与常量描述符和简单名称都相符的方法，则进行访问权限的校验，如果通过则返回这个方法的直接引用，查找结束。否则返回非法访问异常。

3.如果类型C中没有找到，则按照继承关系从下到上一次对C的父类做第2步的搜索和校验过程。

4.如果始终没有找到合适的方法，则抛出抽象反复错误的异常

从这个过程中可以发现，在第1步的时候就在运行期确定接收对象的实际类型，所以当调用invokeVirtual指令就会把运行时常量池中的符号引用解析为不同的直接饮用，这就是重写方法的本质。

/*
* 重写demo
*/
public class Main {
    static abstract class Human{
        protected abstract void sayHello();
    }
    static class  Man extends Human{
        @Override
        protected void sayHello() {
            System.out.println("man say hello");
        }
    }
    static class Woman extends Human{
        @Override
        protected void sayHello() {
            System.out.println("woman say hello");
        }
    }
    
    public static void main(String args[]) {
        Human man=new Man();
        Human woman=new Woman();

        man.sayHello(); // man say hello
        woman.sayHello(); // woman say hello

        man=new Woman();
        man.sayHello(); // woman say hello
    }
}