JVM 方法调用之方法分派

JVM 方法调用之方法分派

文章目录

  • JVM 方法调用之方法分派
    • 1.何为分派
    • 2.静态分派
    • 3.动态分派
    • 4.单分派与多分派
    • 5.动态分派的实现

1.何为分派

在上一篇文章《方法调用之解析调用》中讲到了解析调用,而解析调用是一个静态过程,在类加载的解析阶段就确定了方法的直接引用。很明显,其他不满足解析调用的方法调用是如何确定其直接引用的呢,这就涉及到本篇文章所讲的重点概念,分派(Dispatch)。分派即可能是静态的也可能是动态的,根据分派依据的宗量数可分为单分派和多分派。所以两两组合就构成了,静态单分派、静态多分派、动态单分派及动态多分派4种情况。

方法的接受者与方法的参数统称为方法宗量。具体的宗量数如何确定,请往下看。

在往下讲解之前,需要讲明一下两个重要的概念。

Object str = new String()

以上代码中,我们把 Object 称为变量str 的“静态类型”(Static Type)或者“外观类型”(Apparent Type),后面的String 则称之为变量str的“实际类型”(Actual Type)或者“运行时类型”(Runtime Type)。因为静态类型是编译器可知的,而实际类型是在编译器不一定可知,在运行时才能真正完全确定,如下DEMO。

// 在运行前,(new Random()).nextBoolean的值是无法预知的,运行后才可得到具体值
Object obj = (new Random()).nextBoolean ? new String() : new Integer();

2.静态分派

所有依赖静态类型来决定方法调用版本的分派动作,都称为静态分派。

静态分派最典型的应用就是方法重载(Overload),静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行。另外需要注意的是,Javac编译器虽然能确定方法重载的版本,但是很多情况下,这个重载版本并不是唯一的,往往只能确定一个“相对更加合适”的版本。产生这种模糊结论的主要原因就是字面量天生的模糊性,它没有显式的静态类型,它的静态类型只能通过语义、语法规则去历届和推断。

案例代码

public class StaticDispatch {public static void main(String[] args) {say('a');}public static final void say(char c){System.out.println("char");}public static final void say(int c){System.out.println("int");}public static final void say(long c){System.out.println("long");}public static final void say(float c){System.out.println("float");}public static final void say(double c){System.out.println("double");}public static final void say(Character c){System.out.println("Character");}public static final void say(Serializable c){System.out.println("Serializable");}public static final void say(Object c){System.out.println("Object");}public static final void say(char... chars){System.out.println("char...");}}

上述代码,由于 ‘a’ 是一个char类型的数据,所以运行结果为:

char

如果我们将say(char c)方法注释掉,那么 ‘a’ 也可以表示为字符的Unicode编码数值,即97,所以 ‘a’ 也可以表示数字97,此时 ‘a’ 发生了自动类型转换,会选择参数类型为 int 的重载版本,运行结果为:

int

如果此时再将say(int c) 方法注释掉,那么 ‘a’ 将会再发生一次自动类型转换,进一步转型为 long,输出结果如下。同理,相继注释掉后面参数类型为基本类型的重载方法,则会按照 **char > int > long > float > double **的顺序转型匹配,但是不会存在转型至byteshort类型(不安全)。

long

如果将say(long c)say(float c)say(double c)都注释掉,此时 ‘a’ 将会自动装箱为包装类型 Character,所以输出结果为:

Character

如果再将say(Character c) 注释掉,那么此时 ‘a’ 转换为包装类型 Character 后,会转换为其实现的接口,由于 SerializableCharacter 实现的一个接口,所以输出结果为:

Serializable

同理,‘a’ 转换为包装类型 Character 后,会转型为其父类,根据继承关系从下往上找,此时输出结果为:

Object

最后,变长参数的重载优先级是最低的,注释掉其他所有重载方法后,输出结果:

char...

3.动态分派

动态分派发生在运行期间,根据其实际类型确定方法调用版本。

动态分派与Java语言多态性的一个重要体现-重写(Override)关系密切。下面我们先以案例代码结合讲解。

案例代码

public class DynamicDispatch {static abstract class Human{public abstract void say();}static class Man extends Human{@Overridepublic void say() {System.out.println("Man");}}static class Woman extends Human{@Overridepublic void say() {System.out.println("Woman");}}public static void main(String[] args) {Human man = new Man();Human woman = new Woman();man.say();woman.say();}}

运行结果想必都知道:

Man
Woman

