JVM如何确定方法调用

2024-06-12 13:12
文章标签 jvm 调用 确定 方法 java

本文主要是介绍JVM如何确定方法调用，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

方法调用并不等同于方法执行，方法调用阶段唯一的任务就是确定调用哪一个方法，不涉及方法内部的具体运行过程。在程序运行时，进行方法调用是最普遍、最频繁的操作，但Class文件的编译过程中不包含传统编译中的连接步骤，一切方法调用只是符号引用，而不是方法在实际运行时内存布局中的入口地址（相当于之前所说的直接引用）。这个特性给Java带来了更强大的动态扩展能力，但也使得Java方法的调用过程变得相对复杂起来，需要在类加载期间甚至到运行期间才能确定目标方法的直接引用。好比多态

了解JVM如何确定方法的调用能够帮助我们去更加深入认识Java多态，在了解JVM如何确定方法调用之前，我们需要先声明两个概念名词：解析、分派。
声明：以下的内容适用于JDK8及更小版本，高版本并未实验所以不提供高版本的参考依据

1.解析

如果一个方法在编译器就可以确定调用的哪个方法→也就是调用目标在程序代码写好、编译器进行编译时就必须确定下来，这类方法的调用称为解析。这类方法再类加载的时候就会把方法的符号引用转换为方法的直接引用地址。

这类方法JVM提供了两条方法调用字节码指令：

  1. invokestatic：调用静态方法
  2. invokesepecial：调用特殊方法(调用实例构造方法<init>，私有方法，和父类方法)
    静态方法：因为静态方法更多被我们称为类方法，它是属于类的，所以一旦通过类去调用其静态方法是能够确定一个唯一的方法的。

特殊方法：

  • 构造方法是属于一个类的，且可以通过以下方法调用：this()、子类的super()、new Construct()，不管是哪种调用，都是能够确定到某一个类的构造方法的。
  • 私有方法是不能被子类重写的同时不能被外部调用，因为子类访问不了被private修饰的方法，所以访问不了也就无法重写(即使强制重写也会被编译器提示)。所以一个私有方法的调用是能够确定一个唯一方法的。
  • 父类方法调用能确定唯一一个方法是因为一个类只能继承一个父类，所以如果调用super.xxx()那么就能确定调用一个父类的xxx方法

除了上面的两个方法调用字节码外还需要注意的是final方法属于invokevirtual方法，但是又因为它无法被覆盖→实现多态，或者说对于多态的选择的结果是唯一的，所以final并不是虚方法，且可以再编译器就可以将符号引用转换为直接引用。

2.分派

除了解析这个概念，还有一个概念是分派，我们知道解析就是再编译器就确定方法的引用，而分派则是即可能是静态也可能是动态，它是根据宗量数可分为单分派和多分派。每种分派有可以分为静态和动态，所以一共有4种。分派将会揭露多态性的特征的一些最基本的体现，如重载，重写。

  • 宗量：方法的接收者与方法的参数的统称。
  • 宗量数：一次方法调用中未知具体引用的数量。

静态分派

静态分派（Static Dispatch）是指在编译时确定方法或函数调用的实际执行版本。在静态分派中，编译器根据引用对象的静态类型（即声明时的类型，而不考虑对象的运行时类型）来确定调用哪个方法或函数。

  • 静态分派的一个典型应用场景是方法重载（Overloading）。方法重载中，编译器会根据方法参数的静态类型来选择调用哪个版本的方法。虽然在编译时就确定了调用的方法，但实际执行的是符合参数动态类型的版本。
  • 编译器在选择静态分派目标时会根据静态类型的优先级来决定重载的，在一些情况下编译器虽然能确定出方法的重载版本，但是当重载版本不唯一时，往往只能确定一个更加合适的版本。一个字面量的的静态类型只能通过语言上的规则去理解和推断。

方法重载案例

