JAVA 静态分派 与动态分派

2023-12-12 06:08
文章标签 java 动态 静态 分派

本文主要是介绍JAVA 静态分派 与动态分派，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

方法调用并不等于方法执行，方法调用阶段唯一的任务就是确定被调用方法的版本（即调用哪一个方法），暂时还不涉及方法内部的具体运行过程。

在程序运行时，进行方法调用是最普遍、最频繁的操作，但是Class文件的编译过程不包括传统编译中的连接步骤，一切方法调用在Class文件里面存储的都只是符号引用，而不是方法在实际运行时内存布局中的入口地址（相对于之前说的直接引用）。这个特性给Java带来了更强大的动态扩展能力，但也使得Java方法调用过程变得相对复杂起来，需要在类加载期间，甚至到运行期间才能确定目标方法的直接引用。

解析

所有方法调用中的目标方法在Class文件里面都是一个常量池中的引用，在类加载的解析阶段，会将其中的一部分符号引用转化为直接引用。这种解析能成立的前提是：方法在程序真正执行之前就有一个可确定的调用版本，并且这个方法的调用版本在运行期是不可改变的。换句话说，调用目标在程序代码写好、编译器进行编译时就必须确定下来，这类方法的调用称为解析。

在Java语言中符合“编译期可知，运行期不可变”这个要求的方法，主要包括静态方法和私有方法两大类，前者与类型直接关联，后者在外部不可被访问，这两种方法各自的特点决定了他们不可能通过继承或别的方式重写其他版本，因此他们适合在类加载阶段进行解析。

静态方法、私有方法、实例构造器、父类方法。这些方法称为非虚方法，它们在类加载的时候就会把符号引用解析为该方法的直接引用。与之相反，其他方法称为虚方法（除去final方法）。

分派

静态分派

[java] view plain copy 在CODE上查看代码片 派生到我的代码片
  1. public class StaticDispatch {  
  2.     static abstract class Human{  
  3.     }  
  4.     static class Man extends Human{  
  5.     }  
  6.     static class Woman extends Human{  
  7.     }  
  8.     public static void sayHello(Human guy){  
  9.         System.out.println("hello,guy!");  
  10.     }  
  11.     public static void sayHello(Man guy){  
  12.         System.out.println("hello,gentlemen!");  
  13.     }  
  14.     public static void sayHello(Woman guy){  
  15.         System.out.println("hello,lady!");  
  16.     }  
  17.       
  18.     public static void main(String[] args) {  
  19.         Human man=new Man();  
  20.         Human woman=new Woman();  
  21.         sayHello(man);  
  22.         sayHello(woman);  
  23.     }  
  24. }  
输出：

hello,guy!
hello,guy!


Human man=new Man();
我们把“Human”称为变量的静态类型，后面的“Man”称为变量的实际类型，静态类型和实际类型在程序中都可以发生一些变化，区别是静态类型的变化仅仅在使用时发生，变量本身的静态类型不会被改变，并且最终的静态类型在编译器可知；而实际类型变化的结果在运行期才确定，编译器在编译期并不知道一个对象的实际类型是什么。

[java] view plain copy 在CODE上查看代码片 派生到我的代码片
  1. Human man=new Man();  
  2. sayHello(man);  
  3. sayHello((Man)man);//类型转换，静态类型变化，我们知道转型后的静态类型一定是Man  
  4. man=new Woman(); //实际类型变化,实际类型却是不确定的  
  5. sayHello(man);  
  6. sayHello((Woman)man);//类型转换，静态类型变化   
输出：

hello,guy!
hello,gentlemen!
hello,guy!
hello,lady!

编译器在重载时是通过参数的静态类型而不是实际类型作为判定的依据。并且静态类型在编译期可知，因此，编译阶段，Javac编译器会根据参数的静态类型决定使用哪个重载版本。

所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。静态分派的典型应用就是方法重载。

静态分派发生在编译阶段，因此确定静态分派的动作实际上不是由虚拟机来执行的，而是由编译器来完成。

但是，字面量没有显示的静态类型，它的静态类型只能通过语言上的规则去理解和推断。

[java] view plain copy 在CODE上查看代码片 派生到我的代码片
  1. public class LiteralTest {   
  2.     /**/  
  3.     public static void sayHello(char arg){  
  4.         System.out.println("hello char");  
  5.     }  
  6.     public static void sayHello(int arg){  
  7.         System.out.println("hello int");  
  8.     }  
  9.       
  10.     public static void sayHello(long arg){  
  11.         System.out.println("hello long");  
  12.     }  
  13.       
  14.     public static void sayHello(Character arg){  
  15.         System.out.println("hello Character");  
  16.     }  
  17.     public static void main(String[] args) {  
  18.         sayHello('a');  
  19.     }   
  20. }  
