JVM 7:方法的调用

1.方法调用的字节码指令

关于方法的调用,Java 字节码共提供了 5 个指令,来调用不同类型的方法:

  • invokestatic 用来调用静态方法;
  • invokespecial 用于调用私有实例方法、构造器及 super 关键字等;
  • invokevirtual 用于调用非私有实例方法,比如 public 和 protected,大多数方法调用属于这一种;
  • invokeinterface 和上面这条指令类似,不过作用于接口类;
  • invokedynamic 用于调用动态方法。

2.非虚方法

  • 如果方法在编译期就确定了具体的调用版本,这个版本在运行时是不可变的,这样的方法称为非虚方法。
  • 只要能被 invokestatic 和 invokespecial 指令调用的方法,都可以在解析阶段中确定唯一的调用版本,Java 语言里符合这个条件的方法共有静态方法、私有 方法、实例构造器、父类方法 4 种,再加上被 final 修饰的方法(尽管它使用 invokevirtual 指令调用),这 5 种方法调用会在类加载的时候就可以把符号引用 解析为该方法的直接引用。不需要在运行时再去完成。
  • Class文件查看工具
  1. javap 是 JDK 自带的反解析工具。它的作用是将 .class 字节码文件解析成可读的文件格式。 在使用 javap 时添加 -v 参数,尽量多打印一些信息。同时,使用 -p 参数,打印一些私有的字段和方法。

  2. jclasslib 是一个图形化的工具,能够更加直观的查看字节码中的内容。它还分门别类的对类中的各个部分进行了整理,非常的人性化。同时,它还提供了 Idea 的插件,可以从 plugins 中搜索到它。 jclasslib 的下载地址:https://github.com/ingokegel/jclasslib

  • invokestatic 用来调用静态方法;
    在这里插入图片描述
    在这里插入图片描述
  • 这个方法调用在编译期间就明确以常量池项的形式固化在字节码指令的参数之中了。
    在这里插入图片描述
  • invokespecial 用于调用私有实例方法、构造器及 super 关键字等;
    在这里插入图片描述

3.虚方法

  • 与非虚方法相反,不是虚方法的方法就是虚方法。主要包括以下字节码中的两类
  1. invokevirtual 用于调用非私有实例方法,比如 public 和 protected,大多数方法调用属于这一种(排除掉被 final 修饰的方法);
  2. invokeinterface 和上面这条指令类似,不过作用于接口类;
  • 为什么叫做虚方法呢?就是方法在运行时是可变的。
  • 很多时候,JVM 需要根据调用者的动态类型,来确定调用的目标方法,这就是动态绑定的过程;相对比,invokestatic 指令加上 invokespecial 指令,就属于静态绑定过程。
  • 因为 invokeinterface 指令跟 invokevirtual 类似,只是作用与接口,所以我们只要熟悉 invokevirtual 即可。
3.1分派
  • 要了解虚方法必须了解以下基础:
  • Java 是一门面向对象的程序语言,因为 Java 具备面向对象的 3 个基本特征:继承、封装和多态。
  • 分派调用过程将会揭示多态性特征的一些最基本的体现,如“重载”和“重写”在 Java 虚拟机之中是如何实现的
3.1.1静态分派
  • 多见于方法的重载。(重载:一个类中允许同时存在一个以上的同名方法,这些方法的参数个数或者类型不同)
    在这里插入图片描述
  • “Human”称为变量的静态类型(Static Type),或者叫做的外观类型(Apparent Type),后面的“Man”则称为变量的实际类型(Actual Type)。 静态类型和实际类型在程序中都可以发生一些变化,区别是静态类型的变化仅仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型 是在编译期可知的;而实际类型变化的结果在运行期才可确定,编译器在编译程序的时候并不知道一个对象的实际类型是什么。
  • 代码中定义了两个静态类型相同但实际类型不同的变量,但虚拟机(准确地说是编译器)在重载时是通过参数的静态类型而不是实际类型作为判定依据的。并且静态类型是编译期可知的,因此,在编译阶段,Javac 编译器会根据参数的静态类型决定使用哪个重载版本,所以选择了 sayHello(Human) 作为调用目标。所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。 静态分派的典型应用是方法重载。
  • 静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行的。 所以代码运行结果如下:
    在这里插入图片描述
    在这里插入图片描述
  • 总结:方法会根据你送入的参数有不同的表现形式,这个就是分派。方法只认识传入参数的最原始的外观类型。
