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

每天进步一点点!

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

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

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

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

1. invokestatic:调用静态方法;

2. invokespecial:调用实例构造方法,私有方法和父类方法;

3. invokevirtual:调用虚方法(除去能够直接解析为直接引用之外的方法,都是虚方法);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    原文作者:java虚拟机
    原文地址: https://blog.csdn.net/wuyuwuqiu/article/details/80837578
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