java JVM方法分派模型静态分派动态分派全面讲解

 更新时间:2022年06月23日 16:37:18   作者:Carson.Ho  
这篇文章主要为大家介绍了java JVM方法分派模型静态分派动态分派全面讲解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

前言

  • 了解 行为方法分派 有利于在行为分派时时进行一些功能操作
  • 本文全面讲解行为分派的类型:静态 & 动态行为分派,希望你们会喜欢。

目录结构图

1. 知识储备

1.1 分派

  • 定义:确定执行哪个方法 的过程

a. 疑问

有些读者会问,方法的执行不是取决于代码设置中的执行对象吗?为什么还要选择呢?

b. 回答

  • 若 一个对象对应于多个方法 时,就需要进行选择了
  • 读者应该都想到了 Java中的特性:多态,即重写 & 重载。下面我会详细讲解。
  • 分类:静态分派 & 动态分派。下面我将详细讲解。

1.2 变量的静态类型 & 动态类型

先看下面的代码

public class Test { 
    static abstract class Human { 
    } 
    static class Man extends Human { 
    } 
    static class Woman extends Human { 
    } 
// 执行代码
public static void main(String[] args) { 
  Human man = new Man(); 
  // 变量man的静态类型 = 引用类型 = Human:不会被改变、在编译器可知
  // 变量man的动态类型 = 实例对象类型 = Man:会变化、在运行期才可知
    } 
}

即:

  • 变量的静态类型 = 引用类型 :不会被改变、在编译器可知
  • 变量的动态类型 = 实例对象类型 :会变化、在运行期才可知

下面,我将详细讲解Java中的分派类型:静态分派 & 动态分派

2. 静态分派

定义: 根据 变量的静态类型 进行方法分派 的 行为

  • 即根据 变量的静态类型 确定执行哪个方法
  • 发生在编译期,所以不由 Java 虚拟机来执行

应用场景: 方法重载(OverLoad

实例说明

public class Test { 
// 类定义
    static abstract class Human { 
    } 
// 继承自抽象类Human
    static class Man extends Human { 
    } 
    static class Woman extends Human { 
    } 
// 可供重载的方法
    public void sayHello(Human guy) { 
        System.out.println("hello,guy!"); 
    } 
    public void sayHello(Man guy) { 
        System.out.println("hello gentleman!"); 
    } 
    public void sayHello(Woman guy) { 
        System.out.println("hello lady!"); 
    } 
// 测试代码
    public static void main(String[] args) { 
        Human man = new Man(); 
        Human woman = new Woman(); 
        Test test = new Test(); 
        test.sayHello(man); 
        test.sayHello(woman); 
    } 
}
// 运行结果
hello,guy! 
hello,guy!

根据上述的讲解,大家应该明白运行结果的原因:

  • 方法重载(OverLoad) = 静态分派 = 根据 变量的静态类型 确定执行(重载)哪个方法
  • 所以上述的方法执行时,是根据变量(manwoman)的静态类型(Human)确定重载sayHello()中参数为Human guy的方法,即sayHello(Human guy)

特别注意

a. 变量的静态类型 发生变化 的情况

可通过 强制类型转换 改变 变量的静态类型

Human man = new Man(); 
test.sayHello((Man)man); 
// 强制类型转换
// 此时man的静态类型从 Human 变为 Man
// 所以会调用sayHello()中参数为Man guy的方法,即sayHello(Man guy)

b. 静态分派的优先级匹配问题

问题描述:

  • 背景 现需要进行静态分派
  • 问题 程序中 没有显示指定 静态类型
  • 解决方案 程序会根据 静态类型的优先级 从而选择 优先的静态类型进行方法分配。

实例说明

public class Overload {  
    private static void sayHello(char arg){  
        System.out.println("hello char");  
    }  
    private static void sayHello(Object arg){  
        System.out.println("hello Object");  
    }  
    private static void sayHello(int arg){  
        System.out.println("hello int");  
    }  
    private static void sayHello(long arg){  
        System.out.println("hello long");  
    }  
// 测试代码
    public static void main(String[] args) {  
        sayHello('a');  
    }  
}  
// 运行结果
hello char

因为‘a’是一个char类型数据(即静态类型是char),所以会选择参数类型为char的重载方法。

若注释掉sayHello(char arg)方法,那么会输出

hello int

因为‘a’除了可代表字符串,还可代表数字97。因此当没有最合适的sayHello(char arg)方式进行重载时,会选择第二合适(第二优先级)的方法重载,即 sayHello(int arg)

总结:当没有最合适的方法进行重载时,会选优先级第二高的的方法进行重载,如此类推。

优先级顺序为:

char>int>long>float>double>Character>Serializable>Object>...

其中...为变长参数,将其视为一个数组元素。变长参数的重载优先级最低。

因为 char 转型到 byteshort 的过程是不安全的,所以不会选择参数类型为byteshort的方法进行重载,故优先级列表里也没有。

特别注意

  • 上面讲解的主要是 基本数据类型的优先级匹配问题
  • 若是引用类型,则根据 继承关系 进行优先级匹配

注意只跟其编译时类型(即静态类型)相关

3. 动态分派

  • 定义 根据 变量的动态类型 进行方法分派 的 行为

即根据 变量的动态类型 确定执行哪个方法

  • 应用场景 方法重写(Override
  • 实例说明
// 定义类
    class Human { 
        public void sayHello(){ 
            System.out.println("Human say hello"); 
        } 
    } 
// 继承自 抽象类Human 并 重写sayHello()
    class Man extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("man say hello"); 
        } 
    } 
    class Woman extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("woman say hello"); 
        } 
    } 
