举个例子:
class PF{
}
class PS extends PF{
}
public class App
{
public static void f(PF p){
System.out.println("fulei");
}
public static void f(PS p){
System.out.println("zilei");
}
public static void main( String[] args )
{
PF p = new PS();
f(p);
}
}
上面的调用会执行哪一个重载版本?
结果:fulei
为什么?
这涉及到了虚拟机选择方法版本的问题。专业的术语是“方法分派”。分为静态和动态。静态分派针对的是重载方法,动态分派针对的是重写方法。上面的例子就是静态分派的例子。
对于静态分派,我们说先得了解两个类型的概念
PF p = new PS();
这段代码,里面包含了两个类型。左边的是声明类型也叫静态类型,右边的是实际类型。虚拟机在确定重载版本的时候是按照静态类型来确定的,p的类型是父类,所以会调用参数为父类类型的方法。静态分派只看静态类型,与实际类型没有任何关系。所以静态分派也是在编译期完成的,也即重载方法版本的确定是在编译期就完成了。
而我们更为熟悉的多态是动态分派,虚拟机在编译时不会完成方法版本的确定,具体是在运行时确定的。运行时虚拟机会得到每一个对象的静态类型和实际类型,然后去实际类型的方法区查找方法是否存在,不存在的话再往上查找父类是否存在。当然为了避免每一次都去查找,虚拟机可能会为每一个类型建立一个方法表,里面存储了这个实际类型的方法入口,这样效率更高。