JVM系列-方法调用的原理
JVM系列-方法调用的原理
最近重新看了一些JVM方面的笔记和资料,收获颇丰,尤其解决了长久以来心中关于JVM方法管理的一些疑问。下面介绍一下JVM中有关方法调用的知识。
目的
方法调用,目的是选择方法正确的执行版本,也就是找到方法的入口地址。
方法调用指令
方法调用的字节码指令一共有五种,分别是:
- invokestatic:
- 类方法:static
- invokespecial:
- 方法:实例构造器
- 私有方法:private
- 父类中的方法
- invokevirtual
- 虚方法
- final修饰的方法
- invokeinterface
- 接口方法
- invokedynamic
- 用于动态语言支持
方法分类
非虚方法:
- 特点:
- 在类加载时期,有些方法的调用版本已经能够确定,在类加载-解析阶段,把这些方法的符号引用替换为直接引用(即入口地址)。
- 包括:
- 类方法
- 方法
- 私有方法
- 父类中的方法
- final方法
即由invokestatic、invokespecial指令调用的方法,以及final修饰的方法,属于非虚方法
虚方法:
- 特点:
- 在类加载时期,无法确定方法最终的调用版本
- 包括:
- 非非虚方法
即由invokevirtual调用的方法,除了final修饰的之外,都是虚方法
调用方式
解析
- 定义:对于非虚方法,在类加载的时候已经能确定这些方法的调用版本,在类加载的解析阶段把符号引用替换为直接引用,就是方法的入口地址
- 范围:非虚方法
分派
静态分派
- 定义:在编译期,根据方法涉及的引用类型(包括参数列表的引用类型和方法的调用者的引用类型)来确定方法调用的(初步)版本,并把相应的符号引用放在字节码指令中,这个步骤叫做静态分派
- 范围:虚方法、非虚方法
- 应用:方法的重载
动态分派
- 定义:在运行时,根据对象的实际类型来确定方法的调用版本,这个步骤叫做动态分派
- 范围:虚方法
- 应用:方法的重写
- 原理:
- 方法调用的部分字节码指令:
- aload:在调用方法时,总是有该指令将实际类型的对象引用入栈
- 加载方法参数
- invoketual
- 先在栈顶取到实际类型的对象引用
- 根据方法的符号引用在本类中寻找,找不到的话依次向上在父类中找该方法
- 优化实现:在虚拟机中,虚方法表是动态分派的一种优化实现
- 虚方法表:
- 定义:类信息的一种,在类加载-准备阶段完成初始化,存放在方法区
- 特点:
- 虚方法表中存储方法的入口地址
- 子类中继承但未重写的方法,在子类的虚方法表中存放的入口地址,就是父类的虚方法表中的入口地址,指向父类的实现
- 在父子类中,相同符号引用的方法(重写)的方法,其在各自虚方法表中的索引相同
- 解释动态分派:
- 根据字节码指令的符号引用,找到该方法在父类虚方法表中的索引
- 切换到实际类型的虚方法表,通过该索引,找到方法的入口地址
- 虚方法表:
- 方法调用的部分字节码指令:
总结
主要内容在于方法调用的方式,即如何找到方法的入口地址的过程。
在这三种方式中,静态分派发生在编译期,解析发生在类加载时,动态分派发生在运行时。针对三者作用对象的不同可知,静态分派是可以和解析或动态分派同时发生的,如类方法依然可以重载,重写的方法也可以重载。但解析和动态分派是不可共存的。
以上是我的分享,如有疑问或错误,请指出,一起学习。
参考
《深入理解Java虚拟机_JVM高级特性与最佳实践-第3版》
JVM系列-方法调用的原理的更多相关文章
- 深入探究JVM之方法调用及Lambda表达式实现原理
@ 目录 前言 正文 解析 分派 静态分派 动态分派 单分派和多分派 动态分派的实现 Lambda表达式的实现原理 MethodHandle 总结 前言 在最开始讲解JVM内存结构的时候有简单分析过方 ...
- 以方法调用的原理解释Ruby中“puts ‘Hello‘”
这里尽管缺少消息发送所需要的点(.)以及该消息的显示接收者,却依然发送了消息puts并传递了参数“Hello”给一个对象:默认对象self.在程序运行期间,虽然作为self的对象通过特定规则发生改变, ...
- Spring杂谈 | 从桥接方法到JVM方法调用
前言 之所以写这么一篇文章是因为在Spring中,经常会出现下面这种代码 // 判断是否是桥接方法,如果是的话就返回这个方法 BridgeMethodResolver.findBridgedMetho ...
- Java方法调用机制
最近在编程时,修改方法传入对象的对象引用,并没有将修改反映到调用方法中.奇怪为什么结果没有变化,原因是遗忘了Java对象引用和内存分配机制.本文介绍3个点: ① 该问题举例说明 ② 简要阐述Java内 ...
- 聊聊 C# 中的多态底层 (虚方法调用) 是怎么玩的
最近在看 C++ 的虚方法调用实现原理,大概就是说在 class 的首位置存放着一个指向 vtable array 指针数组 的指针,而 vtable array 中的每一个指针元素指向的就是各自的 ...
- JVM方法调用
当我们站在JVM实现的角度去看方法调用的时候,我们自然会想到一种分类: 1.编译代码的时候就知道是哪个方法,永远不会产生歧义,例如静态方法,private方法,构造方法,super方法. 2.运行时才 ...
- java方法调用之动态调用多态(重写override)的实现原理——方法表(三)
上两篇篇博文讨论了java的重载(overload)与重写(override).静态分派与动态分派.这篇博文讨论下动态分派的实现方法,即多态override的实现原理. java方法调用之重载.重写的 ...
- JVM(十二):方法调用
JVM(十二):方法调用 在 JVM(七):JVM内存结构 中,我们说到了方法执行在何种内存结构上执行:Java 方法活动在虚拟机栈中的栈帧上,栈帧的具体结构在内存结构中已经详细讲解过了,下面就让我们 ...
- JAVA的List接口的remove重载方法调用原理
前言 说真的,平常看源码都是自己看完自己懂,很少有写出来的冲动. 但是在写算法的时候,经常用到java中各种集合,其中也比较常用到remove方法. remove有重载函数,分别传入参数是索引inde ...
随机推荐
- 如何解析json格式的字符串
package com.json; import java.util.ArrayList; import java.util.HashMap; import java.util.List; impor ...
- MySQL 性能优化之慢查询
性能优化的思路 首先需要使用慢查询功能,去获取所有查询时间比较长的SQL语句 其次使用explain命令去查询由问题的SQL的执行计划(脑补链接:点我直达1,点我直达2) 最后可以使用show pro ...
- 使用Applescript、Automator和AfredWorkflow实现流式工作
重要:本文不会提供标题中三个工具的详细使用教程,只会对它们的进行简要的介绍.更高妙的使用技巧读者应自行钻研. 参考资料: 两个关于Applescript和Automator使用的PDF:https:/ ...
- .Net Core Configuration Etcd数据源
前言 .Net Core为我们提供了一套强大的Configuration配置系统,使用简单扩展性强.通过这套配置系统我们可以将Json.Xml.Ini等数据源加载到程序中,也可以自己扩展其他形 ...
- oracle不足位数补零的实现sql语句
select rpad('AAA',5,'0') from dual; 这样就可以了 [注意] 1.'AAA'为待补字符:5表示补齐后的总字符长度:0表示不足时补什么字符 2.rpad是右侧补0,左侧 ...
- jquery入门(1)
1.jQuery简介 jQuery是一个快速.简洁的JavaScript框架,倡导写更少的代码,做更多的事情 jquery官方网站 jquery中文文档 1.1.简单函数封装 根据id.类名称来获取元 ...
- SQL语句中where 1=1的意义
我们在看别人项目的时候,很多时候看到这样的SQL语句: select * from user where 1=1 其中这个where1=1是有特殊意义的,包含以下两种情境:动态SQL拼接和查询表结构. ...
- C# Thread、lock
class Program { private static readonly object obj = new object(); static void Main(string[] args) { ...
- Java 添加、提取PDF中的图片
Spire.Cloud.SDK for Java提供了PdfImagesApi接口可用于添加图片到PDF文档addImage().提取PDF中的图片extractImages(),具体操作步骤和Jav ...
- SqueezeNet/SqueezeNext简述 | 轻量级网络
SqueezeNet系列是比较早期且经典的轻量级网络,SqueezeNet使用Fire模块进行参数压缩,而SqueezeNext则在此基础上加入分离卷积进行改进.虽然SqueezeNet系列不如Mob ...