深入浅出JVM(五)之Java中方法调用

简介: 深入浅出JVM(五)之Java中方法调用

本篇文章将围绕Java中方法的调用,深入浅出的说明方法调用的指令、解析调用以及分派调用等

方法调用

要知道Java中方法调用唯一目的就是确定要调用哪一个方法

方法调用可以分为解析调用和分派调用,接下来会详细介绍

image.png

非虚方法与虚方法

非虚方法: 静态方法,私有方法,父类中的方法,被final修饰的方法,实例构造器

其他不是非虚方法的方法就是虚方法

非虚方法的特点就是没有重写方法,适合在类加载阶段就进行解析(符号引用->直接引用) 【编译时就能够确定】

调用指令

  • 普通调用指令
  • invokestatic:调用静态方法
  • invokespecial:调用私有方法,父类中的方法,实例构造器方法,final方法
  • invokeinterface:调用接口方法
  • invokevirtual: 调用虚方法
  • 使用invokestaticinvokespecial指令的一定是非虚方法
    使用invokeinterface指令一定是虚方法(因为接口方法需要具体的实现类去实现)
    使用invokevirtual指令的是虚方法
  • 动态调用指令
  • invokedynamic: 动态解析出需要调用的方法再执行
  • jdk 7 出现invokedynamic,支持动态语言

测试虚方法代码

  • 父类
 public class Father {
     public static void staticMethod(){
         System.out.println("father static method");
     }
 ​
     public final void finalMethod(){
         System.out.println("father final method");
     }
 ​
     public Father() {
         System.out.println("father init method");
     }
 ​
     public void overrideMethod(){
         System.out.println("father override method");
     }
 }
  • 接口
 public interface TestInterfaceMethod {
     void testInterfaceMethod();
 }
  • 子类
 public class Son extends Father{
 ​
     public Son() {
         //invokespecial 调用父类init 非虚方法
         super();
         //invokestatic 调用父类静态方法 非虚方法
         staticMethod();
         //invokespecial 调用子类私有方法 特殊的非虚方法
         privateMethod();
         //invokevirtual 调用子类的重写方法 虚方法
         overrideMethod();
         //invokespecial 调用父类方法 非虚方法
         super.overrideMethod();
         //invokespecial 调用父类final方法 非虚方法
         super.finalMethod();
         //invokedynamic 动态生成接口的实现类 动态调用
         TestInterfaceMethod test = ()->{
             System.out.println("testInterfaceMethod");
         };
         //invokeinterface 调用接口方法 虚方法
         test.testInterfaceMethod();
     }
 ​
     @Override
     public void overrideMethod(){
         System.out.println("son override method");
     }
 ​
     private void privateMethod(){
         System.out.println("son private method");
     }
 ​
     public static void main(String[] args) {
         new Son();
     }
 }

image.png

注意: 接口中的默认方法也是invokeinterface,接口中的静态方法是invokestatic

解析调用

解析调用就是在调用非虚方法

在编译期间就能够确定,运行时也不会改变

分派调用

分派调用又分为静态分派与动态分配

早期绑定:解析调用和静态分派这种编译期间可以确定调用哪个方法

晚期绑定: 动态分派这种编译期无法确定,要到运行时才能确定调用哪个方法

静态分派
   //静态类型         实际类型
     List list = new ArrayList();

静态分派: 根据静态类型决定方法执行的版本的分派

发生在编译期,特殊的解析调用

典型的表现就是方法的重载

 public class StaticDispatch {
     public void test(List list){
         System.out.println("list");
     }
 ​
     public void test(ArrayList arrayList){
         System.out.println("arrayList");
     }
 ​
     public static void main(String[] args) {
         ArrayList arrayList = new ArrayList();
         List list = new ArrayList();
         StaticDispatch staticDispatch = new StaticDispatch();
         staticDispatch.test(list);
         staticDispatch.test(arrayList);
     }
 }
 /*
 list
 arrayList
 */

