[读书笔记]Java之静态分派

以下内容来自周志明的《深入理解Java虚拟机》。

静态分派和重载有关。

先看代码：

public static void main(String[] args) {
        SuperClass sc = new SubClass();
        SuperClass superClass = new SuperClass();
        test(sc);
        test(superClass);
        test((SubClass)sc);
}
public static void test(SuperClass sc) {
        System.out.println("父类");
}

public static void test(SubClass sc) {
        System.out.println("子类");
}
public class SuperClass {}
public class SubClass extends SuperClass {
}

 

//输出

父类
父类
子类

上面SuperClass称为静态类型，后面的SubClass叫做实际类型，静态类型和实际类型在程序中都可以发生一些变化，区别是静态类型的变化仅仅在使用时发生，变量本身的静态类型不会被改变，并且最终的静态类型是在编译期可知的；而实际类型变化的结果在运行期才可确定，编译器在编译程序的时候并不知道一个对象的实际类型是什么。编译器在重载时通过参数的静态类型而不是实际类型作为判定依据的，在编译阶段，编译器会根据参数的静态类型决定使用哪个重载版本。

　　所有依赖静态类型来定位方法执行版本的分派称为静态分派，静态分派的典型是方法重载。静态分派发生在编译阶段，因此确定静态分派的动作实际上不是由虚拟机来执行的。另外，编译器虽然能确定出方法的重载版本，但在很多情况下这个重载版本并不是“唯一的”，往往只能确定一个“更加合适的”版本。当重载参数并没有正对应的类型的时候，可能会发生装箱操作后再重新选择“更加合适的”版本。

 　　而动态分配和override有关系。