深入理解JVM - 动态类型语言

最新推荐文章于 2023-02-13 21:14:09 发布

千锋-陈.Mr

最新推荐文章于 2023-02-13 21:14:09 发布

阅读量334

点赞数

文章标签： java 开发语言后端

原文链接：https://www.52pojie.cn/thread-1498277-1-1.html

版权

概述

介绍什么是动态类型语言，以及java为什么是静态语言的讲解。
介绍invokeDynamic指令在实际案例中的运用
介绍java实现动态语言调用的一些曲线救国的手段。

加端端老师免费领取更多编程资料

动态类型语言

什么是动态类型语言

动态类型语言的关键特征是它的类型检查的主体过程是在运行期而不是编译期。而java就是典型的静态类型语言，需要在编码的过程中确定的，静态的语言也意味着所有的类型在编译器必须确定。

为什么java是静态类型？

这里牵扯到一个问题就是为什么java是静态类型呢？我们可以看一下invokeVitual命令，这个命令根据如下的内容，确定一个属性的全类名，以及类型，在符号引用的阶段可以看到基本的内容：

invokevirtual #4; //Method java/io/PrintStream.println:(Ljava/lang/String;)V

这些符号引用在翻译为直接引用是需要确切的类型的，所以在早期的java天生缺乏动态语言的支持。

动态语言类型支持

java在jdk7之后加入了动态语言支持，关于加入动态语言类型的支持核心是使用invoke dynamic命令，这种方式使用了类似曲线救国的方式，也是为兼容考虑不得不做的一种妥协，比如最常见的类型数组，在java中我们必须声明确数组存放的类型，而jdk引入了invokeDynamic这个指令之后，就可以完成对于一个方法参数的动态调用。

动态类型语言是可以让对象的类型可以在运行时候再确定，比如JS和Python的var。

invokedynamic指令

下面来说下invoke这个指令是如何实现动态类型语言的，在java中是无法把一个函数作为参数传递的，更多的方式使用类似实现接口的方式进行处理，而新的指令在某种程度上是使用类似MethodHandle的方式进行处理的，MethodHandle是对通过字节码的方法指令调用的模拟，但和反射不同的是反射是基于Java语言服务的，而MethodHandler则是服务于所有虚拟机上的一种语言。

每一处含有invokedynamic指令的位置都被称作“动态调用点(Dynamically-Computed Call Site)”，这条指令的第一个参数不再是代表方法符号引用的CONSTANT_Methodref_info常量，而是变为JDK 7 时新加入的CONSTANT_InvokeDynamic_info常量，从这个新常量中可以得到3项信息:引导方法 (Bootstrap Method，该方法存放在新增的BootstrapMethods属性中)、方法类型(MethodType)和名称。

为了更好的理解这个命令，下面我们来看下实际运行过程当中的应用，比如在jdk8中引入的lambada表达式和默认方法就是通过invokedynamic命令实现的，但是使用jdk8的实现看起来比较难以理解，下面来看一下书中给的一段案例代码：

加端端老师免费领取更多编程资料

 复制代码 隐藏代码
Constant pool:
#121 = NameAndType #33:#30 // testMethod:(Ljava/lang/String;)V #123 = InvokeDynamic #0:#121 // #0:testMethod:(Ljava/lang/String;)V
public static void main(java.lang.String[]) throws java.lang.Throwable; Code:
stack=2, locals=1, args_size=1
0: ldc #23 // String abc
2: invokedynamic #123, 0 // InvokeDynamic #0:testMethod: (Ljava/lang/String;)V 7: nop
8: return
public static java.lang.invoke.CallSite BootstrapMethod(java.lang.invoke.Method Handles$Lookup, java.lang.Strin Code:
    stack=6, locals=3, args_size=3
0: new
3: dup
4: aload_0
5: ldc
7: aload_1
8: aload_2
9: invokevirtual #65
12: invokespecial #71 15: areturn
#63
#1
// class java/lang/invoke/ConstantCallSite
// class org/fenixsoft/InvokeDynamicTest
// Method java/lang/invoke/MethodHandles$ Lookup.findStatic:(Ljava/lang/Cl // Method java/lang/invoke/ConstantCallSite. "<init>":(Ljava/lang/invoke/M

从上面的方法调用可以看到，使用的是invokeDynamic的调用指令以及参数为第123项的常量，比如如下的内容：