INDY工具的使用（读深入理解java虚拟机验证）

什么是INDY

由于invokedynamic指令所面对的使用者并非java语言，而是其他java虚拟机支持的动态语言，因此仅依靠java语言的编译器javac没有办法生成带有invokedynamic指令的字节码，所以要使用java语言来演示invokedynamic指令只能用一些变通的办法。John Rose编写了一个把程序的字节码转换未使用invokedynamic的简单工具INDY来完成这件事情，我们要用这个工具来产生最终要的字节码。

代码验证

转换类 InvokeDynamicTest

import java.lang.invoke.CallSite;
import java.lang.invoke.ConstantCallSite;
import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;

/**
 * @author hyl
 * @version v1.0: InvokeDynamicTest.java, v 0.1 2020/8/31 15:23 $
 */
public class InvokeDynamicTest {

    public static void testMethod(String s) {
        System.out.println("hello string:" + s);
    }

    public static CallSite BootstrapMethod(MethodHandles.Lookup lookup, String name, MethodType mt) throws Throwable {
        return new ConstantCallSite(lookup.findStatic(InvokeDynamicTest.class, name, mt));
    }

    private static MethodType MT_BootstrapMethod() {
        return MethodType.fromMethodDescriptorString(
            "(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;",
            null);
    }

    private static MethodHandle MH_BootstrapMethod() throws Throwable {
        return MethodHandles.lookup()
            .findStatic(InvokeDynamicTest.class, "BootstrapMethod", MT_BootstrapMethod());
    }

    private static MethodHandle INDY_BootstrapMethod() throws Throwable{
        CallSite cs = (CallSite)MH_BootstrapMethod().invokeWithArguments(MethodHandles.lookup(),"testMethod",MethodType.fromMethodDescriptorString("(Ljava/lang/String;)V",null));
        return cs.dynamicInvoker();
    }

    public static void main(String[] args) throws Throwable {
        INDY_BootstrapMethod().invokeExact("hyl");
    }
}

测试类 ExampleTest

/**
 * @author hyl
 * @version v1.0: ExampleTest.java, v 0.1 2020/8/31 16:50 $
 */
public class ExampleTest {
    public static void main(String[] args) throws Throwable {
        System.out.println("main");
        Indify.main("--verify-specifier-count=1",
            /*INDY工具将Example.class转换成等效的class文件存放路径*/
            "--dest=INDY/",
            "--verbose",
            "--expand-properties", "--classpath", "${java.class.path}",
            /*输入class文件Example.class的全路径,然后使用javap打开该文件*/
            "D:\\git\\mybase\\projects\\github\\learner-JVM\\target\\classes\\com\\hyl\\learnerJVM\\jvmstack\\InvokeDynamicTest.class");
        //Example.main();
    }
}

工具类 Indify

链接：https://pan.baidu.com/s/1vQnzHEl1inVeIwA3T2NFtw
提取码：zfqh

后记

开始一直没有成功，工具格式不对，字符串有遗漏，还有转换类的关键方法 private 自己写成了 public。浪费了很多时间，特意记录一下。

参考

https://blog.csdn.net/QWE123ZXCZ/article/details/82764748

《深入理解Java虚拟机》第三版，周志明著。