深入浅出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修饰、实例构造)被称为非虚方法,其他方法为虚方法

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

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

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

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


相关文章
|
5天前
|
存储 Java
深入理解Java虚拟机:JVM内存模型
【4月更文挑战第30天】本文将详细解析Java虚拟机(JVM)的内存模型,包括堆、栈、方法区等部分,并探讨它们在Java程序运行过程中的作用。通过对JVM内存模型的深入理解,可以帮助我们更好地编写高效的Java代码,避免内存溢出等问题。
|
3天前
|
Java 数据库连接 Spring
K8S+Docker理论与实践深度集成java面试jvm原理
K8S+Docker理论与实践深度集成java面试jvm原理
|
5天前
|
Java 编译器 对象存储
java一分钟之Java入门:认识JDK与JVM
【5月更文挑战第7天】本文介绍了Java编程的基础——JDK和JVM。JDK是包含编译器、运行时环境、类库等的开发工具包,而JVM是Java平台的核心,负责执行字节码并实现跨平台运行。常见问题包括版本不匹配、环境变量配置错误、内存溢出和线程死锁。解决办法包括选择合适JDK版本、正确配置环境变量、调整JVM内存参数和避免线程死锁。通过代码示例展示了JVM内存管理和基本Java程序结构,帮助初学者更好地理解JDK和JVM在Java编程中的作用。
22 0
|
5天前
|
存储 监控 安全
JVM工作原理与实战(十六):运行时数据区-Java虚拟机栈
JVM作为Java程序的运行环境,其负责解释和执行字节码,管理内存,确保安全,支持多线程和提供性能监控工具,以及确保程序的跨平台运行。本文主要介绍了运行时数据区、Java虚拟机栈等内容。
12 0
|
5天前
|
存储 缓存 安全
【 Java中String源码分析(JVM视角你不来看看?】
【 Java中String源码分析(JVM视角你不来看看?】
14 0
|
5天前
|
存储 机器学习/深度学习 Java
【Java探索之旅】数组使用 初探JVM内存布局
【Java探索之旅】数组使用 初探JVM内存布局
28 0
|
5天前
|
小程序 Java 程序员
【Java探索之旅】我与Java的初相识(二):程序结构与运行关系和JDK,JRE,JVM的关系
【Java探索之旅】我与Java的初相识(二):程序结构与运行关系和JDK,JRE,JVM的关系
29 0
|
5天前
|
Java
[JVM] Java类的加载过程
[JVM] Java类的加载过程
[JVM] Java类的加载过程
|
5天前
|
存储 缓存 Java
[JVM] 浅谈JMM(Java 内存模型)
[JVM] 浅谈JMM(Java 内存模型)
|
5天前
|
缓存 监控 Java
Java从入门到精通:3.3.1性能优化与调优——学习Java的性能优化技巧,如JVM调优
Java从入门到精通:3.3.1性能优化与调优——学习Java的性能优化技巧,如JVM调优