// 测试代码
    public static void main(String[] args) { 
        // 情况1
        Human man = new man(); 
        man.sayHello(); 
        // 情况2
        man = new Woman(); 
        man.sayHello(); 
    } 
}
// 运行结果
man say hello
woman say hello
// 原因解析
// 1. 方法重写(Override) = 动态分派 = 根据 变量的动态类型 确定执行(重写)哪个方法
// 2. 对于情况1:根据变量(Man)的动态类型(man)确定调用man中的重写方法sayHello()
// 3. 对于情况2:根据变量(Man)的动态类型(woman)确定调用woman中的重写方法sayHello()

特别注意

对于代码中:

Human man = new Man(); 
man = new Woman(); 
man.sayHello(); 
// man称为执行sayHello()方法的所有者,即接受者。
  • invokevirtual指令执行的第一步 = 确定接受者的实际类型
  • invokevirtual指令执行的第二步 = 将 常量池中 类方法符号引用 解析到不同的直接引用上

第二步即方法重写(Override)的本质

4. 二者区别

 总结

本文全面讲解方法分派的类型 & 过程,更多关于java JVM静态动态分派模型的资料请关注脚本之家其它相关文章!

相关文章

  • 浅谈java泛型的作用及其基本概念

    浅谈java泛型的作用及其基本概念

    下面小编就为大家带来一篇浅谈java泛型的作用及其基本概念。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-08-08
  • 通过实例了解Java jdk和jre的区别

    通过实例了解Java jdk和jre的区别

    这篇文章主要介绍了通过实例了解Java jdk和jre的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
    2020-05-05
  • 使用XSD校验Mybatis的SqlMapper配置文件的方法(1)

    使用XSD校验Mybatis的SqlMapper配置文件的方法(1)

    这篇文章以前面对SqlSessionFactoryBean的重构为基础,简单的介绍了相关操作知识,然后在给大家分享使用XSD校验Mybatis的SqlMapper配置文件的方法,感兴趣的朋友参考下吧
    2016-11-11
  • Java中ArrayList的使用详细介绍

    Java中ArrayList的使用详细介绍

    这篇文章主要介绍了Java中ArrayList的使用,本文给大家详细讲述该相关的知识点,并且会通过大量的案例加以说明,需要的朋友可以参考一下
    2022-04-04
  • java日期时间操作工具类

    java日期时间操作工具类

    这篇文章主要为大家详细介绍了java日期时间操作工具类,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2018-12-12
  • Mybatis 逆向工程的三种方法详解

    Mybatis 逆向工程的三种方法详解

    这篇文章主要介绍了Mybatis 逆向工程的三种方法详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-10-10
  • 利用java监听器实现在线人数统计

    利用java监听器实现在线人数统计

    过去使用ASP和ASP.NET两种编程的时候,都写过在线人数统计能,实现功能挺简单的!今天使用java来实现在线人数统计有点另类,是通过Java监听器实现的,需要的朋友可以参考下
    2015-09-09
  • springboot打包如何忽略Test单元测试

    springboot打包如何忽略Test单元测试

    这篇文章主要介绍了springboot打包如何忽略Test单元测试,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2021-11-11
  • Spring与Struts整合之让Spring管理控制器操作示例

    Spring与Struts整合之让Spring管理控制器操作示例

    这篇文章主要介绍了Spring与Struts整合之让Spring管理控制器操作,结合实例形式详细分析了Spring管理控制器相关配置、接口实现与使用技巧,需要的朋友可以参考下
    2020-01-01
  • Spring常用注解 使用注解来构造IoC容器的方法

    Spring常用注解 使用注解来构造IoC容器的方法

    下面小编就为大家分享一篇Spring常用注解 使用注解来构造IoC容器的方法,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2018-01-01

最新评论