输出：

hello char
将重载方法从上向下依次注释，将会得到不同的输出。

如果编译器无法确定要自定转型为哪种类型，会提示类型模糊，拒绝编译。

[java] view plain copy 在CODE上查看代码片 派生到我的代码片
  1. import java.util.Random;  
  2.   
  3. public class LiteralTest {   
  4.     /**/  
  5.     public static void sayHello(String arg){//新增重载方法  
  6.         System.out.println("hello String");  
  7.     }  
  8.     public static void sayHello(char arg){  
  9.         System.out.println("hello char");  
  10.     }   
  11.     public static void sayHello(int arg){  
  12.         System.out.println("hello int");  
  13.     }  
  14.       
  15.     public static void sayHello(long arg){  
  16.         System.out.println("hello long");  
  17.     }  
  18.       
  19.     public static void sayHello(Character arg){  
  20.         System.out.println("hello Character");  
  21.     }  
  22.     public static void main(String[] args) {  
  23.         Random r=new Random();  
  24.         String s="abc";  
  25.         int i=0;  
  26.         sayHello(r.nextInt()%2!=0?s:i);//编译错误   
  27.         sayHello(r.nextInt()%2!=0?'a':false);//编译错误  
  28.     }   
  29. }  

动态分派

[java] view plain copy 在CODE上查看代码片 派生到我的代码片
  1. public class DynamicDispatch {  
  2.     static abstract class Human{  
  3.         protected abstract void sayHello();  
  4.     }  
  5.     static class Man extends Human{   
  6.         @Override  
  7.         protected void sayHello() {   
  8.             System.out.println("man say hello!");  
  9.         }  
  10.     }  
  11.     static class Woman extends Human{   
  12.         @Override  
  13.         protected void sayHello() {   
  14.             System.out.println("woman say hello!");  
  15.         }  
  16.     }   
  17.     public static void main(String[] args) {  
  18.           
  19.         Human man=new Man();  
  20.         Human woman=new Woman();  
  21.         man.sayHello();  
  22.         woman.sayHello();  
  23.         man=new Woman();  
  24.         man.sayHello();   
  25.     }  
  26. }  
输出：
man say hello!
woman say hello!
woman say hello!


显然，这里不可能再根据静态类型来决定，因为静态类型同样是Human的两个变量man和woman在调用sayHello()方法时执行了不同的行为，并且变量man在两次调用中执行了不同的方法。导致这个现象的原因很明显，是这两个变量的实际类型不同，Java虚拟机是如何根据实际类型来分派方法执行版本的呢？
我们从invokevirtual指令的多态查找过程开始说起，invokevirtual指令的运行时解析过程大致分为以下几个步骤：

1、找到操作数栈顶的第一个元素所指向的对象的实际类型，记作C。
2、如果在类型C中找到与常量中的描述符和简单名称相符合的方法，然后进行访问权限验证，如果验证通过则返回这个方法的直接引用，查找过程结束；如果验证不通过，则抛出java.lang.IllegalAccessError异常。
3、否则未找到，就按照继承关系从下往上依次对类型C的各个父类进行第2步的搜索和验证过程。
4、如果始终没有找到合适的方法，则跑出java.lang.AbstractMethodError异常。

由于invokevirtual指令执行的第一步就是在运行期确定接收者的实际类型，所以两次调用中的invokevirtual指令把常量池中的类方法符号引用解析到了不同的直接引用上，这个过程就是Java语言方法重写的本质。我们把这种在运行期根据实际类型确定方法执行版本的分派过程称为动态分派。

虚拟机动态分派的实现

前面介绍的分派过程，作为对虚拟机概念模型的解析基本上已经足够了，它已经解决了虚拟机在分派中"会做什么"这个问题。

但是，虚拟机”具体是如何做到的“，可能各种虚拟机实现都会有些差别。

由于动态分派是非常频繁的动作，而且动态分派的方法版本选择过程需要运行时在类的方法元数据中搜索合适的目标方法，因此虚拟机的实际实现中基于性能的考虑，大部分实现都不会真正的进行如此频繁的搜索。面对这种情况，最常用的”稳定优化“手段就是为类在方法区中建立一个虚方法表（Virtual Method Table，也称为vtable），使用虚方法表索引来代替元数据查找以提高性能。


