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

结果是
hello , guy!

hello , guy!

------------------------

对于 Human man = new Man();

上面代码中的“Human”称为 变量的静态类型（static type），或者叫做外观类型。后面的Man是实际类型。

变量本身的静态类型不会被改变，并且最终的静态类型在编译期可知的。而实际类型变化的结果在运行期才可确定。

我们可以对上面的代码做些修改

public static void main(String[] args) {
Human man = new Man();
Human woman = new Woman();
StaticDispatch sd = new StaticDispatch();
sd.sayHello((Man)man);
sd.sayHello((Woman)woman);
}

输出就变成了
hello, gentleman!

hello, lady!