如下我们通过重载来演示静态分派选择方法调用。我们定义一个父类Human，同时两个类同时继承这个Human，当我们调用sayHello方法时，无论实际类型是Man还是Woman，最终调用的都是以Human类型为参数的sayHello方法。所以静态分派是能够在编译期间就能确定方法的调用的。

public class StaticDispatch {static abstract class  Human {}static class Man extends Human {}static class Woman extends Human {}public void sayHello(Human human) {System.out.println("hello,human");}public void sayHello(Man man) {System.out.println("hello,man");}public void sayHello(Woman woman) {System.out.println("hello,woman");}public static void main(String[] args) {Human man = new Man();Human woman = new Woman();StaticDispatch sc = new StaticDispatch();sc.sayHello(man);        // 最终输出 hello,humansc.sayHello(woman);        // 最终输出 hello,human}
}

更加合适版本推断

如下的代码就是当一个输入在选择重载方法时有多种选择时，会如何选择更加版本的案例。

  • 下面的代码执行时会选择char类型的重载版本，当注释了char类型的方法，会执行int类型，…
  • 主要遵循的优先级就是char->int->long->Character->Serializable->Object->char…
    • 可以看出可变参的优先级最低，需要注意的是，Character的实现接口还有一个Comparable，所以当Serializable和Comparable两个类型的重载都出现时，编译器会拒绝编译，因为它猜不出来你想重载哪一个方法。除非你在调用方法时指定类型->sayHello((Serializable)‘a’);

public class Overload {public static void sayHello(Object arg) {System.out.println("hello,Object");}public static void sayHello(int arg) {System.out.println("hello,int");}public static void sayHello(long arg) {System.out.println("hello,long");}public static void sayHello(Character arg) {System.out.println("hello,Character");}public static void sayHello(char arg) {System.out.println("hello,char");}public static void sayHello(char... arg) {System.out.println("hello,char ...");}public static void sayHello(Serializable arg) {System.out.println("hello,Serializable");}public static void main(String[] args) {sayHello('a');}}

动态分派

动态分派（Dynamic Dispatch）是指在运行时根据对象的实际类型来确定调用哪个方法或函数的版本。在动态分派中，方法的实际执行版本是根据对象的运行时类型来决定的，而不是根据编译时类型。动态分派通常与面向对象编程中的多态性相关联。

动态分派的工作原理是：当调用一个方法时，虚拟机会首先检查对象的实际类型，然后根据该类型确定调用哪个方法版本。这种机制使得程序能够根据对象的实际状态动态地选择执行的方法，从而实现多态性。

方法重写

动态分派的一个典型应用场景是方法重写（Overriding）。在方法重写中，子类可以重写父类的方法，当调用该方法时，实际执行的是子类中的版本，而不是父类中的版本。

接下来的案例将会展示动态分派在方法重写中的案例，当一个Human父类，被Man和Woman继承后，被重写sayHello方法，当我们分别new Man和Woman对象时，去调用sayHello方法，实际上调用的就是对象的实际类型的重写后的sayHello方法

public class DynamicDispatch {static abstract class Human {protected abstract void sayHello();}static class Man extends Human {@Overrideprotected void sayHello() {System.out.println("hello man");}}static class Woman extends Human {@Overrideprotected void sayHello() {System.out.println("hello woman");}}public static void main(String[] args) {Human man = new Man();Human woman = new Woman();man.sayHello(); // out: hello manwoman.sayHello(); // out: hello womanman = new Woman();man.sayHello(); // out: hello woman}}
JVM如何知道要调用的是哪个类型的方法

我们可以通过字节码去了解JVM是如何知道我们要调用的方法的。

new #2 <xxx/DynamicDispatch$Man>
dup
invokespecial #3 <xxx/DynamicDispatch$Man.<init> : ()V>
astore_0
new #4 <xxx/DynamicDispatch$Woman>
dup
invokespecial #5 <xxx/DynamicDispatch$Woman.<init> : ()V>
astore_1
aload_0
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
aload_1
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
new #4 <xxx/DynamicDispatch$Woman>
dup
invokespecial #5 <xxx/DynamicDispatch$Woman.<init> : ()V>
astore_0
aload_0
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
return

实际调用方法的指令为invokevirtual，造成两个对象man和woman的调用结果不一样的原因就是invokevirtual的多态查找过程：

