Java 重写和重载jvm虚拟机实现原理

1.重载

重载方法的选择是静态的，而对于重写方法的选择则是动态的。在《深入理解Java虚拟机》第8.3.2章节中有讲解，这涉及到重载与重写在Java虚拟机中是如何实现的。

 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 staticDispatch = new StaticDispatch();
         staticDispatch.sayHello(man);
         staticDispatch.sayHello(woman);
     }
 }

输出结果：

hello, guy!
hello, guy!

　实际上“Human”称为变量的静态类型（外观类型），而“Man”和“Woman”则称为变量的实际类型。本例中实际上就是定义了两个静态类型但实际类型不同的变量，但是虚拟机在重载时是通过参数的静态类型而不是实际类型作为判定一句的，静态类型又是在编译器可知的，所以在编译时就能确定使用哪个重载版本。这样看来上面两个例子的执行结果就能解释了，因为它们的静态类型确定为了Collection和Human，故在编译时就选用了这两个参数类型的重载方法。所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。

 

2.重写

public class DynamicDispatch {
    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();
        woman.sayHello();
        man = new Woman();
        man.sayHello();
    }
}

运行结果：

man say hello
woman say hello
woman say hello

显然这并不是根据静态类型来选择的重写方法，简单推理一下可得只是按照实际类型来选择确定的重写方法，而实际类型又是在编译时不可知只有在运行时才确定的，所以这有个较为专业的叫法——动态分配。也就是说在运行时根据实际类型确定方法执行版本的分派过程称为动态分配。