Java分派

　　Java的重载和重写在开发中是非常常见的，那么它们在Java虚拟机中是如何实现的？先看下Java的两种分派方式：静态分派和动态分派。

一、静态分派

先看一段代码。代码结构如下，很简单的继承关系，各个类也没有属性和方法。

代码如下：

public class Human {
  
}

public class Man extends Human {

}

public class Woman extends Human {

}

//主要的操作类
public class StaticCall {

  public void sayHello(Human person) {
    System.out.println("human hello!");
  }

  public void sayHello(Man person) {
    System.out.println("man hello!");
  }

  public void sayHello(Woman person) {
    System.out.println("woman hello!");
  }

  public static void main(String[] args) {
    StaticCall staticCall = new StaticCall();

    Human human = new Human();
    staticCall.sayHello(human);

    Human man = new Man();
    staticCall.sayHello(man);

    Human woman = new Woman();
    staticCall.sayHello(woman);
  }

}

主要看下操作类代码。重载了3个方法，接收的参数类型不同，但是类型是上下级关系。调用时定义了3种类型。

执行的结果是什么呢？

如果没有深入的分析，对这个结果可能会有些惊讶，为什么3次的调用结果一样？

先看下几个概念。

Human man = new Man();

　　Human称为变量的静态类型，或者叫做外观类型，后面的Man被称为变量的实际类型。方法的重载是通过参数的静态类型作为判断的，并且静态类型是编译器可知的，因此在编译阶段编译器会根据参数的静态类型决定使用哪个重载版本。

　　再看上面的代码，定义的3个变量的静态类型都是Human类型，所以都选择了sayHello(Human person)作为调用目标。

依赖静态类型来定位方法执行版本的分派动作称为静态分派。静态分派的典型应用就是方法重载。

　　另一个问题，是编译器虽然能确定出方法的重载版本，但是在很多情况下这个重载版本并不是唯一的，只能确定一个更加合适的版本。例如，重载的方法中，参数列表除了参数类型不一样，其他都一样，例接收的参数有charintlong等，传入参数‘a’，则会调用需要char类型参数的方法，去掉需要char类型参数的方法，则会调用需要int类型参数的方法。这时发生了一次自动类型转换。同样，去掉需要int类型参数的方法，则会调用需要long类型参数的方法。这里再次发生类型转换，会按照char->int->long->float->double转换类型。

二、动态分派

　　动态分派和重写联系密切。再看下面的代码

父类Human定义类sayHello方法，之类重写了该方法。详细代码如下：

public class Human {
  public void sayHello() {
    System.out.println("hello,human!");
  }
}

public class Man extends Human {
  @Override
  public void sayHello() {
    System.out.println("hello,Man!");
  }
}

public class Woman extends Human {
  @Override
  public void sayHello() {
    System.out.println("hello,Woman!");
  }
}

//主要操作类
public class DynamicCall {

  public static void main(String[] args) {
    Human human = new Human();
    human.sayHello();

    Human man = new Man();
    man.sayHello();

    Human woman = new Woman();
    woman.sayHello();
  }

}

定义了3个类，调用3个类的方法。结果是：

Java是通过变量的实际类型在运行期确定执行哪个版本。上面3个变量的实际类型不同，会调用各自的方法。

详细请阅读《深入理解Java虚拟机：JVM高级特性与最佳实践（最新第二版）》