首先来看一段代码
public class Human {}
public class Man extends Human{}
public class Woman extends Human{}
public class FulynDemo {
public void sayHello(Human arg) {
System.out.println("i am human");
}
public void sayHello(Man arg) {
System.out.println("i am man");
}
public void sayHello(Woman arg) {
System.out.println("i am woman");
}
public static void main(String[] args) {
FulynDemo demo = new FulynDemo();
Human arg = new Human();
Human arg1 = new Man();
Human arg2 = new Woman();
demo.sayHello(arg);
demo.sayHello(arg1);
demo.sayHello(arg2);
demo.sayHello((Man)arg1);
}
}
上述代码的结果为:
可以看到,java中重载时选择要执行的方法,是根据A a = new B()中的A类型参数来进行判断的。这时的A,称为变量的静态类型或外观类型,而B称为实际类型。变量本身的静态类型不会被改变,且最终的静态类型在编译期是可知的。而变量的实际类型可以改变,其变化的结果在运行期才可以确定,在编译期变量的实际类型是不可知的。
上述代码出现这样的结果,是因为编译器在重载时是通过参数的静态类型而不是实际类型作为判定依据的,因为静态类型在编译期以知,故javac编译器会根据静态类型决定重载哪个版本,这(方法重载)便是静态分派的一个场景了。下面可以介绍静态分派的定义了:所有依赖于静态类型来定位方法执行版本的分派动作称为静态分派。
下面再看另一个代码的例子:
public class Human {
public void sayHello() {
System.out.println("i am human");
}
}
public class Man extends Human{
@Override
public void sayHello() {
System.out.println("i am man");
}
}
public class Woman extends Human{
@Override
public void sayHello() {
System.out.println("i am woman");
}
}
public class FulynDemo {
public static void main(String[] args) {
Human arg1 = new Man();
Human arg2 = new Woman();
arg1.sayHello();
arg2.sayHello();
arg2 = new Man();
arg2.sayHello();
}
}
上述代码执行的结果为:
这段代码显然很容易理解,结果也不会出乎意料,这种在运行期间根据实际类型确定方法执行版本的分派过程,被称为动态分派。