  1. 找到操作数栈顶的第一个元素所指向的对象的实际类型，记作C
  2. 如果在类型C种找到与常量种描述符和简单名称都符合的方法，则进行访问权限校验，如果通过则返回这个方法直接引用，查找过程结束，不通过则返回java.lang.IllegalAccessError异常
  3. 否则，按照继承关系从下往上一次对C的各个父类进行第二步的搜索和验证。
  4. 如果始终没有找到合适的方法，则抛出java.lang.AbstractMethodError异常。

可以从第一步中看出，因为两个对象的实际类型不一样，从而找到了两个方法的重写的直接引用返回。我们将这个运行期根据实际类型确定方法版本的分派称为动态分派

单分派与多分派

根据分派基于多少种宗量，可以将分派分为单分派和多分派。宗量的概念我们在前面提到过。

  • 单分派：根据一个宗量对目标方法进行选择。
  • 多分派：根据多于一个的宗量对目标方法进行选择。

通过如下代码可以确定：

  • 编译阶段编译器的选择过程，即静态分派的过程。这时候选择目标方法的依据有两点：一是静态类型是Father还是Son,二是方法参数是Man还是Woman。这次选择结果的最终产物是产生了两条指令，参数分别为常量池中指向Father.hardChoice(Man)及Father.hardChoice(Woman)方法的符号引用。因为是根据两个宗量进行选择，所以Java语言的静态分派属于多分派类型。
  • 运行阶段虚拟机的选择，即动态分派的过程。在执行son.hardChoice(new Man())这句代码时，由于编译期已经决定目标方法的签名必须为hardChoice(Man)，因为在传递参数的时候就已经确定了一个重载方法(因为参数的静态类型Man)，唯一可以影响虚拟机选择的因素只有此方法的接收者的实际类型是Father还是Son。因为只有一个宗量作为选择依据，所以Java语言的动态分派属于单分派类型。
public class Dispatch {static class Man{}static class Woman{}public static class Father {public void hardChoice(Man arg) {System.out.println("father choose man");}public void hardChoice(Woman arg) {System.out.println("father choose woman");}}public static class Son extends Father{@Overridepublic void hardChoice(Man arg) {System.out.println("son choose man");}@Overridepublic void hardChoice(Woman arg) {System.out.println("son choose woman");}}public static void main(String[] args) {Father father = new Father();Father son = new Son();father.hardChoice(new Woman());// out:father choose womanson.hardChoice(new Man());// out:son choose man}}

虚拟机动态分派的实现

动态分派是非常频繁的动作，而且动态分派的方法版本选择过程需要运行时在类的方法元数据中搜索合适的目标方法
所以虚拟机在实际现实中基于性能考虑，大部分实现都不会真的进行如此频繁的搜索。
最常用的"稳定优化"手段就是为类在方法区建立一个虚方法表(vtable->Virtual Method Table)。与此对应在invokeinterface执行时也会用到接口的方法表–Interface Method Table，检查itable，使用虚方法表索引来替代元数据查找以提高性能。
在这里插入图片描述

