java - InvokeDynamic 参数的动态类型

Question

为了支持动态类型和方法分派(dispatch)，我的编程语言引入了一种称为dynamic 的类型。当在类型为 dynamic 的被调用者上调用方法时，编译器首先将被调用者和所有参数压入堆栈，然后生成一条 invokedynamic 指令而不是普通的 调用*指令。该指令指向名为 DynamicLinker 的类中的一个特殊引导方法，但调用时只有静态类型可用。

我的问题:如何获取传递给 invokedynamic 指令的参数的运行时类型？

Answer 1

invokedynamic 的“动态” 部分并不意味着方法参数可以具有动态类型。它更意味着 invoke 指令的行为可以定制。 invokedynamic 参数的确切类型在编译时已知。