3.1.2动态分派
  • 多见于方法的重写。(重写:在子类中将父类的成员方法的名称保留,重新编写成员方法的实现内容,更改方法的访问权限,修改返 回类型的为父类返回类型的子类。)
  • 另外一个例子:
    在这里插入图片描述
  • 重写也是使用 invokevirtual 指令,只是这个时候具备多态性。
  • invokevirtual 指令有多态查找的机制,该指令运行时,解析过程如下:
  1. 找到操作数栈顶的第一个元素所指向的对象实际类型,记做 c;
  2. 如果在类型 c 中找到与常量中的描述符和简单名称都相符的方法,则进行访问权限校验,如果通过则返回这个方法直接引用,查找过程结束,不通过则返回 java.lang.IllegalAccessError;
  3. 否则,按照继承关系从下往上依次对 c 的各个父类进行第二步的搜索和验证过程;
  4. 如果始终没找到合适的方法,则抛出 java.lang.AbstractMethodError 异常,这就是 Java 语言中方法重写的本质。
  • 对应虚拟机栈中栈中的内容,引出动态链接的概念:
  • invokevirtual 可以知道方法 call()的符号引用转换是在运行时期完成的,在方法调用的时候。部分符号引用在运行期间转化为直接引用,这种转化就是动态链接

方法表

  • 动态分派会执行非常频繁的动作,JVM 运行时会频繁的、反复的去搜索元数据,所以 JVM 使用了一种优化手段,这个就是在方法区中建立一个虚方法表。 使用虚方法表索引来替代元数据查找以提高性能
  • 在实现上,最常用的手段就是为类在方法区中建立一个虚方法表。虚方法表中存放着各个方法的实际入口地址。如果某个方法在子类中没有被重写,那 子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的,都指向父类的实现入口。如果子类中重写了这个方法,子类方法表中的地址将会 替换为指向子类实现版本的入口地址。上图中,Son 重写了来自 Father 的全部方法,因此 Son 的方法表没有指向 Father 类型数据的箭头。但是 Son 和 Father 都没有重写来自 Object 的方法,所以它们的方法表中所有从 Object 继承来的方法都指向了 Object 的数据类型。
    在这里插入图片描述
3.2接口调用
  • invokeinterface 和 invokevirtual 指令类似,不过作用于接口类;
    在这里插入图片描述
3.3Lambda 表达式
  • invokedynamic 这个字节码是比较复杂。和反射类似,它用于一些动态的调用场景,但它和反射有着本质的不同,效率也比反射要高得多。
3.3.1invokedynamic
  • 这个指令通常在 Lambda 语法中出现,看下段代码:
    在这里插入图片描述
  • 使用 javap -p -v 命令可以在 main 方法中看到 invokedynamic 指令:
    在这里插入图片描述
  • 看 javap 的输出:
    在这里插入图片描述
  • BootstrapMethods 属性在 Java 1.7 以后才有,位于类文件的属性列表中,这个属性用于保存 invokedynamic 指令引用的引导方法限定符。
  • 和上面介绍的四个指令不同,invokedynamic 并没有确切的接受对象,取而代之的,是一个叫 CallSite 的对象。
3.3.2方法句柄(MethodHandle)
  • 官方文档解释:https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/MethodHandles.html
  • invokedynamic 指令的底层,是使用方法句柄(MethodHandle)来实现的。方法句柄是一个能够被执行的引用,它可以指向静态方法和实例方法,以及虚 构的 get 和 set 方法,从以下案例中可以看到 MethodHandle 提供的一些方法。
    在这里插入图片描述
  • MethodHandle 是什么?简单的说就是方法句柄,通过这个句柄可以调用相应的方法。
  • 用 MethodHandle 调用方法的流程为:
    (1) 创建 MethodType,获取指定方法的签名(出参和入参)
    (2) 在 Lookup 中查找 MethodType 的方法句柄 MethodHandle
    (3) 传入方法参数通过 MethodHandle 调用方法