  • 虚方法表存放着各个方法的实际入口地址，如果某个方法在子类中没有被重写，那么子类的虚方法表中的地址入口会和父类的地址入口一致。若重写了，则子类指向重写的现实版本的入口地址。
    • 如图Son重写了的两个方法指向了Son的类型数据，而Father类指向了Father的类型数据，并且Son和Father都继承自Object但并没有重写其方法，所以方法都指向了Object类型数据。
  • 方法表一般在类加载的连接阶段进行初始化，准备了类的变量初始值后，虚拟机会把该类的方法表也初始化完毕。
  • JVM除了使用方法表这种"稳定优化"的手段外，还会使用内联缓存和基于类型继承关系分析(CHA)技术的守护内联两种稳定的"激化优化"来获取更高的性能。

内联缓存和机遇类型继承关系分析技术守护内联

由于本篇主要是介绍分派的实现原理，并不展开讲内联缓存和基于类型继承关系分析(CHA)技术的守护内联，所以只做解释

内联缓存（Inline Cache）
  • 这是一种用于提高方法调用性能的技术。在Java中，方法调用通常是通过虚方法表（Virtual Method Table，VMT）实现的，即在运行时根据对象的实际类型来确定调用哪个方法。然而，这种动态的方法调用会带来一定的性能开销。
  • 为了提高方法调用的性能，JVM会对频繁调用的方法做内联优化。内联是将被调用的方法的字节码直接嵌入到调用处，避免了方法调用的开销。而内联缓存则用于缓存已经内联的方法的调用位置和目标方法，以便在下次调用时能够快速定位并直接执行目标方法，而不需要再次查找虚方法表。

内联缓存的优点在于能够减少方法调用的开销，提高程序的性能。然而，它也存在一定的限制，例如内联缓存的大小和命中率会影响性能，过大的缓存可能会导致内存占用过多。

基于类型继承关系分析(CHA)技术的守护内联(Guarded Inlining)
  • 这是一种静态分析技术，用于分析程序中类之间的继承关系。通过CHA分析，JVM可以在编译时确定方法调用的可能的接收者类型，并根据这些信息进行优化。
  • 守护内联是基于CHA分析的一种优化技术，它通过判断方法调用的接收者类型是否唯一，以及方法是否被重写等信息，来确定是否进行内联优化。如果接收者类型唯一，并且方法未被重写，则可以安全地进行内联优化。否则，可能需要保留动态调度的方式来处理。

守护内联的优点在于可以根据静态分析的结果来进行更加精确的内联决策，提高内联的命中率和性能。然而，它也需要进行更复杂的分析和判断，可能会增加编译器的复杂度和开销。

这篇关于JVM如何确定方法调用的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1054314。

相关文章

问题：第一次世界大战的起止时间是 #其他#学习方法#微信

问题：第一次世界大战的起止时间是 #其他#学习方法#微信

问题：第一次世界大战的起止时间是 A.1913 ~1918 年 B.1913 ~1918 年 C.1914 ~1918 年 D.1914 ~1919 年 参考答案如图所示
阅读更多...
Java五子棋之坐标校正

Java五子棋之坐标校正

上篇针对了Java项目中的解构思维，在这篇内容中我们不妨从整体项目中拆解拿出一个非常重要的五子棋逻辑实现：坐标校正，我们如何使漫无目的鼠标点击变得有序化和可控化呢？ 目录 一、从鼠标监听到获取坐标 1.MouseListener和MouseAdapter 2.mousePressed方法 二、坐标校正的具体实现方法 1.关于fillOval方法 2.坐标获取 3.坐标转换 4.坐
阅读更多...
Spring Cloud：构建分布式系统的利器

Spring Cloud：构建分布式系统的利器

引言 在当今的云计算和微服务架构时代，构建高效、可靠的分布式系统成为软件开发的重要任务。Spring Cloud 提供了一套完整的解决方案，帮助开发者快速构建分布式系统中的一些常见模式（例如配置管理、服务发现、断路器等）。本文将探讨 Spring Cloud 的定义、核心组件、应用场景以及未来的发展趋势。 什么是 Spring Cloud Spring Cloud 是一个基于 Spring
阅读更多...
[word] word设置上标快捷键 #学习方法#其他#媒体

[word] word设置上标快捷键 #学习方法#其他#媒体

word设置上标快捷键 办公中，少不了使用word，这个是大家必备的软件，今天给大家分享word设置上标快捷键，希望在办公中能帮到您！ 1、添加上标 在录入一些公式，或者是化学产品时，需要添加上标内容，按下快捷键Ctrl+shift++就能将需要的内容设置为上标符号。 word设置上标快捷键的方法就是以上内容了，需要的小伙伴都可以试一试呢！
阅读更多...
Javascript高级程序设计(第四版)--学习记录之变量、内存

Javascript高级程序设计(第四版)--学习记录之变量、内存

原始值与引用值 原始值：简单的数据即基础数据类型，按值访问。 引用值：由多个值构成的对象即复杂数据类型，按引用访问。 动态属性 对于引用值而言，可以随时添加、修改和删除其属性和方法。 let person = new Object();person.name = 'Jason';person.age = 42;console.log(person.name,person.age);//'J
阅读更多...
java8的新特性之一（Java Lambda表达式）

java8的新特性之一（Java Lambda表达式）

1：Java8的新特性 Lambda 表达式： 允许以更简洁的方式表示匿名函数（或称为闭包）。可以将Lambda表达式作为参数传递给方法或赋值给函数式接口类型的变量。 Stream API： 提供了一种处理集合数据的流式处理方式，支持函数式编程风格。 允许以声明性方式处理数据集合（如List、Set等）。提供了一系列操作，如map、filter、reduce等，以支持复杂的查询和转
阅读更多...
大学湖北中医药大学法医学试题及答案，分享几个实用搜题和学习工具 #微信#学习方法#职场发展

大学湖北中医药大学法医学试题及答案，分享几个实用搜题和学习工具 #微信#学习方法#职场发展

今天分享拥有拍照搜题、文字搜题、语音搜题、多重搜题等搜题模式，可以快速查找问题解析，加深对题目答案的理解。 1.快练题 这是一个网站 找题的网站海量题库,在线搜题,快速刷题~为您提供百万优质题库,直接搜索题库名称,支持多种刷题模式:顺序练习、语音听题、本地搜题、顺序阅读、模拟考试、组卷考试、赶快下载吧! 2.彩虹搜题 这是个老公众号了 支持手写输入，截图搜题，详细步骤，解题必备
阅读更多...
Java面试八股之怎么通过Java程序判断JVM是32位还是64位

Java面试八股之怎么通过Java程序判断JVM是32位还是64位

怎么通过Java程序判断JVM是32位还是64位 可以通过Java程序内部检查系统属性来判断当前运行的JVM是32位还是64位。以下是一个简单的方法： public class JvmBitCheck {public static void main(String[] args) {String arch = System.getProperty("os.arch");String dataM
阅读更多...
电脑不小心删除的文件怎么恢复？4个必备恢复方法！

电脑不小心删除的文件怎么恢复？4个必备恢复方法！

“刚刚在对电脑里的某些垃圾文件进行清理时，我一不小心误删了比较重要的数据。这些误删的数据还有机会恢复吗？希望大家帮帮我，非常感谢！” 在这个数字化飞速发展的时代，电脑早已成为我们日常生活和工作中不可或缺的一部分。然而，就像生活中的小插曲一样，有时我们可能会在不经意间犯下一些小错误，比如不小心删除了重要的文件。 当那份文件消失在眼前，仿佛被时间吞噬，我们不禁会心生焦虑。但别担心，就像每个问题
阅读更多...
详细分析Springmvc中的@ModelAttribute基本知识（附Demo）

详细分析Springmvc中的@ModelAttribute基本知识（附Demo）

目录 前言1. 注解用法1.1 方法参数1.2 方法1.3 类 2. 注解场景2.1 表单参数2.2 AJAX请求2.3 文件上传 3. 实战4. 总结 前言 将请求参数绑定到模型对象上，或者在请求处理之前添加模型属性 可以在方法参数、方法或者类上使用 一般适用这几种场景： 表单处理：通过 @ModelAttribute 将表单数据绑定到模型对象上预处理逻辑：在请求处理之前
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2