但是我们反编译字节码,可以对应的两条方法调用的符号引用(Human.say:()V)都是一样的:

 public static void main(java.lang.String[]);descriptor: ([Ljava/lang/String;)Vflags: (0x0009) ACC_PUBLIC, ACC_STATICCode:stack=2, locals=3, args_size=10: new           #2                  // class com/mytest/project/method/dispatch/DynamicDispatch$Man3: dup4: invokespecial #3                  // Method com/mytest/project/method/dispatch/DynamicDispatch$Man."<init>":()V7: astore_18: new           #4                  // class com/mytest/project/method/dispatch/DynamicDispatch$Woman11: dup12: invokespecial #5                  // Method com/mytest/project/method/dispatch/DynamicDispatch$Woman."<init>":()V15: astore_216: aload_117: invokevirtual #6                  // Method com/mytest/project/method/dispatch/DynamicDispatch$Human.say:()V20: aload_221: invokevirtual #6                  // Method com/mytest/project/method/dispatch/DynamicDispatch$Human.say:()V24: returnLineNumberTable:line 30: 0line 31: 8line 32: 16line 33: 20line 34: 24LocalVariableTable:Start  Length  Slot  Name   Signature0      25     0  args   [Ljava/lang/String;8      17     1   man   Lcom/mytest/project/method/dispatch/DynamicDispatch$Human;16       9     2 woman   Lcom/mytest/project/method/dispatch/DynamicDispatch$Human;MethodParameters:Name                           Flagsargs
}

虽然符号引用一样,但是其真正的调用版本并不相同。所以解决问题的关键,我们可以从 invokevirtual 指令的是如何实现多态查找的过程入手,根据《Java虚拟机规范》,invokevirtual 指令的运行时解析过程大致可分如下几步:

1)将当前线程的操作数栈的栈顶元素指向的对象的实际类型记做C。

2)如果在类型C 中找到与常量中的简单名称和描述符都相同的方法,则进行访问权限效验,如果通过则返回该方法的直接引用;不通过则throws an IllegalAccessError

3)否则,按照继承关系从下往上依次对C的父类进行搜索和权限效验。

4)否则,如果没有找到合适的方法(找到了抽象方法),则会throws an AbstractMethodError

4.单分派与多分派

单分派是根据一个宗量对目标方法进行选择,多分派则是根据多余一个宗量对目标方法进行选择。光从定义上可能难以理解,下面结合案例代码进行讲解。

案例代码

