一道面试题，下面程序的输出是？
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!