Answers:
这是一条新的JVM指令,它允许编译器生成代码,以比以前更宽松的规范来调用方法-如果您知道“ 鸭子类型 ”是什么,invokedynamic基本上允许进行鸭子类型。作为Java程序员,您的工作量并不太多。但是,如果您是工具的创建者,则可以使用它来构建更灵活,更高效的基于JVM的语言。这是一篇非常贴切的博客文章,提供了很多细节。
MethodHandle
,这的确是一样的东西,但具有更大的灵活性。但是,所有这一切的真正力量并不在于Java语言之外,而在于JVM本身支持本质上更具动态性的其他语言的能力。
invokedynamic
从而使lambda 表现出色(与将它们包装到匿名内部类中相比,这几乎是引入之前的唯一选择invokedynamic
)。JVM之上的许多功能性编程语言很可能会选择编译为该类,而不是内部非类。
不久前,C#添加了一个很酷的功能,即C#中的动态语法
Object obj = ...; // no static type available
dynamic duck = obj;
duck.quack(); // or any method. no compiler checking.
将其视为反射方法调用的语法糖。它可以具有非常有趣的应用程序。参见http://www.infoq.com/presentations/Statically-Dynamic-Typing-Neal-Gafter
负责C#动态类型的Neal Gafter刚刚从SUN叛逃到MS。因此,可以认为在SUN内部讨论过相同的事情并不是没有道理的。
我记得不久之后,一些Java伙计宣布了类似的内容
InvokeDynamic duck = obj;
duck.quack();
不幸的是,该功能在Java 7中找不到。非常令人失望。对于Java程序员来说,他们没有简单的方法可以invokedynamic
在程序中加以利用。
invokedynamic
从未打算供Java程序员使用。IMO根本不符合Java哲学。它被添加为非Java语言的JVM功能。
在继续调用动态之前,有两个概念需要理解。
1.静态与动态输入
静态的 -编译时进行瓶坯类型检查(例如Java)
动态 -在运行时进行瓶坯类型检查(例如JavaScript)
类型检查是验证程序是否为类型安全的过程,即检查类和实例变量,方法参数,返回值和其他变量的类型化信息。例如,Java在编译时就知道int,String等,而JavaScript中的对象类型只能在运行时确定
2.强vs.弱打字
强 -指定对其操作提供的值类型的限制(例如Java)
弱 -如果操作的参数具有不兼容的类型(例如,Visual Basic),则将其转换(转换)
知道Java是静态类型和弱类型的语言,您如何在JVM上实现动态类型和强类型的语言?
invokedynamic实现了一个运行时系统,该系统可以在程序编译后选择最合适的方法或函数实现。
示例: 在编译时拥有(a + b)并且对变量a,b一无所知,invokedynamic在运行时将此操作映射到Java中最合适的方法。例如,如果结果a,b是字符串,则调用method(String a,String b)。如果结果a,b是整数,则调用method(int a,int b)。
Java 7中引入了invokedynamic。
在我的Java Records文章中,我阐述了Inoke Dynamic背后的动机。让我们从Indy的粗略定义开始。
Invoke Dynamic(也称为Indy)是JSR 292的一部分,旨在增强JVM对动态类型语言的支持。在Java 7中首次发布后,invokedynamic
操作码及其java.lang.invoke
行李箱被基于动态JVM的语言(如JRuby)广泛使用。
尽管indy专为增强动态语言支持而设计,但它提供的功能远不止这些。事实上,适合语言设计人员需要从动态类型的杂技到动态策略的任何形式的动态的地方!
例如,即使Java是静态类型的语言,Java 8 Lambda表达式实际上是使用实现的invokedynamic
!
一段时间以来,JVM确实支持四种方法调用类型:invokestatic
调用静态方法,invokeinterface
调用接口方法,invokespecial
调用构造函数super()
或私有方法以及invokevirtual
调用实例方法。
尽管它们之间存在差异,但这些调用类型具有一个共同的特征:我们无法用自己的逻辑丰富它们。相反,invokedynamic
使我们能够以所需的任何方式引导调用过程。然后,JVM负责直接调用Bootstrapped方法。
JVM第一次看到invokedynamic
指令时,会调用一个称为Bootstrap Method的特殊静态方法。bootstrap方法是一段我们编写的Java代码,用于准备实际的调用逻辑:
然后bootstrap方法返回的实例java.lang.invoke.CallSite
。这CallSite
是对实际方法的参考,即MethodHandle
。
从现在开始,每次JVM invokedynamic
再次看到该指令时,它都会跳过慢速路径并直接调用基础可执行文件。除非有所更改,否则JVM会继续跳过慢速路径。
Java 14 Records
提供了一种很好的紧凑语法,用于声明应该是哑数据持有人的类。
考虑以下简单记录:
public record Range(int min, int max) {}
此示例的字节码将类似于:
Compiled from "Range.java"
public java.lang.String toString();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aload_0
1: invokedynamic #18, 0 // InvokeDynamic #0:toString:(LRange;)Ljava/lang/String;
6: areturn
在其Bootstrap方法表中:
BootstrapMethods:
0: #41 REF_invokeStatic java/lang/runtime/ObjectMethods.bootstrap:
(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;
Ljava/lang/invoke/TypeDescriptor;Ljava/lang/Class;
Ljava/lang/String;[Ljava/lang/invoke/MethodHandle;)Ljava/lang/Object;
Method arguments:
#8 Range
#48 min;max
#50 REF_getField Range.min:I
#51 REF_getField Range.max:I
因此,将调用Records 的引导方法,该方法bootstrap
位于java.lang.runtime.ObjectMethods
类中。如您所见,此引导程序方法需要以下参数:
MethodHandles.Lookup
表示查找上下文的实例(该Ljava/lang/invoke/MethodHandles$Lookup
部分)。toString
,equals
,hashCode
等等)引导将要链接。例如,当值为时toString
,bootstrap将返回一个ConstantCallSite
(CallSite
永远不变)的指针,该指针指向toString
该特定Record 的实际实现。TypeDescriptor
的方法(Ljava/lang/invoke/TypeDescriptor
部分)。Class<?>
,代表Record类的类型。它的
Class<Range>
在这种情况下。min;max
。MethodHandle
每个组件一个。这样,bootstrap方法就可以MethodHandle
基于该特定方法实现的组件创建一个。该invokedynamic
指令将所有这些参数传递给bootstrap方法。Bootstrap方法又返回的实例ConstantCallSite
。这ConstantCallSite
持有对请求的方法实现的引用,例如toString
。
与反射API相对,该java.lang.invoke
API效率很高,因为JVM可以完全查看所有调用。因此,只要我们尽可能避免缓慢的路径,JVM可能会应用各种优化!
除了效率方面的论点之外,invokedynamic
由于其简单性,该方法更可靠,更不易碎。
此外,为Java记录生成的字节码与属性的数量无关。因此,更少的字节码和更快的启动时间。
最后,让我们假设Java的新版本包含一个新的且更有效的bootstrap方法实现。使用invokedynamic
,我们的应用无需重新编译即可利用此改进。这样,我们就具有某种正向二进制兼容性。另外,这就是我们正在讨论的动态策略!
除了Java Records,invoke动态还用于实现以下功能:
LambdaMetafactory
StringConcatFactory
meth.invoke(args)
。那么如何invokedynamic
配合meth.invoke
呢?