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静态动态分派模型的资料请关注我们其它相关文章!

(0)

相关推荐

  • JVM:晚期(运行期)优化的深入理解

    晚期(运行期)优化 在部分的商用虚拟机中,Java程序最初是通过解释器进行解释执行的,当虚拟机发现某个方法或代码块的运行特别频繁时,就会把这些代码认定为热点代码.为了提高热点代码的执行效率,在运行时,虚拟机会将这些代码编译成与本地平台相关的机器码,并进行各种层次的优化,完成这个任务的编译器称为即时编译器 本章提到的编译器.即时编译器都是指HotSpot虚拟机内的即时编译器,虚拟机也是特质HotSpot虚拟机 1.HotSpot虚拟机内的即时编译器 1).解释器与编译器 当程序需要迅速启动和执行的

  • JVM 方法调用之静态分派(详解)

    分派(Dispatch)可能是静态也可能是动态的,根据分派依据的宗量数可分为单分派和多分派.这两种分派方式的两两组合就构成了静态单分派,静态多分派,动态单分派,动态多分派这4种组合.本章讲静态分派. 1.静态分派 所有依赖静态类型来定位方法执行版本的分派动作称为静态分派.静态分派的典型应用是方法重载.静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行的. 那么什么是静态类型(static type)呢? Super object = new Sub(); 像上面的语句,Sup

  • Java的动态分派和静态分派的实现

    Java 方法执行时的动态分派和静态分派是 Java 实现多态的本质 背景 Java 的动态分派和静态分派也是 Java 方法的执行原理. Java 源代码的编译之后,方法之间的调用是使用符号引用来表示的.当字节码被 JVM 加载之后,符号引用才会被替换为对应方法在方法区的真实内存地址.那么在替换之前,由于 Java 的方法重写.重载,就导致符号引用对应的方法可能是一个虚方法,那么方法的真实实现在运行时就可能有多个. 所以在将符号引用替换为真实地址时,还需要做一件事情:那就是确定符号引用要替换的

  • JVM 方法调用之动态分派(详解)

    1. 动态分派 一个体现是重写(override).下面的代码,运行结果很明显. public class App { public static void main(String[] args) { Super object = new Sub(); object.f(); } } class Super { public void f() { System.out.println("super : f()"); } public void f(int i) { System.out

  • JVM 体系结构详解

    JVM 是一种抽象的计算机,基于堆栈架构,它有自己的指令集和内存管理,是 Java 跨平台的依据,JVM解释执行字节码,或将字节码编译成本地代码执行.Java 虚拟机体系结构如下: Class File Class File 是平台无关的二进制文件,包含着能被JVM执行的字节码,其中多字节采用大端序,字符使用一种改进的UTF-8编码.Class文件精确的描述了一个类或接口的信息,其中包括: 常量池:数值和字符串字面常量,元数据如类名.方法名称.参数,以及各种符号引用 方法的字节码指令,参数个数,

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

    前言 了解 行为方法分派 有利于在行为分派时时进行一些功能操作 本文全面讲解行为分派的类型:静态 & 动态行为分派,希望你们会喜欢. 目录 1. 知识储备 1.1 分派 定义:确定执行哪个方法 的过程 a. 疑问 有些读者会问,方法的执行不是取决于代码设置中的执行对象吗?为什么还要选择呢? b. 回答 若 一个对象对应于多个方法 时,就需要进行选择了 读者应该都想到了 Java中的特性:多态,即重写 & 重载.下面我会详细讲解. 分类:静态分派 & 动态分派.下面我将详细讲解. 1

  • Java方法调用解析静态分派动态分派执行过程

    方法调用 在程序运行时,进行方法调用是最普遍,最频繁的操作 方法调用不等于方法执行: 方法调用阶段唯一的任务就是确定被调用的方法版本,即调用哪一个方法 不涉及方法内部的具体运行过程 Class文件的编译过程不包括传统编译中的连接步骤 Class文件中的一切方法调用在Class文件里面存储的都是符号引用,而不是方法在在实际运行时内存布局中的入口地址,即之前的直接引用: 这样使得Java具有更强大的动态扩展能力 同时也使得Java方法调用过程变得相对复杂 需要在类加载期间,甚至会到运行期间才能确定目

  • java访问者模式的静态动态及伪动态分派彻底理解

    目录 1 使用访问者模式实现KPI考核的场景 2 从静态分派到动态分派 2.1 静态分派 2.2 动态分派 3 访问者模式中的伪动态分派 4 访问者模式在JDK源码中的应用 5 访问者模式在Spring源码中的应用 本文节选自<设计模式就该这样学> 1 使用访问者模式实现KPI考核的场景 每到年底,管理层就要开始评定员工一年的工作绩效,员工分为工程师和经理:管理层有CEO和CTO.那么CTO关注工程师的代码量.经理的新产品数量:CEO关注工程师的KPI.经理的KPI及新产品数量. 由于CEO和

  • java虚拟机jvm方法区实例讲解

    和java堆一样,方法区是一块所有线程共享的内存区域,用于保存系统的类信息,类的信息有哪些呢.字段.方法.常量池.方法区也有一块内存区域所以方法区的内存大小,决定了系统可以包含多少个类,如果系统类太多,方法区内存不够肯定会导致方法区溢出,虚拟机同样会抛出内存溢出信息.(内存溢出后面相关文章给大家总结) jdk6和jdk7中,方法区可以理解为永久区(Perm).永久区可以使用参数-XX:PermSize和-XX:MaxPermSize制定.默认情况下-XX:MaxPermSize为64MB.如果你

  • MapStruct处理Java中实体与模型间不匹配属性转换的方法

    摘要: 前面介绍了MapStrut简单用法,MapStrut的最重要的特点就是处理Java中实体与模型间不匹配属性的转换. 实体模型 有一个User对象: public class User { private Integer id; private String name; private double account; private boolean married; // setters, getters, toString() } 有一个Employee 对象: public class

  • Java JVM字节码指令集总结整理与介绍

    目录 Java是怎么跨平台的 平台无关的基石 JVM字节码指令介绍 字节码与数据类型 加载和存储指令 算术指令 类型转换指令 宽化类型转换 窄化类型转换: 对象创建与访问指令 操作数栈管理指令 控制转移指令 方法调用和返回指令 异常处理指令 同步指令 JVM指令集大全 Java是怎么跨平台的 我们上计算机课的时候老师讲过:"计算机只能识别0和1,所以我们写的程序要经过编译器翻译成0和1组成的二进制格式计算机才能执行".我们编译后产生的.class文件是二进制的字节码,字节码是不能被机器

  • JAVA jvm系列--java内存区域

    目录 一.JVM的组成 二.JVM运行流程 三.java内存区域详解(运行时数据区域) (一)程序计数器 (二)java虚拟机栈 (三)本地方法栈 (四)java堆 (五)方法区 运行时常量池 (六)直接内存 总结 JVM: Java Virtual Machine,Java虚拟机,包括处理器.堆栈 .寄存器等,是用来执行java字节码(二进制的形式)的虚拟计算机. 一.JVM的组成 JVM由以下四部分组成(两个子系统和两个组件): 类加载器(ClassLoader) 执行引擎(Executio

随机推荐