Java中方法调用分析!详细解析静态分派和动态分派的执行过程-阿里云开发者社区

开发者社区> 攻城狮Chova> 正文

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

简介: 本篇文章中介绍了Java中的方法调用以及方法的解析和执行过程。分析了在Java中方法的静态分派和动态分派的执行过程。最后分析了在虚拟机中静态分派和动态分派的实现方式。通过这篇文章的学习,可以帮助我们很好地认识Java中的方法的执行情况。
+关注继续查看

方法调用

  • 在程序运行时,进行方法调用是最普遍,最频繁的操作
  • 方法调用不等于方法执行:

    • 方法调用阶段唯一的任务就是确定被调用的方法版本,即调用哪一个方法
    • 不涉及方法内部的具体运行过程
  • Class文件的编译过程不包括传统编译中的连接步骤
  • Class文件中的一切方法调用在Class文件里面存储的都是符号引用,而不是方法在在实际运行时内存布局中的入口地址,即之前的直接引用:

    • 这样使得Java具有更强大的动态扩展能力
    • 同时也使得Java方法调用过程变得相对复杂
    • 需要在类加载期间,甚至会到运行期间才能确定目标方法的直接引用

方法解析

  • 所有方法调用中的目标方法在Class文件里都是一个常量池的引用
  • 在类的加载解析阶段,会将其中的一部分符号引用转化为直接引用:

    • 方法在程序真正执行之前就有一个可确定的调用版本,并且这个方法的调用版本在运行期是不可改变的
    • 也就是说,调用目标在程序代码中完成,编译器进行编译时就必须确定下来,这也叫做方法解析

Java方法分类

  • 在Java中符合 "编译期可知,运行期不可变" 的方法有两大类:

    • 静态方法: 与类型直接关联
    • 私有方法: 在外部不可被访问
    • 这两种方法各自的特点决定这两种方法都不可能通过继承或者别的方式重写版本,因此适合在类加载阶段进行解析
  • 非虚方法: 在类加载阶段会把符号引用解析为该方法的直接引用

    • 静态方法
    • 私有方法
    • 实例构造器
    • 父类方法
  • 虚方法: 在类加载阶段不会将符号引用解析为该方法的直接引用

    • 除去以上的非虚方法,其它的方法均为虚方法

静态分派

public class StaticDispatch {
    static abstract class Human {
    }
    
    static class Man extends Human {
    }
    static class Woman extends Human {
    }

    public static void sayHello(Human guy) {
        System.out.println("Hello, Guy!");
    }
    public static void sayHello(Man guy) {
        System.out.println("Hello, Gentleman!");
    }
    public static void sayHello(woman guy) {
        System.out.println("Hello, Lady!");
    }

    public static void main(String[] args) {
        Human man = new Man();
        Human women = new Woman();
        
        sayHello(man);
        sayHello(woman);
         
    }
}
Human man = new Human();
  • Human为变量的静态类型
  • Man为变量的实际类型
  • 静态类型和实际类型在程序中都会放生变化:

    • 静态类型:

      • 静态类型的变化仅仅在使用时发生
      • 变量本身的静态类型不会被改变
      • 最终的静态类型在编译器中可知
    • 实际类型:

      • 实际类型变化的结果在运行期才确定下来
      • 编译器在编译期间并不知道一个对象的实际类型是什么
Human human = new Man();
sayHello(man);
sayHello((Man)man);        // 类型转换,静态类型变化,转型后的静态类型一定是Man
man = new woman();        // 实际类型变化,实际类型是不确定的
sayHello(man);
sayHello((Woman)man);    // 类型转换,静态类型变化
  • 编译器在重载时是通过参数的静态类型而不是实际类型作为判断依据,静态类型在编译期间可以知道:

    • 编译阶段,Javac编译器会根据参数的静态类型决定使用哪个重载版本
  • 静态分派:

    • 所有依赖静态类型来定位方法的执行版本的分派动作
    • 典型应用 :方法重载
  • 静态分派发生在编译阶段,因此确定静态分派的的动作不是由虚拟机执行的,而是由编译器完成的
  • 由于字面量没有显示静态类型,只能通过语言上的规则去理解和推断
public class LiteralTest {
    public static void sayHello(char arg) {
        System.out.println("Hello, char!");
    }
    public static void sayHello(int arg) {
        System.out.println("Hello, int!");
    }
    public static void sayHello(long arg) {
        System.out.println("Hello, long!");
    }
    public static void sayHello(Character arg) {
        System.out.println("Hello, Character!");
    }
    public static void main(String[] arg) {
        sayHello('a');
    }
}
  • 编译器将重载方法从上向下依次注释,得到不同的输出
  • 如果编译器无法确定要自定转型为哪种类型,会提示类型模糊,拒绝编译
public class LiteralTest {
    public static void sayHello(String arg) {    // 新增重载方法
        System.out.println("Hello, String!");
    }
    public static void sayHello(char arg) {    
        System.out.println("Hello, char!");
    }
    public static void sayHello(int arg) {
        System.out.println("Hello, int!");
    }
    public static void sayHello(long arg) {
        System.out.println("Hello, long!");
    }
    public static void sayHello(Character arg) {
        System.out.println("Hello, Character!");
    }
    public static void main(String[] args) {
        Random r = new Random();
        String s = "abc";
        int i = 0;
        sayHello(r.nextInt() % 2 != 0 ? s : 1 );    // 编译错误
        sayHello(r.nextInt() % 2 != 0 ? 'a' : false);    //编译错误
    }
}