方法的版本并不是唯一的,往往只能确定一个最适合的版本

动态分派

动态分派:动态期根据实际类型确定方法执行版本的分派

动态分派与重写有着紧密的联系

 public class DynamicDispatch {
     public static void main(String[] args) {
         Father father = new Father();
         Father son = new Son();
 ​
         father.hello();
         son.hello();
     }
     static class Father{
         public void hello(){
             System.out.println("Father hello");
         }
     }
 ​
     static class Son extends Father{
         @Override
         public void hello() {
             System.out.println("Son hello");
         }
     }
 }
 /*
 Father hello
 Son hello
 */

image.png

虽然常量池中的符号引用相同,invokevirtual指令最终指向的方法却不一样

分析invokevirtual指令搞懂它是如何确定调用的方法

  1. invokevirtual找到栈顶元素的实际类型
  2. 如果在这个实际类型中找到与常量池中描述符与简单名称相符的方法,并通过访问权限的验证就返回这个方法的引用(未通过权限验证返回IllegalAccessException非法访问异常)
  3. 如果在实际类型中未找到,就去实际类型的父类中寻找(没找到抛出AbstractMethodError异常)

因此,子类重写父类方法时,根据invokevirtual指令规则,先在实际类型(子类)中寻找,找不到才去父类,所以存在重写的多态

频繁的动态分派会重新查找栈顶元素实际类型,会影响执行效率

为提高性能,JVM在该类方法区建立虚方法表使用索引表来代替查找

字段不存在多态

当子类出现与父类相同的字段,子类会覆盖父类的字段

 public class DynamicDispatch {
     public static void main(String[] args) {
         Father son = new Son();
     }
     static class Father{
         int num = 1;
 ​
         public Father() {
             hello();
         }
 ​
         public void hello(){
             System.out.println("Father hello " + num);
         }
     }
 ​
     static class Son extends Father{
         int num = 2;
 ​
         public Son() {
             hello();
         }
 ​
         @Override
         public void hello() {
             System.out.println("Son hello "+ num);
         }
     }
 }
 /*
 Son hello 0
 Son hello 2
 */

先对父类进行初始化,所以会先执行父类中的构造方法,而构造方法去执行了hello()方法,此时的实际类型是Son于是会去执行Son的hello方法,此时子类还未初始化成员变量,只是有个默认值,所以输出Son hello 0

单分派与多分派

方法参数或方法调用者被称为宗量

分派还可以分为单、多分派

根据一个宗量(方法参数或方法调用者)选择方法被称为单分派

根据多个宗量(方法参数和方法调用者)选择方法被称为多分派

 public class DynamicDispatch {
     public static void main(String[] args) {
         Father son = new Son();
         Father father = new Father();
 ​
         son.hello(new Nod());
         father.hello(new Wave());
     }
     static class Father{
 ​
 ​
         public void hello(Nod nod){
             System.out.println("Father nod hello " );
         }
 ​
         public void hello(Wave wave){
             System.out.println("Father wave hello " );
         }
     }
 ​
     static class Son extends Father{
 ​
         @Override
         public void hello(Nod nod) {
             System.out.println("Son nod hello");
         }
 ​
         @Override
         public void hello(Wave wave) {
             System.out.println("Son wave hello");
         }
     }
 ​
     //招手
     static class Wave{}
     //点头
     static class Nod{}
 }
 /*
 Son nod hello
 Father wave hello 
 */

在编译时,不仅要关心静态类型是Father还是Son,还要关心参数是Nod还是Wave,所以静态分派是多分派(根据两个宗量对方法进行选择)

在执行son.hello(new Nod())时只需要关心实际类型是Son还是Father,所以动态分派是单分派(根据一个宗量对方法进行选择)

总结

本篇文章围绕Java方法的调用,深入浅出的解析非虚方法与虚方法、调用的字节码指令、解析调用和分派调用、单分派以及多分派

