【Java】方法类型 确定

举个例子：

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的类型是父类，所以会调用参数为父类类型的方法。静态分派只看静态类型，与实际类型没有任何关系。所以静态分派也是在编译期完成的，也即重载方法版本的确定是在编译期就完成了。

而我们更为熟悉的多态是动态分派，虚拟机在编译时不会完成方法版本的确定，具体是在运行时确定的。运行时虚拟机会得到每一个对象的静态类型和实际类型，然后去实际类型的方法区查找方法是否存在，不存在的话再往上查找父类是否存在。当然为了避免每一次都去查找，虚拟机可能会为每一个类型建立一个方法表，里面存储了这个实际类型的方法入口，这样效率更高。