本文描述的内容如题：重载的陷阱，静态分派，重写，动态分派
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);
sr.sayHello(woman);
}
}
//print:
//hello,guy!
//hello,guy!
我刚看代码的时候，是以为结果会是hello,gentleman(换行)hello,lady!这样的，但是为什么选择了参数为Human的重载方法呢？
要点总结如下：
- 在
Human man=new Man()中，Human被称为静态类型或外观类型，Man被称为实际类型。 - 编译器在编译程序的时候并不知道一个对象的实际类型是什么，只能在运行期才可确定；而静态类型是在编译器可知的。
- 上述代码中可以定义了两个静态类型相同但是实际类型不同的变量，但是虚拟机（或者说编译器）在重载时是通过参数的静态类型而不是实际类型作为判定依据。
- 因此，在编译阶段，Javac编译器会根据参数的静态类型决定使用哪个重载版本，所以选择了
sayHello(Human）作为调用目标。 - 所有依赖静态类型来定位方法执行版本的分派动作称为静态分派，静态分派的典型应用是方法重载。
结论：确定重载哪个方法通过对象的静态类型。
上述描述了静态分派，下文描述动态分派：
动态分派和重写有很密切的关联：
public class Main {
public static void main(String args[]) {
Human man=new Man();
Human woman=new Woman();
man.sayHello();
woman.sayHello();
man=new Woman();
man.sayHello();
}
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");
}
}
}
/*
打印:
man say hello
woman say hello
woman say hello
*/
这个打印结果是毫无悬念且理所当然的。
很明显，这里打印出不同的结果是因为对象的实际类型不同。具体的分析和解释由于我自己也不是很明白，因此推荐直接查看《深入理解java虚拟机》P253的内容。
结论：重写的方法的调用，是根据运行期确定出的对象的实际类型，来确定具体调用哪个方法的。