虚方法表中存放着各个方法的实际入口地址。如果某个方法在子类中没有被重写，那子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的，都是指向父类的实际入口。如果子类中重写了这个方法，子类方法表中的地址将会替换为指向子类实际版本的入口地址。

为了程序实现上的方便，具有相同签名的方法，在父类、子类的虚方法表中具有一样的索引序号，这样当类型变换时，仅仅需要变更查找的方法表，就可以从不同的虚方法表中按索引转换出所需要的入口地址。

方法表一般在类加载阶段的连接阶段进行初始化，准备了类的变量初始值后，虚拟机会把该类的方法表也初始化完毕。

内容源自：

《深入理解Java虚拟机》

这篇关于JAVA 静态分派 与动态分派的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/483496。

相关文章

Java编译生成多个.class文件的原理和作用

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类（常规内部类）局部内部类（方法内部类）匿名内部类二、
阅读更多...
SpringBoot实现数据库读写分离的3种方法小结

SpringBoot实现数据库读写分离的3种方法小结

《SpringBoot实现数据库读写分离的3种方法小结》为了提高系统的读写性能和可用性,读写分离是一种经典的数据库架构模式,在SpringBoot应用中,有多种方式可以实现数据库读写分离,本文将介绍三... 目录一、数据库读写分离概述二、方案一：基于AbstractRoutingDataSource实现动态
阅读更多...
Springboot @Autowired和@Resource的区别解析

Springboot @Autowired和@Resource的区别解析

《Springboot@Autowired和@Resource的区别解析》@Resource是JDK提供的注解,只是Spring在实现上提供了这个注解的功能支持,本文给大家介绍Springboot@... 目录【一】定义【1】@Autowired【2】@Resource【二】区别【1】包含的属性不同【2】@
阅读更多...
springboot循环依赖问题案例代码及解决办法

springboot循环依赖问题案例代码及解决办法

《springboot循环依赖问题案例代码及解决办法》在SpringBoot中,如果两个或多个Bean之间存在循环依赖（即BeanA依赖BeanB,而BeanB又依赖BeanA）,会导致Spring的... 目录1. 什么是循环依赖？2. 循环依赖的场景案例3. 解决循环依赖的常见方法方法 1：使用 @La
阅读更多...
Java枚举类实现Key-Value映射的多种实现方式

Java枚举类实现Key-Value映射的多种实现方式

《Java枚举类实现Key-Value映射的多种实现方式》在Java开发中,枚举(Enum)是一种特殊的类,本文将详细介绍Java枚举类实现key-value映射的多种方式,有需要的小伙伴可以根据需要... 目录前言一、基础实现方式1.1 为枚举添加属性和构造方法二、http://www.cppcns.co
阅读更多...
Elasticsearch 在 Java 中的使用教程

Elasticsearch 在 Java 中的使用教程

《Elasticsearch在Java中的使用教程》Elasticsearch是一个分布式搜索和分析引擎,基于ApacheLucene构建,能够实现实时数据的存储、搜索、和分析,它广泛应用于全文... 目录1. Elasticsearch 简介2. 环境准备2.1 安装 Elasticsearch2.2 J
阅读更多...
Java中的String.valueOf()和toString()方法区别小结

Java中的String.valueOf()和toString()方法区别小结

《Java中的String.valueOf()和toString()方法区别小结》字符串操作是开发者日常编程任务中不可或缺的一部分,转换为字符串是一种常见需求,其中最常见的就是String.value... 目录String.valueOf()方法方法定义方法实现使用示例使用场景toString()方法方法
阅读更多...
Java中List的contains()方法的使用小结

Java中List的contains()方法的使用小结

《Java中List的contains()方法的使用小结》List的contains()方法用于检查列表中是否包含指定的元素,借助equals()方法进行判断,下面就来介绍Java中List的c... 目录详细展开1. 方法签名2. 工作原理3. 使用示例4. 注意事项总结结论：List 的 contain
阅读更多...
Java实现文件图片的预览和下载功能

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件（图片）的预览和下载 @ApiOperation("访问文件") @GetMapping("
阅读更多...
C#如何动态创建Label,及动态label事件

C#如何动态创建Label,及动态label事件

《C#如何动态创建Label,及动态label事件》：本文主要介绍C#如何动态创建Label,及动态label事件,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C#如何动态创建Label,及动态label事件第一点：switch中的生成我们的label事件接着，
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2