动态分派

public class DynamicDispatch {
    static abstract class Human {
        protected abstract void sayHello();
    }
    
    static class Man extends Human {
        @override
        protected void sayHello() {
            System.out.println("Man Say Hello!");
        }
    }
    static class Woman extends Human {
        @override
        protected void sayHello() {
            System.out.println("Woman Say Hello!");
        }
    }
    
    public static void main(String[] args) {
        Human man = new Man();
        Human women = new Woman();
        man.sayHello();
        woman.sayHello();
        man = new Woman();
        man.sayHello();
    }
}
  • 这里不是根据静态类型决定的

    • 静态类型的Human两个变量manwoman在调用sayHello() 方法时执行了不同的行为
    • 变量man在两次调用中执行了不同的方法
  • 导致这个现象的额原因 :这两个变量的实际类型不同
  • Java虚拟机是如何根据实际类型分派方法的执行版本的:invokevirtual指令的多态查找过程开始 ,invokevirtual指令运行时解析过程大致分为以下几个步骤:

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

    • invokevirtual指令执行的第一步就是在运行时期确定接收者的实际类型,所以两次调用中的invokevirtual指令把常量池中的类方法符号引用解析到了不同的直接引用上
  • 这种在运行时期根据实际类型确定方法执行版本的分派过程就叫做动态分派

虚拟机动态分派的实现

  • 虚拟机概念解析的模式就是静态分派和动态分派,可以理解虚拟机在分派中 "会做什么" 这个问题
  • 虚拟机 "具体是如何做到的" 在各种虚拟机实现上会有差别:

    • 由于动态分派是非常频繁的动作,而且动态分派的方法版本选择过程需要运行时在类的方法元数据中搜索合适的目标方法

      • 因此在虚拟机的实际实现中,为了基于性能的考虑,大部分实现都不会真正的进行如此频繁的搜索
      • 最常用的"稳定优化"的方式是为类在方法区中建立一个虚方法表(Virtual Method Table,即vtable), 使用虚方法表索引代替元数据查找以提高性能

        • 虚方法表中存放着各个方法的实际入口地址:

          • 如果某个方法在子类中没有被重写,那子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的,都指向父类的实际入口
          • 如果子类中重写了这个方法,子类方法表中的地址将会替换为指向子类实际方法的入口地址
        • 具有相同签名的方法,在父类,子类的虚方法表中具有一样的索引序号:

          • 这样当类型变换时,仅仅需要变更查找的方法表,就可以从不同的虚方法表中按索引转换出所需要的入口地址
        • 方法表一般在类加载阶段的连接阶段进行初始化:

          • 准备了类的变量初始值后,虚拟机会把该类的方法表也初始化完毕

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
[已解决]:调用 LoadLibraryEx 失败,在 ISAPI 筛选器 "c:\Windows\Microsoft.NET\Framework\v4.0.30319\\aspnet_filter.
原文: [已解决]:调用 LoadLibraryEx 失败,在 ISAPI 筛选器 "c:\Windows\Microsoft.NET\Framework\v4.0.30319\\aspnet_filter.
1512 0
静态分析Smali添加日志
如何动手实现Smali添加日志
136 0
URL解析的几种模式以及拟静态重定向问题
最近工作遇到关于把长连接变成短连接的问题,于是想起tp里面的几种url解析模式:原文很经典:现在摘录原文; URL模式 ThinkPHP框架基于模块和操作的方式进行访问,由于ThinkPHP框架的应用采用单一入口文件来执行,因此网站的所有的模块和操作都通过URL的参数来访问和执行。
921 0
IDA反汇编/反编译静态分析iOS模拟器程序(三)函数表示与搜索函数
打开IDA一般都是去搜索函数,可以说函数是IDA工程的基本单位吧,数据结构什么的都是为函数服务而已。函数列表在界面左侧的Functions Window: 可以看到,UIKit有27789个函数呢。
891 0
关于Java中子类调用父类方法
版权声明:本文为博主原创文章,转载请注明出处。 https://blog.csdn.net/twilight_karl/article/details/53494296 当一个类继承于另一个类,子类中没有父类的方法时。
669 0
20.Eclipse下Ndk开发(pthread开启线程调用Java方法)
本项目最终的目的是在pthread线程中,调用Java一个工具类得到多个uuid,然后调用类中另一个方法弹出toast,实现在c中获取安卓上下文对象Context 编译native方法,生成头文件的一系列过程不再赘述,直接上代码,都在注释中 PosixUtils: package com.
987 0
IDA反汇编/反编译静态分析iOS模拟器程序(五)F5反编译
反编译是IDA最让人振奋的功能,它的本质是IDA的一个插件,不过会被当做hex-rays的另一个产品。既然是产品,那当然就另外收费,demo版是没有的。
1068 0
+关注
攻城狮Chova
一位有自我修养的攻城狮。 2006年《时代》周刊年度人物, 2008年感动中国组委会特别奖获得者。 专注分享技术干货,面试经验和攻城狮故事~ 欢迎点赞关注支持,是我持续进步的动力!
77
文章
0
问答
文章排行榜
最热
最新
相关电子书
更多
《2021云上架构与运维峰会演讲合集》
立即下载
《零基础CSS入门教程》
立即下载
《零基础HTML入门教程》
立即下载