深入理解JAVA虚拟机学习笔记27——字节码执行引擎(方法调用)

每天进步一点点！

这里说的方法调用阶段的任务并不是执行过程，而是确定方法运行时的入口地址。

前面我们已经学习过，在Class文件的常量池中，类型为CONSTANT_Methodref_info的，存储的就是方法信息，并最终指向方法的符号引用。

对于方法调用，首先要进行的就是解析，这个其实在前面我们已经有了一些涉及，虚拟机提供了五条字节码指令，用于方法调用，我们再来回顾一下。

1. invokestatic：调用静态方法；

2. invokespecial：调用实例构造方法，私有方法和父类方法；

3. invokevirtual：调用虚方法（除去能够直接解析为直接引用之外的方法，都是虚方法）；

4. invokeinterface：调用接口方法，在运行时再确定一个实现此接口的对象；

5. invokedynamic：在运行时动态解析出调用点限定符所引用的方法之后，调用该方法；

解析是一个纯静态的过程，与解析相对的还有一个既包含静态过程又包含动态过程的的调用——分派。

分派又分为静态分派，动态分派，单分派和多分派。

1. 静态分派：发生在编译阶段。

在这个阶段存在的一个问题就是自动转型：当调用一个方法的时候，如果传入的参数与方法列表中不能完全匹配的时候，那么程序会如何处理呢？

首先，按照char>int>long>flaot>double进行一次向上转型（向上转型是安全的，不会造成数据丢失），寻找最近的一种类型进行匹配。

如果没有找到，会查看是否存在该数据类型封装类型（Character，Integer，Long，Float，Double）。

这里有一点需要特别注意：可变长参数（methodA(String... obj)）的重载优先级是最低的，笔者就曾经遇到过这个bug。

如下图所示，当用一个固定参数重载了另一个可变长参数的方法的时候，把原方法覆盖了，找了很长时间，关键是还不报错，真的坑（一般主要出现在多个同事共同开发的时候）！

并且有一些单个参数能自动转型，在可变长方法中是不成立的，笔者怀疑，以后边长方法会不会不建议使用呢？用对象传参也很好啊！

2. 动态分派：其实这个笔者认为完全可以对应到动态绑定中的内容，主要执行的是invokevirtual指令，大致步骤如下：

2.1 找到操作数栈顶的第一个元素所指向的对象的实际类型，记作C。

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

2.3 否则未找到，就按照继承关系从下往上依次对类型C的各个父类进行第2步的搜索和验证过程。

2.4 如果始终没有找到合适的方法，则跑出java.lang.AbstractMethodError异常。

3. 单分派：Java中的动态分派都属于单分派。

当执行动态分派的时候，虚拟机能够根据目标方法的签名确定唯一的方法。

4. 多分派：Java中的静态分派属于多分派。

喜欢文章或想一起学习的朋友可以关注我，给我点赞，我将会持续更新，有什么疑问或文中有不当之处请给我留言，真诚地希望能与大家一起交流探讨，学习进步！