java底层调用,Java 方法调用的底层实现

我们写的代码，经过编译、经过类加载的各种阶段，进入了JVM的运行时数据区。

但作为程序员真正关心的是代码的执行，代码的执行其实本质上是方法的执行，站在JVM 的角度归根到底还是字节码的执行。main 函数式 JVM指令执行的起点，JVM 会创建 main线程来执行main函数，以触发JVM一系列指令的执行，真正的把 JVM 跑起来。接着，在我们的代码中，就是方法的调用过程，所以了解方法在 JVM 中的调用是非常有必要的。

方法调用的字节码指令

关于方法的调用，Java 字节码共提供了5个指令，来调用不同类型的方法：

invokestatic 用来调用静态方法

invokespecial 用来调用私有实例方法、构造器及 super 关键字等

invokevirtual 用于调用非私有方法，比如 public 和 protected，大多数方法调用属于这一种

invokeinterface 和上面指令类似，不过作用域接口类

invokedynamic 用来调用动态方法

非虚方法

如果方法在编译期就确定了具体的调用版本，这个版本在运行时是可变的，这样的方法称为非虚方法。

只要能被 invokestatic 和invokespecial 指令调用的方法，都可以在解析阶段中确定唯一的调用版本，Java 语言里符合这个条件的方法共有静态方法、私有方法、实例构造器、父类方法 4 种，再加上被 final 修饰的方法(尽管它使用 invokevirtual 指令调用)，这 5 种方法调用会在类加载的时候就可以把符号引用解析为该方法的直接引用。不需要在运行时再去完成。

invokestatic 用来调用静态方法

这方法调用在编译期间就明确以常量池项的形式固化在字节码指令的参数之中了

invokespecial 用于调用私有实例方法、构造器及 super 关键字等

虚方法

与非虚方法相反，不是虚方法的方法就是虚方法。主要包括以下字节码中的两类

invokevirtual 用于调用非私有实例方法，比如 public 和 protected ，大多数方法调用属于这一类(排除掉被 final 修饰的方法)

invokeinterface 和上面这条指令类似，不过作用于接口类

什么叫做虚引用？就是方法在运行时是可变的。

很多时候，JVM 需要根据调用者的动态类型，来确定调用的目标方法，这就是动态绑定的过程；相对比，invokestatic 指令加上 invokespecial 指令，就属于与静态绑定过程

因为 invokeinterface 指令跟 invokevirtual 类似，只是作用于接口，所以我们只要熟悉 invokevirtual 即可

分派

要了解虚方法方法必须了解一下基础：

Java 是一门面向对象语言，因为 Java 具备面向对象的3个面向对象的 3 个基本特征：继承、封装和多态。

分派调用过程将会解释多态性特性的一些基本的体现，如“重载”和“重写”在Java虚拟机之中是如何实现的。

静态分派

多见于方法的重载。(重载：一个类中允许同时存在一个以上的同名方法，这些方法的参数个数或者类型不同)

“Human”成为变量的静态类型，或者叫做的外观类型，后面“Man”则称为变量的实际类型。静态类型和实际类型在程序中都可以发生一些变化，区别是静态类型的变化仅仅在使用时发生，变量本身的静态类型不会被改变，并且最终的静态类型是在编译器可知的，而实际类型变化的结果在运行期才可确定，编译器在编译程序的时候并不知道一个对象的实际类型是什么。

代码中定义了两个静态类型相同但实际上类型不同的变量，但虚拟机(准确来说是编译器)在重载时是通过参数的静态类型而不是实际类型作为判定依据的。并且静态类型是编译器可知的，因此，在编译阶段，Javac 编译器会根据参数的静态类型决定使用哪个重载版本，所以选择了sayHello(Human)作为调用目标。所有依赖静态类型来定位方法的执行版本的分派动作称为静态分派。

静态分派的典型应用是方法重载。静态分派发生在编译阶段，因此确定静态分派的动作实际上不是由虚拟机来执行的

代码运行结果如下：

总结：例子很简单，方法会根据你送入的参数有不同的表现形式，这个就是分派

动态分派

多见于方法的重写。(重写：在子类中将父类的成员方法的名称保留，重新编写成员方法的实现内容，更改方法的访问权限，修改返回类型的为分类返回类型的子类)

重写也是使用 invokevirtual 指令，只是这个时候具备多态性。

invokevirtual 指令有多态查找的机制，该指令运行时，解析过程如下：

找到操作数栈的第一个元素所指向的对象实际类型，记做c；

如果在类型 C 中找到与常量中描述符和简单名称都相符的方法，则进行访问权限效验，如果通过访问这个方法直接引用，查找过程结束，不通过则返回 java.lang.IllegalAccessError;

否则按照继承关系从下往上依次对 C 的各个父类第二步的搜索与验证过程

如果始终没有找到合适的方法，则抛出java.lang.AbstractMethodError 异常，这就是 Java 语言中方法重写的本质

方法表

动态分派会执行非常频繁的动作，JVM 运行是会频繁、反复的去搜索元数据，所以 JVM 使用了一种优化手段，这个就是在方法区建立一个虚方法表。使用虚方法表索引来替代元数据查找以提高性能。

在现实上，最常用的手段就是在类的方法区建立一个常用的索引表。虚方法表中存放各个方法的实际入口地址。如果某个方法在子类中没有被重写，那子类的虚方法表里面的地址入口和父类的入口方法是一致的，都指向父类的执行入口。如果子类执行了这个方法，子类方法表中的地址就会被替换为指向子类实现版本入口地址

接口调用

invokeinterface 和 invokevirtual 指令类似， 不过作用于接口类；

Lambda 表达式

invokedynamic 这个字节码是比较复杂。 和反射类似， 它用于一些动态的调用场景， 但它和反射有着本质的不同， 效率也比反射要高得多。