代码示例
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

MethodType

  • MethodType 表示一个方法类型的对象,每个 MethodHandle 都有一个 MethodType 实例,MethodType 用来指明方法的返回类型和参数类型。其有多个工厂方法的重载。
    在这里插入图片描述
    在这里插入图片描述

Lookup

  • MethodHandle.Lookup 可以通过相应的 findxxx 方法得到相应的 MethodHandle,相当于 MethodHandle 的工厂方法。查找对象上的工厂方法对应于方法、 构造函数和字段的所有主要用例。
  • findStatic 相当于得到的是一个 static 方法的句柄(类似于 invokestatic 的作用),findVirtual 找的是普通方法(类似于 invokevirtual 的作用)
    在这里插入图片描述

invoke

  • invoke 和 invokeExact,前者在调用的时候可以进行返回值和参数的类型转换工作,而后者是精确匹配的。
    在这里插入图片描述
3.3.3Lambda 表达式的捕获与非捕获
  • 当 Lambda 表达式访问一个定义在 Lambda 表达式体外的非静态变量或者对象时,这个 Lambda 表达式称为“捕获的”
    在这里插入图片描述

  • 那么“非捕获”的 Lambda 表达式来就是 Lambda 表达式没有访问一个定义在 Lambda 表达式体外的非静态变量或者对象
    在这里插入图片描述

  • Lambda 表达式是否是捕获的和性能悄然相关。一个非捕获的 lambda 通常比捕获的更高效,非捕获的 lambda 只需要计算一次. 然后每次使用到它都会返 回一个唯一的实例。而捕获的 lambda 表达式每次使用时都需要重新计算一次,而且从目前实现来看,它很像实例化一个匿名内部类的实例。

  • lambda 最差的情况性能内部类一样, 好的情况肯定比内部类性能高。

  • Oracle 公司的性能比较的文档,详细而全面的比较了 lambda 表达式和匿名函数之间的性能差别。

  • lambda 开发组也有一篇 PPT 其中也讲到了 lambda 的性能(包括 capture 和非 capture 的情况)。 lambda 最差的情况性能内部类一样, 好的情况肯定比内部类性能高。
    https://www.oracle.com/technetwork/java/jvmls2013kuksen-2014088.pdf
    http://nerds-central.blogspot.tw/2013/03/java-8-lambdas-they-are-fast-very-fast.html

  • Lambda 语言实际上是通过方法句柄来完成的,大致这么实现(JVM 编译的时候使用 invokedynamic 实现 Lambda 表达式,invokedynamic 的是使用 MethodHandle 实现的,所以 JVM 会根据你编写的 Lambda 表达式的代码,编译出一套可以去调用 MethodHandle 的字节码代码,参考实例类:MethodHandleDemo

  • 句柄类型(MethodType)是我们对方法的具体描述,配合方法名称,能够定位到一类函数。访问方法句柄和调用原来的指令基本一致,但它的调用异常, 包括一些权限检查,在运行时才能被发现。

  • 案例中,完成了动态语言的特性,通过方法名称和传入的对象主体,进行不同的调用,而 Bike 和 Man 类,可以没有任何关系。

  • 可以看到 Lambda 语言实际上是通过方法句柄来完成的,在调用链上自然也多了一些调用步骤,那么在性能上,是否就意味着 Lambda 性能低呢?对于大部分“非捕获”的 Lambda 表达式来说,JIT 编译器的逃逸分析能够优化这部分差异,性能和传统方式无异;但对于“捕获型”的表达式来说,则需要通过方法句柄,不断地生成适配器,性能自然就低了很多(不过和便捷性相比,一丁点性能损失是可接受的)。

  • invokedynamic 指令,它实际上是通过方法句柄来实现的。使用 Lambda 表达式时,尽量使用“非捕获”的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值