public class Dispatch {static class QQ{}static class _360{}static class Father{public void hardChoice(QQ arg){System.out.println("Father QQ");};public void hardChoice(_360 arg){System.out.println("Father _360");};}static class Son extends Father{public void hardChoice(QQ arg){System.out.println("Son QQ");};public void hardChoice(_360 arg){System.out.println("Son _360");};}public static void main(String[] args) {Father father = new Father();Father son = new Son();father.select(new QQ());  // Dispatch$Father.select:(LQQ;)Vson.select(new _360()); // Dispatch$Father.select:(L_360;)V}}

运行结果:

Father QQ
Son _360

在编译期,也就是静态分派过程中,选择目标方法的依据有两点:一是静态类型是 Father 还是 Son,二是方法参数是 QQ 还是 _360。很显然,这决定了最终产生的方法调用的字面量,因为是根据两个宗量进行分派的,所以在Java语言中静态分派属于多分派类型。

在运行期,也就是动态分派的过程中。实际分派起决定性作用的就是方法接受者的实际类型,因为此时的调用方法的签名已定(select:(LQQ;)V),而唯一需要进行选择的就是方法接受者,所以在Java语言里动态分派属于单分派。

5.动态分派的实现

动态分派是执行非常频繁的动作,而且动态分派的方法调用版本需要运行时在接收者类型的方法元数据中搜索合适的目标方法,因此,JVM 实现基于执行性能的考虑,真正运行时一般不会如此频繁地去反复搜索类型元数据。面对这种情况,一种基础而且常见的优化手段是为类型在方法区中建立一个虚方法表(VirtualMethod Table,也称为vtable,与此对应的,在 invokeinterface 执行时也会用到接口方法表 —— Interface Method Table,简称 itable),使用虚方法表索引来代替元数据查找以提高性能。我们先看看上一节案例代码所对应的虚方法表结构示例,如图所示。

在这里插入图片描述

虚方法表中存放着各个方法的实际入口地址。如果某个方法在子类中没有被重写,那子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的,都指向父类的实现入口。如果子类中重写了这个方法,子类方法表中的地址将会替换为指向子类实现版本的入口地址。Son 重写了来自 Father 的全部方法,因此 Son 的方法表没有指向 Father 类型数据的箭头。但是 Son 和 Father 都没有重写来自 Object 的方法,所以它们的方法表中所有从 Object 继承来的方法都指向了 Object 的数据类型。

为了程序实现上的方便,具有相同签名的方法,在父类、子类的虚方法表中都应当具有一样的索引序号,这样当类型变换时,仅需要变更查找的方法表,就可以从不同的虚方法表中按索引转换出所需的入口地址。方法表一般在类加载的连接阶段进行初始化,准备了类的变量初始值后,虚拟机会把该类的方法表也初始化完毕

方法表是分派调用的“稳定优化”手段,虚拟机除了使用方法表之外,在条件允许的情况下,还会使用内联缓存(Inline Cache)和基于“类型继承关系分析”(Class Hierarchy Analysis,CHA)技术的守护内联(Guarded Inlining)两种非稳定的“激进优化”手段来获得更高的性能。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/312865.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Scala 02——Scala OOP

文章目录 Scala 02——Scala OOP前序类1. 类的基本结构2. 普通类和数据类的区别 继承1. extends2. override 抽象类抽象类的特点 单例对象1. 定义2. 场景3. 方法3.1 方法定义3.2 方法调用 特质1. 抽象类和特质的区别2. 强制混入语法3. 静态混入和动态混入 内部类Java和Scala内部…

大话设计模式之单例模式

单例模式是一种创建型设计模式&#xff0c;它确保类只有一个实例&#xff0c;并提供一个全局访问点来访问该实例。 单例模式通常在以下情况下使用&#xff1a; 当一个类只能有一个实例&#xff0c;并且客户端需要访问该实例时。当该唯一实例需要被公开访问&#xff0c;以便在…

用Skimage学习数字图像处理(021):图像特征提取之线检测(下)

本节是特征提取之线检测的下篇&#xff0c;讨论基于Hough变换的线检测方法。首先简要介绍Hough变换的基本原理&#xff0c;然后重点介绍Skimage中含有的基于Hough变换的直线和圆形检测到实现。 目录 10.4 Hough变换 10.4.1 原理 10.4.2 实现 10.4 Hough变换 Hough变换&…

WebGL 2.0相较于1.0有什么不同?

作者&#xff1a;STANCH 1.概述 WebGL 1.0自推出以来&#xff0c;已成为广泛支持的Web标准&#xff0c;既能跨平台&#xff0c;还免版税。它通过插件为Web浏览器带来高质量的3D图形&#xff0c;这是迄今为止市场上使用最广泛的Web图形&#xff0c;并得到Apple&#xff0c;Goog…

使用SpringBoot将中国地震台网数据保存PostGIS数据库实践

目录 前言 一、数据转换 1、Json转JavaBean 2、JavaBean与数据库字段映射 二、空间数据表设计 1、表结构设计 三、PostGIS数据保存 1、Mapper接口定义 2、Service逻辑层实现 3、数据入库 4、运行实例及结果 总结 前言 在上一篇博客中基于Java的XxlCrawler网络信息爬…

Resilience中的RateLimiter

Resilience中的RateLimiter 一、RateLimiter&#xff08;限流&#xff09;1.常见的限流算法漏桶算法&#xff08;Leaky Bucket&#xff09;令牌桶算法&#xff08;Token Bucket&#xff09;——Spring cloud 默认使用该算法滚动时间窗口&#xff08;tumbling time window&#…

GmSSL-3.1.1编译

1.源码下载&#xff1a; 下载地址&#xff1a;https://github.com/guanzhi/GmSSL/releases选择对应版本下载。 ​ 2.选择要下载的源码包&#xff1a; ​ 2.编译&#xff1a; 2.1 windows编译&#xff1a;打开vs命令行&#xff0c;选择想要编译的版本&#xff0c;x86或x64…

守望先锋2账号注册教程 战网国际服注册守望先锋2账号步骤

守望先锋2账号注册教程 战网国际服注册守望先锋2账号步骤 守望先锋2是一款由暴雪娱乐公司开发的多人第一人称射击游戏&#xff0c;是守望先锋的续作&#xff0c;故事发生在未来&#xff0c;各种英雄为保卫地球而战。守望先锋2是款不断进化的游戏&#xff0c;带来极致的射击体…

【网络】Burpsuite学习笔记

文章目录 1.介绍1.1 正常客户端与服务端通信&BurpSuite代理后1.2 下载激活参考地址1.3 代理设置1.4 Proxy SwitchyOmega 使用1.4.1 新建情景模式1.4.2 设置代理1.4.2 应用选项 1.5 FoxyProxy 使用1.6 安装证书1.6.1 方式一1.6.2 方式二1.6.3 浏览器安装证书1.6.4 或者直接双…

面试突击---MySQL索引

面试突击---MYSQL索引 面试表达技巧&#xff1a;1、谈一下你对于mysql索引的理解&#xff1f;&#xff08;为什么mysql要选择B树来存储索引&#xff09;2、索引有哪些分类&#xff1f;3、聚簇索引与非聚簇索引4、回表、索引覆盖、最左匹配原则、索引下推&#xff08;1&#xff…

MATLAB 点云体素滤波 (58)

MATLAB 体素滤波 (58) 一、基本原理二、算法实现1.代码数据的海量性始终是点云处理时需要面临的一个大问题,严重的时间消耗和内存占用影响了点云处理的发展,当然了,点云数量主要应该看项目的实际需求,若是对细节要求较高,那么点云数量不可过少,但是要求过低时,我们就可…

【NUCLEO-G071RB】003——GPIO-按键控制LED灯

NUCLEO-G071RB&#xff1a;003——GPIO-按键控制LED灯 设计目标电路原理图芯片配置程序修改 设计目标 用输入控制输出&#xff0c;即以蓝色按键B1的输入控制LED4灯的输出 细节&#xff1a; 若判定为按键按下中&#xff0c;则LED灭灯&#xff0c;否则亮灯按键按下和抬起的检查…

怎样将excel的科学计数法设置为指数形式?

对了&#xff0c;这个问题中所谓的“指数形式”是指数学上书写的右上标的指数格式&#xff0c;能不能通过单元格设置来做这个格式的转换呢&#xff1f; 一、几个尝试 以下&#xff0c;以数字123000为例来说明。 情况1.转换成数学上的书写方式&#xff0c;如下图的样子&#x…

Windows 任务计划程序 【不管用户是否登录都要运行】执行时不显示CMD或程序窗口

任务计划程序右侧可以导出xml 「只在用户登录时运行」LogonType&#xff1a;InteractiveToken。 「不管用户是否登录都要运行」LogonType&#xff1a;Password。 用管理员运行CMD &#xff1a;schtasks /change /it /tn "test" 「不管用户是否登录都要运行」Logon…

20240329-1-SVM面试题

SVM面试题 1. SVM直观解释 SVM&#xff0c;Support Vector Machine&#xff0c;它是一种二分类模型&#xff0c;其基本模型定义为特征空间上的间隔最大的线性分类器&#xff0c;间隔最大使它有别于感知机&#xff1b;其还包括核技巧&#xff0c;这使它成为实质上的非线性分类…

vue+element作用域插槽

作用域插槽的样式由父组件决定&#xff0c;内容却由子组件控制。 在el-table使用作用域插槽 <el-table><el-table-column slot-scope" { row, column, $index }"></el-table-column> </el-table>在el-tree使用作用域插槽 <el-tree>…

redis-plus-plus的安装与使用

文章目录 一、安装第一步&#xff1a;安装hiredis第二步&#xff1a;安装redis-plus-plus第三步&#xff1a;将编译后的可执行文件移动到/usr/local对应目录第四步&#xff1a;更新动态库 二、使用第一步&#xff1a;编写示例代码第二步&#xff1a;编译运行 本文参考自 redis-…

JVM垃圾回收与算法

1. 如何确定垃圾 1.1 引用计数法 在 Java 中&#xff0c;引用和对象是有关联的。如果要操作对象则必须用引用进行。因此&#xff0c;很显然一个简单 的办法是通过引用计数来判断一个对象是否可以回收。简单说&#xff0c;即一个对象如果没有任何与之关 联的引用&#xff0c;即…

ENSP防火墙配置策略路由及ip-link探测

拓扑 配置目标 1.A区域走ISP1&#xff0c;B区域走ISP2 2. isp线路故障时及时切换到另一条线路 配置接口及安全区域 配置安全策略 配置nat 配置默认路由 配置ip-link 配置策略路由 cl-1 cl-2 验证配置成功 策略路由 A走ISP1 B走ISP2 验证线路故障 isp1 in g0/0/0 shoutdow…

基于Python的机器学习的文本分类系统

博主介绍&#xff1a;✌程序员徐师兄、7年大厂程序员经历。全网粉丝12w、csdn博客专家、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于Java技术领域和毕业项目实战✌ &#x1f345;文末获取源码联系&#x1f345; &#x1f447;&#x1f3fb; 精彩专栏推荐订阅&#x1f447;…