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

 更新时间:2017年05月01日 09:21:21   投稿:jingxian  
下面小编就为大家带来一篇JVM 方法调用之静态分派(详解)。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧

Java技术迷

分派(Dispatch)可能是静态也可能是动态的,根据分派依据的宗量数可分为单分派和多分派。这两种分派方式的两两组合就构成了静态单分派,静态多分派,动态单分派,动态多分派这4种组合。本章讲静态分派。

1、静态分派

所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。静态分派的典型应用是方法重载。静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行的。

那么什么是静态类型(static type)呢?

1
Super object = new Sub();

像上面的语句,Super是变量的静态类型,Sub是变量的实际类型(actual type),静态类型和实际类型在程序中都可以发生一些变化,区别是静态类型的变化仅仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型是在编译期可知的;而实际类型变化 的结果在运行期才可确定,编译器在编译程序的时候并不知道一个对象的实际地址是什么。

静态分派一词实际上是中文翻译特有的,国外的技术文档都是将其称为Method Overload Resolution。这样一来就更好理解了,因为是Resolution(解析)

下面的代码可以说明这一点:

1
2
3
4
5
6
7
8
9
public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
   
  public static void print(Sub object) {
   System.out.println("it is Sub");
  }
 }

当调用print方法时,打印的将是"it is Super".

2、 调用“合适”的方法

编译器虽然能确定出方法的重载版本,但在很多情况下这个重载版本并不是“唯一的”,往往只能确定一个“更加合适”的版本。什么意思呢?看看下面的代码。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
public static void main(String[] args) {
  char c = 'a';
  Printer.print(c);
 }
  
 public static class Printer {
 
  public static void print(int i) {
   System.out.println("it is int");
  }
   
  public static void print(byte b) {
   System.out.println("it is byte");
  }
 }

上面的代码可以执行吗?乍看之下,没有类型为char的重载方法,是不是会报错?实际上,会打印出 it is int。也就是说,虽然没有char类型参数的方法,但编译器通过参数自动转型帮你找到了一个“合适”的方法调用。

转换的路径是char->int->long->float->double,如果还没找到合适的方法,则自动装箱成Character,此时已经是一个类。如果还找不到,则开始查找该类实现的接口(优先),父类(在继承关系中从下往上找,越接近上层的优先级越低)。如果有多个接口同时出现两个参数一致的,此时优先级是一样的,编译器无法确定自动转型为哪种类型,会提示类型模糊,拒绝编译。程序必须在调用时显式地指定字段的静态类型。

下面这个例子,没有参数为Sub的方法,按照参数自动转型,查找最合适方法的方式,会找到Super为参数方法调用。

1
2
3
4
5
6
7
8
9
10
public static void main(String[] args) {
  Sub object = new Sub();
  Printer.print(object);
 }
  
 public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
 }

此外还要注意一点是传入参数为null. 如果重载方法里有两个不同的类型的参数,即使两者没有继承关系,编译器也会判断不了到底调用哪个。

1
2
3
4
5
6
7
8
9
10
11
12
13
public static void main(String[] args) {
  Printer.print(null);
 }
  
 public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
   
  public static void print(App app) {
   System.out.println("it is App");
  }
 }

在调用的时候强制转换,指定类型,就可以解决了。

1
Printer.print((App)null);

要注意的一点是,解析与分派这两者之间的关系并不是二选一的排他关系,它们是在不同层次上去筛选,确定目标方法的过程。例如,静态方法在类加载期就会解析,但静态方法也是可以有重载版本的,选择重载版本的过程也是通过静态分派完成的。

以上这篇JVM 方法调用之静态分派(详解)就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持脚本之家。

蓄力AI

微信公众号搜索 “ 脚本之家 ” ,选择关注

程序猿的那些事、送书等活动等着你

相关文章

  • 基于Java实现缓存Cache的深入分析

    基于Java实现缓存Cache的深入分析

    本篇文章是对Java实现缓存Cache进行了详细的分析介绍,需要的朋友参考下
    2013-06-06
  • Java多线程编程中使用DateFormat类

    Java多线程编程中使用DateFormat类

    这篇文章主要介绍了Java多线程编程中使用DateFormat类,文中介绍了三种相关的并发使用方法,需要的朋友可以参考下
    2015-07-07
  • 用java实现学生信息管理系统

    用java实现学生信息管理系统

    这篇文章主要为大家详细介绍了java实现学生信息管理系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2019-09-09
  • Java基础之SpringBoot整合knife4j

    Java基础之SpringBoot整合knife4j

    Swagger现在已经成了最流行的接口文档生成与管理工具,但是你是否在用的时候也在吐槽,它是真的不好看,接口测试的json数据没法格式化,测试地址如果更改了还要去改配置,接口测试时增加token验证是真的麻烦…针对Swagger的种种缺点,Knife4j就呼之欲出了.需要的朋友可以参考下
    2021-05-05
  • Java加载与存储指令之ldc与_fast_aldc指令

    Java加载与存储指令之ldc与_fast_aldc指令

    ldc指令将int、float、或者一个类、方法类型或方法句柄的符号引用、还可能是String型常量值从常量池中推送至栈顶。这一篇介绍一个虚拟机规范中定义的一个字节码指令ldc,另外还有一个虚拟机内部使用的字节码指令_fast_aldc。需要的盆友可参考下面文章的内容
    2021-09-09
  • java 后台将base64字符串保存为图片的方法

    java 后台将base64字符串保存为图片的方法

    本篇文章主要介绍了java 后台将base64字符串保存为图片的方法,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-09-09
  • Jmeter逻辑控制器事务控制器使用方法解析

    Jmeter逻辑控制器事务控制器使用方法解析

    这篇文章主要介绍了Jmeter逻辑控制器事务控制器使用方法解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
    2020-11-11
  • 浅析Spring Security登录验证流程源码

    浅析Spring Security登录验证流程源码

    这篇文章主要介绍了Spring Security登录验证流程源码解析,本文结合源码讲解登录验证流程,非常不错,具有一定的参考借鉴价值,需要的朋友可以参考下
    2019-11-11
  • Java使用PrepareStatement实现数据的插入与查询操作

    Java使用PrepareStatement实现数据的插入与查询操作

    这篇文章主要为大家详细介绍了Java如何使用PrepareStatement实现数据的插入与查询操作,文中的示例代码讲解详细,感兴趣的可以了解一下
    2022-09-09
  • JAVA冒泡排序和二分查找的实现

    JAVA冒泡排序和二分查找的实现

    本文详细介绍了JAVA冒泡排序和二分查找的实现,虽然这两种算法比较简单,但是确实我们必须需要掌握的。下面来看看。
    2016-07-07

最新评论