专栏首页Android知识分享Carson带你学JVM:方法分派模型-静态分派、动态分派

Carson带你学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. 静态分派

  • 定义 根据 变量的静态类型 进行方法分派 的 行为
  1. 即根据 变量的静态类型 确定执行哪个方法
  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. 静态分派的优先级匹配问题

  • 问题描述:
  1. 背景 现需要进行静态分派
  2. 问题 程序中 没有显示指定 静态类型
  3. 解决方案 程序会根据 静态类型的优先级 从而选择 优先的静态类型进行方法分配。
  • 实例说明
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)
  • 总结:当没有最合适的方法进行重载时,会选优先级第二高的的方法进行重载,如此类推。
  1. 优先级顺序为:char>int>long>float>double>Character>Serializable>Object>...
  2. 其中...为变长参数,将其视为一个数组元素。变长参数的重载优先级最低。
  3. 因为 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. 二者区别

5. 总结

  • 本文全面讲解方法分派的类型 & 过程
本文参与 腾讯云自媒体分享计划 ,欢迎热爱写作的你一起参与!
本文分享自作者个人站点/博客:https://blog.csdn.net/carson_ho复制
如有侵权,请联系 cloudcommunity@tencent.com 删除。
登录 后参与评论
0 条评论

相关文章

  • (JVM)Java虚拟机:手把手带你深入解析 - 静态分派 & 动态分派原理

    Carson.Ho
  • Java中的方法调用分析!详细解析静态分派和动态分派的执行过程

    攻城狮Chova
  • Carson带你学JVM:这是一份全面 & 详细的JVM学习指南

    该如何学习Java虚拟机(JVM)内容?今天Carson给你们奉上一份全面 & 详细的JVM学习指南。

    Carson.Ho
  • 全面&详细的面试指南:Java虚拟机(JVM)篇 (附答案)

    Java虚拟机在运行Java程序时,会管理着一块内存区域:运行时数据区。这里考察的内容是:

    Carson.Ho
  • Java 多态:深入解析 方法重写(Override) 、重载(Overload)及其区别

    a. 消除同一类型之间的耦合关系 b. 使得不同对象 对于同一行为 具备多种表现形式

    Carson.Ho
  • 深入理解JVM - 栈帧和分派

    关于jvm的大部分内容系列文章都已经讨论过了,这个系列也将近尾声,本文将会讲述关于jvm是如何实现重载和重写的,以及栈桢的内部存放的内容,这部分内容是非常重要的...

    阿东
  • JVM-11. 虚拟机字节码执行引擎

    悠扬前奏
  • Java方法调用(虚拟机字节码执行引擎)

    JAVA方法调用属于虚拟机字节码执行引擎的一部分,执行引擎,可以简单的理解为它用来接收输入的Class文件,按照字节码进行处理程序,然后输出执行结果。

    shysh95
  • 深入栈帧

    每个方法被执行的时候,java虚拟机都会同步创建一个栈帧,栈的基本单位为栈帧,每个线程都有自已的栈,每个执行方法对应一个栈帧,也叫当前栈帧。每一个栈帧都包括了局...

    逍遥壮士
  • 深入理解JVM虚拟机5:虚拟机字节码执行引擎

    本文转自:https://www.cnblogs.com/snailclimb/p/9086337.html

    Java技术江湖
  • 方法调用:一看就懂,一问就懵?

    首先大家要明确一个概念,此处的方法调用并不是方法中的代码被执行,而是要确定被调用方法的版本,即最终会调用哪一个方法。

    用户8639654
  • JVM---分派学习

    有一种观点(不认同):因为重载是静态的,重写是动态的,所以只有重写算是多态性的体现,重载不算多态

    晓果冻
  • Java面试题及其解答(一)

    (2)、equals 是 Object 类的一个方法,默认情况下比较两个对象是否是同一个对象,内部的实现是通过 == 来比较两个对象的内存地址是否相等,其源码如...

    帅地
  • 虚拟机字节码执行引擎,JVM的马达图,是爱情呀

    首先我们要知道,虚拟机是相对于物理机而言,这点毋庸置疑。冒然的讲执行引擎可能会觉得这个东西很突兀,让我们来简单回顾一下JVM的架构图,看看执行引擎所处的位置:

    阿甘的码路
  • JVM第七卷---虚拟机字节码执行引擎

    物理机的执行引擎是直接建立在处理器,缓存,指令集和操作系统层面的,而虚拟机的执行引擎则是由软件自行实现的,因此可以不受物理条件限制定制指令集与执行引擎结构体系,...

    大忽悠爱学习
  • 彻底搞懂访问者模式的静态、动态和伪动态分派

    每到年底,管理层就要开始评定员工一年的工作绩效,员工分为工程师和经理;管理层有CEO和CTO。那么CTO关注工程师的代码量、经理的新产品数量;CEO关注工程师的...

    Tom弹架构
  • 彻底搞懂访问者模式的静态、动态和伪动态分派

    每到年底,管理层就要开始评定员工一年的工作绩效,员工分为工程师和经理;管理层有CEO和CTO。那么CTO关注工程师的代码量、经理的新产品数量;CEO关注工程师的...

    Tom弹架构
  • 从Java继承类的重名static函数浅谈解析调用与分派

    今天被实习生问了这么个问题: 在java中,static成员函数是否可以被重写呢?

    老白
  • 深入探究JVM之方法调用及Lambda表达式实现原理

    在最开始讲解JVM内存结构的时候有简单分析过方法的执行原理——每一次方法调用都会生成一个栈帧并压入栈中,方法链的执行就是一个个栈帧弹出栈的过程,本篇就从字节码层...

    夜勿语

扫码关注腾讯云开发者

领取腾讯云代金券