笔记-Java基础之方法调用

    方法调用并不等同于方法执行，方法调用阶段唯一的任务就是确定被调用方法的版本（即调用哪一个方法），暂时还不涉及方法内部的具体运行过程。在程序运行时，进行方法调用是最普遍，最频繁的操作，但前面已经讲过，Class文件的编译过程中不包含传统编译中的链接步骤，一切方法调用在Class文件里面存储的都只是符号引用，而不是方法在实际运行时内存布局中的入口地址（相当于之前说的直接引用）。这个特性给Java带来了更强大的动态扩展能力，但也使得Java方法调用过程变的相对复杂起来，需要在类加载期间，甚至到运行期间才能确定目标方法的直接引用。

解析

    所有方法调用中的目标方法在Class文件里面都是一个常量池的符号引用，在类加载的解析阶段，会将其中一部分符号引用转化为直接引用，这种解析能成立的前提是：方法在程序真正运行之前就有一个可确定的调用版本，并且这个方法的调用版本在运行期是不可改变的。换句话说，调用目标在程序代码写好、编译器进行编译时就必须确定下来。这类方法的调用称为解析。

    在Java语言中符合“编译期可知，运行期不可变”这个要求的方法，主要包括静态方法和私有方法两大类，前者与类型直接关联，后者在外部不可被访问，这两种方法各自特点决定了它们都不可能通过继承或别的方式重写其他版本，因此它们都适合在类加载阶段进行解析。

    与之相对应的是，i在Java虚拟机里面提供了5条方法调用字节码指令，分别如下。

invokestatic：调用静态方法。

invokespecial：调用实例构造器<init>方法、私有方法和父类方法。

invokevirtual：调用所有的虚方法。

invokeinterface：调用接口方法，会在运行时在确定一个实现此接口的对象。

invokedynamic：现在运行时动态解析出调用点限定符所引用的方法，然后在执行该方法，在此之前的4条调用指令，分派逻辑是固化在Java虚拟机内部的，而invokedynamic指令的分派逻辑是由用户所设定的引导方法决定的。

    只要能被invokestatic和invokespecial指令调用的方法，都可以再解析阶段中确定唯一的调用版本，符合这个条件的有静态方法，私有方法，实例构造器、父类方法4类，它们在类加载的时候就会把符号引用解析为该方法的直接引用。这些方法称为非虚方法，与之相反，其他方法称为虚方法（除去final方法，后文会提到）。

   虽然final是使用invokevirtual指令来调用的，但是由于它无法被覆盖，没有其他版本，所以也无须对方法接受者进行多态选择，又或者说多态选择的结果肯定是唯一的。在Java语言规范中明确说明了final方法是一种非虚方法。

    解析调用一定是个静态的过程，在编译器就完全确定，在类装载的解析阶段就会把涉及的符号引用全部转变为可确定的直接引用，不会延迟到运行期再去完成。而分派（Dispatch）调用则可能是静态的也可能是动态的，根据分派依据的宗量数可分为单分派和多分派。这两类分派方式的两两组合就构成了静态单分派、静态多分派、动态单分派、动态多分派4种分派组合情况。

分派

    静态分派

我们分析一下上面的输出结果，下面代码中：

Human man = new Man();

    我们把上面代码中的"Human"称为变量的静态类型（Static Type），或者叫做外观类型（Apparent Type）,后面的"Man”称为变量的实际类型（Actual Type）,静态类型和实际类型在程序汇总都可以发生一些变化，区别是静态类型是在编译期可知的；而实际类型变化的结果在运行期才可确定，编译器在编译程序的时候并不知道一个对象的实际类型是什么。例如下面的代码：

//实际类型变化

Human man = new Man();

man = new Woman();

//静态类型变化

sr.sayHello((Man)man);

sr.saryHello(Woman)man);

    在方法接受者已经确定是对象“sr”的前提下，使用哪个重载版本，就完全取决于传入参数的数量和数据类型。代码中刻意地定义了两个静态类型相同但实际类型不同的变量，但虚拟机（准确地说是编译器）在重载时时通过参数的静态类型而不是实际类型作为判断依据的。并且静态类型是编译期可知的，因此在编译阶段，Javac编译器会根据参数的静态类型决定使用哪个重载版本，所以选择了sayHello（Human）作为调用目标，并把这个方法的符号引用写到main（）里的invokevirtual指令的参数中。

    所以依赖静态类型来定位方法执行版本的分派动作称为静态分派，静态分派的典型应用是方法重载。

动态分派

    

    显然这里导致不可能再根据静态类型来决定，因为静态类型同样都是Human的两个变量。导致这个现象的原因很明显，是这两个类型的实际类型不同。