不能重写的方法(静态、私有、父类、final修饰、实例构造)被称为非虚方法,其他方法为虚方法

非虚方法是编译时就能够确定的,解析调用就是调用非虚方法

分派调用中的静态分派也是编译时确定的,是特殊的解析调用,根据静态类型选择方法,典型例子就是方法重载

分派调用中的动态分派是根据实际类型选择方法,在运行时才能够确定实际类型,典型例子就是方法重写

静态分派需要考虑方法调用者和方法参数是多分派,动态分派只需要考虑方法调用者是单分派


相关文章
|
9天前
|
Oracle Java 关系型数据库
JVM(一)-JVM与Java体系结构
JVM(一)-JVM与Java体系结构
17 2
|
10天前
|
安全 Java 编译器
Java 虚拟机加载 Java 类的过程
【6月更文挑战第7天】Java 是一门编译型语言,在完成代码的编写以后,需要使用 Java 编译器将源码编译成字节码文件,供虚拟机运行。在字节码被 Java 虚拟机执行之前,需要将对应的类进行加载。
42 3
|
2天前
|
监控 算法 Java
Java虚拟机(JVM)使用多种垃圾回收算法来管理内存,以确保程序运行时不会因为内存不足而崩溃。
【6月更文挑战第20天】Java JVM运用多种GC算法,如标记-清除、复制、标记-压缩、分代收集、增量收集、并行收集和并发标记,以自动化内存管理,防止因内存耗尽导致的程序崩溃。这些算法各有优劣,适应不同的性能和资源需求。垃圾回收旨在避免手动内存管理,简化编程。当遇到内存泄漏,可以借助VisualVM、JConsole或MAT等工具监测内存、生成堆转储,分析引用链并定位泄漏源,从而解决问题。
11 4
|
19小时前
|
存储 监控 Java
JVM:Java虚拟机探秘
JVM:Java虚拟机探秘
5 1
|
4天前
|
算法 Java
Java垃圾回收(Garbage Collection,GC)是Java虚拟机(JVM)的一种自动内存管理机制,用于在运行时自动回收不再使用的对象所占的内存空间
【6月更文挑战第18天】Java的GC自动回收内存,包括标记清除(产生碎片)、复制(效率低)、标记整理(兼顾连续性与效率)和分代收集(区分新生代和老年代,用不同算法优化)等策略。现代JVM通常采用分代收集,以平衡性能和内存利用率。
31 3
|
23天前
|
监控 Java 测试技术
滚雪球学Java(45):探秘Java Runtime类:深入了解JVM运行时环境
【5月更文挑战第20天】🏆本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
19 1
滚雪球学Java(45):探秘Java Runtime类:深入了解JVM运行时环境
|
26天前
|
Oracle Cloud Native Java
【JVM】初步认识Java虚拟机
【JVM】初步认识Java虚拟机
28 6
|
23天前
|
存储 算法 Java
深入理解Java虚拟机(JVM)的垃圾回收机制
【5月更文挑战第30天】 在Java开发领域,垃圾回收(Garbage Collection, GC)是确保应用程序性能和内存效率的关键因素。本文将深入探讨Java虚拟机(JVM)的垃圾回收机制,解析其工作原理、不同算法的特点以及如何通过调优来提高应用性能。我们将透过JVM的内存结构,探索垃圾回收过程中涉及的关键技术点,并讨论现代Java应用中常见的垃圾回收器实现。
|
26天前
|
Java
<Java SE> 5道递归计算,创建数组,数组遍历,JVM内存分配...
<Java SE> 5道递归计算,创建数组,数组遍历,JVM内存分配
40 2
|
28天前
|
存储 算法 Java
深入解析Java虚拟机(JVM):技术原理与性能优化
深入解析Java虚拟机(JVM):技术原理与性能优化
35 1