Scripting Java #3：Groovy与invokedynamic

最新推荐文章于 2021-09-20 18:18:32 发布
最新推荐文章于 2021-09-20 18:18:32 发布
阅读量103 收藏
点赞数
文章标签： java runtime 数据库
原文链接：https://yq.aliyun.com/articles/368742
版权

只需看看今天Groovy语言实现机制。在此之前，是第一个推倒静态类型与动态类型语言在实现上面的一些差异。

静态类型 vs. 动态类型

看以下这个简单的栗子。

def addtwo(a, b) {
    return a + b;
}

静态类型语言与动态类型语言对于上面这个简单的加法实现全然不同。静态类型语言。比如Java。语言的编译器在编译时就已经进行类型检查，所以能够将+运算符编译成特定的指令。语言的runtime系统能够直接执行该指令。比如javac会将两个int类型的+运算编译成iadd指令，执行时由JVM直接执行iadd指令。

而对于动态类型语言，因为须要到执行时才干确定变量的类型，因此运算符的详细实现也须要到执行时才干确定。a + b会被编译成相似(+ a b)这个方案调用（Lisp风格^_^）。+仅仅是个方法名。语言的runtime系统须要依据方法名（+）和參数类型（a和b的类型）来确定这个加法运算的详细实现。

The challenge of compiling dynamically typed languages is how to implement a runtime system that can choose the most appropriate implementation of a method or function — after the program has been compiled.

总而言之，言而总之。静态类型语言苦了编译器爽了执行时。动态类型语言爽了编译器苦了执行时。

既然是这样，那以下我们就来看看Groovy的编译器（groovyc）是怎么苦了Groovy的runtime系统的。

invokedynamic之前

使用groovyc编译上面的栗子。得到class文件。javap看下字节码，

> groovyc demo.groovy
> javap -v -p demo
Classfile /C:/Users/tongyuan.zbs/demo.class
  Last modified 2015-3-7; size 2287 bytes
  MD5 checksum ee25ddebc1ef5ab750baebf75f8031b6
  Compiled from "demo.groovy"
public class demo extends groovy.lang.Script
  SourceFile: "demo.groovy"
  minor version: 0
  major version: 49
  flags: ACC_PUBLIC, ACC_SUPER

Constant pool:
    #1 = Utf8               demo
    #2 = Class              #1            //  demo
    #3 = Utf8               groovy/lang/Script
    #4 = Class              #3            //  groovy/lang/Script
    #5 = Utf8               demo.groovy
    #6 = Utf8               $staticClassInfo
    #7 = Utf8               Lorg/codehaus/groovy/reflection/ClassInfo;
    #8 = Utf8               __$stMC
    #9 = Utf8               Z
   #10 = Utf8               <init>
   #11 = Utf8               ()V
   #12 = NameAndType        #10:#11       //  "<init>":()V
   #13 = Methodref          #4.#12        //  groovy/lang/Script."<init>":()V
   #14 = Utf8               $getCallSiteArray
   #15 = Utf8               ()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
   #16 = NameAndType        #14:#15       //  $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
   #17 = Methodref          #2.#16        //  demo.$getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
   #18 = Utf8               this
   #19 = Utf8               Ldemo;
   #20 = Utf8               (Lgroovy/lang/Binding;)V
   #21 = NameAndType        #10:#20       //  "<init>":(Lgroovy/lang/Binding;)V
   #22 = Methodref          #4.#21        //  groovy/lang/Script."<init>":(Lgroovy/lang/Binding;)V
   #23 = Utf8               context
   #24 = Utf8               Lgroovy/lang/Binding;
   #25 = Utf8               main
   #26 = Utf8               ([Ljava/lang/String;)V
   #27 = Integer            0
   #28 = Utf8               org/codehaus/groovy/runtime/InvokerHelper
   #29 = Class              #28           //  org/codehaus/groovy/runtime/InvokerHelper
   #30 = Utf8               org/codehaus/groovy/runtime/callsite/CallSite
   #31 = Class              #30           //  org/codehaus/groovy/runtime/callsite/CallSite
   #32 = Utf8               call
   #33 = Utf8               (Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #34 = NameAndType        #32:#33       //  call:(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #35 = InterfaceMethodref #31.#34       //  org/codehaus/groovy/runtime/callsite/CallSite.call:(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #36 = Utf8               args
   #37 = Utf8               [Ljava/lang/String;
   #38 = Utf8               run
   #39 = Utf8               ()Ljava/lang/Object;
   #40 = Utf8               addtwo
   #41 = Utf8               (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #42 = Integer            1
   #43 = NameAndType        #32:#41       //  call:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #44 = InterfaceMethodref #31.#43       //  org/codehaus/groovy/runtime/callsite/CallSite.call:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
   #45 = Utf8               a
   #46 = Utf8               Ljava/lang/Object;
   #47 = Utf8               b
   #48 = Utf8               $getStaticMetaClass
   #49 = Utf8               ()Lgroovy/lang/MetaClass;
   #50 = Utf8               java/lang/Object
   #51 = Class              #50           //  java/lang/Object
   #52 = Utf8               getClass
   #53 = Utf8               ()Ljava/lang/Class;
   #54 = NameAndType        #52:#53       //  getClass:()Ljava/lang/Class;
   #55 = Methodref          #51.#54       //  java/lang/Object.getClass:()Ljava/lang/Class;
   #56 = Utf8               org/codehaus/groovy/runtime/ScriptBytecodeAdapter
   #57 = Class              #56           //  org/codehaus/groovy/runtime/ScriptBytecodeAdapter
   #58 = Utf8               initMetaClass
   #59 = Utf8               (Ljava/lang/Object;)Lgroovy/lang/MetaClass;
   #60 = NameAndType        #58:#59       //  initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
   #61 = Methodref          #57.#60       //  org/codehaus/groovy/runtime/ScriptBytecodeAdapter.initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
   #62 = NameAndType        #6:#7         //  $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
   #63 = Fieldref           #2.#62        //  demo.$staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
   #64 = Utf8               org/codehaus/groovy/reflection/ClassInfo
   #65 = Class              #64           //  org/codehaus/groovy/reflection/ClassInfo
   #66 = Utf8               getClassInfo
   #67 = Utf8               (Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
   #68 = NameAndType        #66:#67       //  getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
   #69 = Methodref          #65.#68       //  org/codehaus/groovy/reflection/ClassInfo.getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
   #70 = Utf8               getMetaClass
   #71 = NameAndType        #70:#49       //  getMetaClass:()Lgroovy/lang/MetaClass;
   #72 = Methodref          #65.#71       //  org/codehaus/groovy/reflection/ClassInfo.getMetaClass:()Lgroovy/lang/MetaClass;
   #73 = Utf8               $callSiteArray
   #74 = Utf8               Ljava/lang/ref/SoftReference;
   #75 = Utf8               $createCallSiteArray_1
   #76 = Utf8               runScript
   #77 = String             #76           //  runScript
   #78 = Utf8               plus
   #79 = String             #78           //  plus
   #80 = Utf8               $createCallSiteArray
   #81 = Utf8               ()Lorg/codehaus/groovy/runtime/callsite/CallSiteArray;
   #82 = Integer            2
   #83 = Utf8               java/lang/String
   #84 = Class              #83           //  java/lang/String
   #85 = NameAndType        #75:#26       //  $createCallSiteArray_1:([Ljava/lang/String;)V
   #86 = Methodref          #2.#85        //  demo.$createCallSiteArray_1:([Ljava/lang/String;)V
   #87 = Utf8               org/codehaus/groovy/runtime/callsite/CallSiteArray
   #88 = Class              #87           //  org/codehaus/groovy/runtime/callsite/CallSiteArray
   #89 = Utf8               (Ljava/lang/Class;[Ljava/lang/String;)V
   #90 = NameAndType        #10:#89       //  "<init>":(Ljava/lang/Class;[Ljava/lang/String;)V
   #91 = Methodref          #88.#90       //  org/codehaus/groovy/runtime/callsite/CallSiteArray."<init>":(Ljava/lang/Class;[Ljava/lang/String;)V
   #92 = NameAndType        #73:#74       //  $callSiteArray:Ljava/lang/ref/SoftReference;
   #93 = Fieldref           #2.#92        //  demo.$callSiteArray:Ljava/lang/ref/SoftReference;
   #94 = Utf8               java/lang/ref/SoftReference
   #95 = Class              #94           //  java/lang/ref/SoftReference
   #96 = Utf8               get
   #97 = NameAndType        #96:#39       //  get:()Ljava/lang/Object;
   #98 = Methodref          #95.#97       //  java/lang/ref/SoftReference.get:()Ljava/lang/Object;
   #99 = NameAndType        #80:#81       //  $createCallSiteArray:()Lorg/codehaus/groovy/runtime/callsite/CallSiteArray;
  #100 = Methodref          #2.#99        //  demo.$createCallSiteArray:()Lorg/codehaus/groovy/runtime/callsite/CallSiteArray;
  #101 = Utf8               (Ljava/lang/Object;)V
  #102 = NameAndType        #10:#101      //  "<init>":(Ljava/lang/Object;)V
  #103 = Methodref          #95.#102      //  java/lang/ref/SoftReference."<init>":(Ljava/lang/Object;)V
  #104 = Utf8               array
  #105 = Utf8               [Lorg/codehaus/groovy/runtime/callsite/CallSite;
  #106 = NameAndType        #104:#105     //  array:[Lorg/codehaus/groovy/runtime/callsite/CallSite;
  #107 = Fieldref           #88.#106      //  org/codehaus/groovy/runtime/callsite/CallSiteArray.array:[Lorg/codehaus/groovy/runtime/callsite/CallSite;
  #108 = Utf8               Code
  #109 = Utf8               LocalVariableTable
  #110 = Utf8               LineNumberTable
  #111 = Utf8               SourceFile
{
  private static org.codehaus.groovy.reflection.ClassInfo $staticClassInfo;
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC


  public static transient boolean __$stMC;
    flags: ACC_PUBLIC, ACC_STATIC, ACC_TRANSIENT, ACC_SYNTHETIC


  private static java.lang.ref.SoftReference $callSiteArray;
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC


  public demo();
    flags: ACC_PUBLIC

    Code:
      stack=1, locals=2, args_size=1
         0: aload_0       
         1: invokespecial #13                 // Method groovy/lang/Script."<init>":()V
         4: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
         7: astore_1      
         8: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               4       4     0  this   Ldemo;

  public demo(groovy.lang.Binding);
    flags: ACC_PUBLIC

    Code:
      stack=2, locals=3, args_size=2
         0: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
         3: astore_2      
         4: aload_0       
         5: aload_1       
         6: invokespecial #22                 // Method groovy/lang/Script."<init>":(Lgroovy/lang/Binding;)V
         9: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       9     0  this   Ldemo;
               0       9     1 context   Lgroovy/lang/Binding;

  public static void main(java.lang.String...);
    flags: ACC_PUBLIC, ACC_STATIC, ACC_VARARGS

    Code:
      stack=4, locals=2, args_size=1
         0: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
         3: astore_1      
         4: aload_1       
         5: ldc           #27                 // int 0
         7: aaload        
         8: ldc           #29                 // class org/codehaus/groovy/runtime/InvokerHelper
        10: ldc           #2                  // class demo
        12: aload_0       
        13: invokeinterface #35,  4           // InterfaceMethod org/codehaus/groovy/runtime/callsite/CallSite.call:(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
        18: pop           
        19: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0      19     0  args   [Ljava/lang/String;

  public java.lang.Object run();
    flags: ACC_PUBLIC

    Code:
      stack=1, locals=2, args_size=1
         0: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
         3: astore_1      
         4: aconst_null   
         5: areturn       
         6: aconst_null   
         7: areturn       
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       6     0  this   Ldemo;

  public java.lang.Object addtwo(java.lang.Object, java.lang.Object);
    flags: ACC_PUBLIC

    Code:
      stack=3, locals=4, args_size=3
         0: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
         3: astore_3      
         4: aload_3       
         5: ldc           #42                 // int 1
         7: aaload        
         8: aload_1       
         9: aload_2       
        10: invokeinterface #44,  3           // InterfaceMethod org/codehaus/groovy/runtime/callsite/CallSite.call:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
        15: areturn       
        16: aconst_null   
        17: areturn       
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0      16     0  this   Ldemo;
               0      16     1     a   Ljava/lang/Object;
               0      16     2     b   Ljava/lang/Object;
      LineNumberTable:
        line 2: 4

  protected groovy.lang.MetaClass $getStaticMetaClass();
    flags: ACC_PROTECTED, ACC_SYNTHETIC

    Code:
      stack=2, locals=2, args_size=1
         0: aload_0       
         1: invokevirtual #55                 // Method java/lang/Object.getClass:()Ljava/lang/Class;
         4: ldc           #2                  // class demo
         6: if_acmpeq     14
         9: aload_0       
        10: invokestatic  #61                 // Method org/codehaus/groovy/runtime/ScriptBytecodeAdapter.initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
        13: areturn       
        14: getstatic     #63                 // Field $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
        17: astore_1      
        18: aload_1       
        19: ifnonnull     34
        22: aload_0       
        23: invokevirtual #55                 // Method java/lang/Object.getClass:()Ljava/lang/Class;
        26: invokestatic  #69                 // Method org/codehaus/groovy/reflection/ClassInfo.getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
        29: dup           
        30: astore_1      
        31: putstatic     #63                 // Field $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
        34: aload_1       
        35: invokevirtual #72                 // Method org/codehaus/groovy/reflection/ClassInfo.getMetaClass:()Lgroovy/lang/MetaClass;
        38: areturn       

  private static void $createCallSiteArray_1(java.lang.String[]);
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC

    Code:
      stack=3, locals=1, args_size=1
         0: aload_0       
         1: ldc           #27                 // int 0
         3: ldc           #77                 // String runScript
         5: aastore       
         6: aload_0       
         7: ldc           #42                 // int 1
         9: ldc           #79                 // String plus
        11: aastore       
        12: return        

  private static org.codehaus.groovy.runtime.callsite.CallSiteArray $createCallSiteArray();
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC

    Code:
      stack=4, locals=1, args_size=0
         0: ldc           #82                 // int 2
         2: anewarray     #84                 // class java/lang/String
         5: astore_0      
         6: aload_0       
         7: invokestatic  #86                 // Method $createCallSiteArray_1:([Ljava/lang/String;)V
        10: new           #88                 // class org/codehaus/groovy/runtime/callsite/CallSiteArray
        13: dup           
        14: ldc           #2                  // class demo
        16: aload_0       
        17: invokespecial #91                 // Method org/codehaus/groovy/runtime/callsite/CallSiteArray."<init>":(Ljava/lang/Class;[Ljava/lang/String;)V
        20: areturn       

  private static org.codehaus.groovy.runtime.callsite.CallSite[] $getCallSiteArray();
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC

    Code:
      stack=3, locals=1, args_size=0
         0: getstatic     #93                 // Field $callSiteArray:Ljava/lang/ref/SoftReference;
         3: ifnull        20
         6: getstatic     #93                 // Field $callSiteArray:Ljava/lang/ref/SoftReference;
         9: invokevirtual #98                 // Method java/lang/ref/SoftReference.get:()Ljava/lang/Object;
        12: checkcast     #88                 // class org/codehaus/groovy/runtime/callsite/CallSiteArray
        15: dup           
        16: astore_0      
        17: ifnonnull     35
        20: invokestatic  #100                // Method $createCallSiteArray:()Lorg/codehaus/groovy/runtime/callsite/CallSiteArray;
        23: astore_0      
        24: new           #95                 // class java/lang/ref/SoftReference
        27: dup           
        28: aload_0       
        29: invokespecial #103                // Method java/lang/ref/SoftReference."<init>":(Ljava/lang/Object;)V
        32: putstatic     #93                 // Field $callSiteArray:Ljava/lang/ref/SoftReference;
        35: aload_0       
        36: getfield      #107                // Field org/codehaus/groovy/runtime/callsite/CallSiteArray.array:[Lorg/codehaus/groovy/runtime/callsite/CallSite;
        39: areturn       
}

人肉反编译，大概是这个样子来使用Groovy的runtime的，

    private static void addtwo(Object o1, Object o2) throws Throwable {
        String[] names = new String[]{"plus"};
        CallSiteArray callSiteArray = new CallSiteArray(Main.class, names);
        CallSite callSite = callSiteArray.array[0];
        System.out.println(callSite.call(o1, o2));
    }

plus就是我们上面说到的方法名+。

写个栗子跑跑看，

    public static void main(String[] args) throws Throwable {
        addtwo(7, 7);
        addtwo("hello,", "world");
        addtwo(new Receiver(), new Parameter());
    }
public class Receiver implements GroovyInterceptable {

    @Override
    public Object invokeMethod(String name, Object args) {
        System.out.println("methodName->" + name);
        System.out.println("args->" + args);
        if(args instanceof Object[]) {
            Object[] params = (Object[])args;
            System.out.println("params->");
            for (Object param : params) {
                System.out.println(param);
            }
        }
        return "Receiver#invokeMethod";
    }
    ...
}

输出例如以下，Receiver的输出跟Groovy的MOP有关，这个以后再说。

14
hello,world
methodName->plus
args->[Ljava.lang.Object;@6b573f80
params->
me.kisimple.just4fun.Parameter@2d0a238e
Receiver#invokeMethod

Groovy的runtime应该也是个不小的坑。以后再研究。以下来看下invokedynamic。

使用invokedynamic

从上面的栗子能够看到，groovyc须要生成非常多runtime相关的字节码，为了使动态类型语言在Java平台上更easy实现，JavaSE 7引入了invokedynamic指令。

简单来讲，执行时虚拟机在执行invokedynamic指令时会执行用户自己定义的bootstrap方法，用户能够在bootstrap方法中给出调用点的详细实现，这样就能达到执行时才确定详细实现的目的了。invokedynamic与MethodHandle的详细内容參官方文档，以下我们来看下Groovy是怎样使用invokedynamic的。

依据官方文档说明更换一下jar包，编译时加上--indy选项。得到的字节码例如以下，

Classfile /home/blues/Projects/groovy-core/demo.class
  Last modified Mar 8, 2015; size 1839 bytes
  MD5 checksum 5bbf49b81b00dece4523fbf55f8e7266
  Compiled from "demo.groovy"
public class demo extends groovy.lang.Script
  BootstrapMethods:
    0: #31 invokestatic org/codehaus/groovy/vmplugin/v7/IndyInterface.bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
      Method arguments:
        #33 runScript
        #34 0
    1: #31 invokestatic org/codehaus/groovy/vmplugin/v7/IndyInterface.bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
      Method arguments:
        #48 plus
        #34 0
  SourceFile: "demo.groovy"
  minor version: 0
  major version: 51
  flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
   #1 = Utf8               demo
   #2 = Class              #1             //  demo
   #3 = Utf8               groovy/lang/Script
   #4 = Class              #3             //  groovy/lang/Script
   #5 = Utf8               demo.groovy
   #6 = Utf8               $staticClassInfo
   #7 = Utf8               Lorg/codehaus/groovy/reflection/ClassInfo;
   #8 = Utf8               __$stMC
   #9 = Utf8               Z
  #10 = Utf8               <init>
  #11 = Utf8               ()V
  #12 = NameAndType        #10:#11        //  "<init>":()V
  #13 = Methodref          #4.#12         //  groovy/lang/Script."<init>":()V
  #14 = Utf8               this
  #15 = Utf8               Ldemo;
  #16 = Utf8               (Lgroovy/lang/Binding;)V
  #17 = NameAndType        #10:#16        //  "<init>":(Lgroovy/lang/Binding;)V
  #18 = Methodref          #4.#17         //  groovy/lang/Script."<init>":(Lgroovy/lang/Binding;)V
  #19 = Utf8               context
  #20 = Utf8               Lgroovy/lang/Binding;
  #21 = Utf8               main
  #22 = Utf8               ([Ljava/lang/String;)V
  #23 = Utf8               org/codehaus/groovy/runtime/InvokerHelper
  #24 = Class              #23            //  org/codehaus/groovy/runtime/InvokerHelper
  #25 = Utf8               org/codehaus/groovy/vmplugin/v7/IndyInterface
  #26 = Class              #25            //  org/codehaus/groovy/vmplugin/v7/IndyInterface
  #27 = Utf8               bootstrap
  #28 = Utf8               (Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
  #29 = NameAndType        #27:#28        //  bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
  #30 = Methodref          #26.#29        //  org/codehaus/groovy/vmplugin/v7/IndyInterface.bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
  #31 = MethodHandle       #6:#30         //  invokestatic org/codehaus/groovy/vmplugin/v7/IndyInterface.bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
  #32 = Utf8               runScript
  #33 = String             #32            //  runScript
  #34 = Integer            0
  #35 = Utf8               invoke
  #36 = Utf8               (Ljava/lang/Class;Ljava/lang/Class;[Ljava/lang/String;)Ljava/lang/Object;
  #37 = NameAndType        #35:#36        //  invoke:(Ljava/lang/Class;Ljava/lang/Class;[Ljava/lang/String;)Ljava/lang/Object;
  #38 = InvokeDynamic      #0:#37         //  #0:invoke:(Ljava/lang/Class;Ljava/lang/Class;[Ljava/lang/String;)Ljava/lang/Object;
  #39 = Utf8               args
  #40 = Utf8               [Ljava/lang/String;
  #41 = Utf8               run
  #42 = Utf8               ()Ljava/lang/Object;
  #43 = Utf8               java/lang/Throwable
  #44 = Class              #43            //  java/lang/Throwable
  #45 = Utf8               addtwo
  #46 = Utf8               (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
  #47 = Utf8               plus
  #48 = String             #47            //  plus
  #49 = NameAndType        #35:#46        //  invoke:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
  #50 = InvokeDynamic      #1:#49         //  #1:invoke:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
  #51 = Utf8               a
  #52 = Utf8               Ljava/lang/Object;
  #53 = Utf8               b
  #54 = Utf8               $getStaticMetaClass
  #55 = Utf8               ()Lgroovy/lang/MetaClass;
  #56 = Utf8               java/lang/Object
  #57 = Class              #56            //  java/lang/Object
  #58 = Utf8               getClass
  #59 = Utf8               ()Ljava/lang/Class;
  #60 = NameAndType        #58:#59        //  getClass:()Ljava/lang/Class;
  #61 = Methodref          #57.#60        //  java/lang/Object.getClass:()Ljava/lang/Class;
  #62 = Utf8               org/codehaus/groovy/runtime/ScriptBytecodeAdapter
  #63 = Class              #62            //  org/codehaus/groovy/runtime/ScriptBytecodeAdapter
  #64 = Utf8               initMetaClass
  #65 = Utf8               (Ljava/lang/Object;)Lgroovy/lang/MetaClass;
  #66 = NameAndType        #64:#65        //  initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
  #67 = Methodref          #63.#66        //  org/codehaus/groovy/runtime/ScriptBytecodeAdapter.initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
  #68 = NameAndType        #6:#7          //  $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
  #69 = Fieldref           #2.#68         //  demo.$staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
  #70 = Utf8               org/codehaus/groovy/reflection/ClassInfo
  #71 = Class              #70            //  org/codehaus/groovy/reflection/ClassInfo
  #72 = Utf8               getClassInfo
  #73 = Utf8               (Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
  #74 = NameAndType        #72:#73        //  getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
  #75 = Methodref          #71.#74        //  org/codehaus/groovy/reflection/ClassInfo.getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
  #76 = Utf8               getMetaClass
  #77 = NameAndType        #76:#55        //  getMetaClass:()Lgroovy/lang/MetaClass;
  #78 = Methodref          #71.#77        //  org/codehaus/groovy/reflection/ClassInfo.getMetaClass:()Lgroovy/lang/MetaClass;
  #79 = Utf8               Code
  #80 = Utf8               LocalVariableTable
  #81 = Utf8               StackMapTable
  #82 = Utf8               LineNumberTable
  #83 = Utf8               BootstrapMethods
  #84 = Utf8               SourceFile
{
  private static org.codehaus.groovy.reflection.ClassInfo $staticClassInfo;
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC

  public static transient boolean __$stMC;
    flags: ACC_PUBLIC, ACC_STATIC, ACC_TRANSIENT, ACC_SYNTHETIC

  public demo();
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0       
         1: invokespecial #13                 // Method groovy/lang/Script."<init>":()V
         4: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               4       0     0  this   Ldemo;

  public demo(groovy.lang.Binding);
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_0       
         1: aload_1       
         2: invokespecial #18                 // Method groovy/lang/Script."<init>":(Lgroovy/lang/Binding;)V
         5: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       5     0  this   Ldemo;
               0       5     1 context   Lgroovy/lang/Binding;

  public static void main(java.lang.String...);
    flags: ACC_PUBLIC, ACC_STATIC, ACC_VARARGS
    Code:
      stack=3, locals=1, args_size=1
         0: ldc           #24                 // class org/codehaus/groovy/runtime/InvokerHelper
         2: ldc           #2                  // class demo
         4: aload_0       
         5: invokedynamic #38,  0             // InvokeDynamic #0:invoke:(Ljava/lang/Class;Ljava/lang/Class;[Ljava/lang/String;)Ljava/lang/Object;
        10: pop           
        11: return        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0      11     0  args   [Ljava/lang/String;

  public java.lang.Object run();
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aconst_null   
         1: areturn       
         2: nop           
         3: athrow        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       2     0  this   Ldemo;
      StackMapTable: number_of_entries = 1
           frame_type = 255 /* full_frame */
          offset_delta = 2
          locals = []
          stack = [ class java/lang/Throwable ]


  public java.lang.Object addtwo(java.lang.Object, java.lang.Object);
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=3
         0: aload_1       
         1: aload_2       
         2: invokedynamic #50,  0             // InvokeDynamic #1:invoke:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
         7: areturn       
         8: nop           
         9: athrow        
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       8     0  this   Ldemo;
               0       8     1     a   Ljava/lang/Object;
               0       8     2     b   Ljava/lang/Object;
      LineNumberTable:
        line 2: 0
      StackMapTable: number_of_entries = 1
           frame_type = 255 /* full_frame */
          offset_delta = 8
          locals = []
          stack = [ class java/lang/Throwable ]


  protected groovy.lang.MetaClass $getStaticMetaClass();
    flags: ACC_PROTECTED, ACC_SYNTHETIC
    Code:
      stack=2, locals=2, args_size=1
         0: aload_0       
         1: invokevirtual #61                 // Method java/lang/Object.getClass:()Ljava/lang/Class;
         4: ldc           #2                  // class demo
         6: if_acmpeq     14
         9: aload_0       
        10: invokestatic  #67                 // Method org/codehaus/groovy/runtime/ScriptBytecodeAdapter.initMetaClass:(Ljava/lang/Object;)Lgroovy/lang/MetaClass;
        13: areturn       
        14: getstatic     #69                 // Field $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
        17: astore_1      
        18: aload_1       
        19: ifnonnull     34
        22: aload_0       
        23: invokevirtual #61                 // Method java/lang/Object.getClass:()Ljava/lang/Class;
        26: invokestatic  #75                 // Method org/codehaus/groovy/reflection/ClassInfo.getClassInfo:(Ljava/lang/Class;)Lorg/codehaus/groovy/reflection/ClassInfo;
        29: dup           
        30: astore_1      
        31: putstatic     #69                 // Field $staticClassInfo:Lorg/codehaus/groovy/reflection/ClassInfo;
        34: aload_1       
        35: invokevirtual #78                 // Method org/codehaus/groovy/reflection/ClassInfo.getMetaClass:()Lgroovy/lang/MetaClass;
        38: areturn       
      StackMapTable: number_of_entries = 2
           frame_type = 14 /* same */
           frame_type = 252 /* append */
             offset_delta = 19
        locals = [ class org/codehaus/groovy/reflection/ClassInfo ]

}

能够看到生成的字节码确实比不使用invokedynamic要少得多。

跟上面一样，人肉反编译，invokedynamic相关的runtime大概是这么来使用的。

    private static void addtwo(Object o1, Object o2) throws Throwable {
        MethodHandles.Lookup lookup = MethodHandles.lookup();
        MethodType mt = MethodType.methodType(Object.class,
                Object.class, Object.class);
        java.lang.invoke.CallSite callSite =
                IndyInterface.bootstrap(lookup, "invoke", mt, "plus", 0);
        MethodHandle mh = callSite.getTarget();
        System.out.println(mh.invoke(o1, o2));
    }

有一点值得说明的是，通过字节码能够看到，除了bootstrap方法默认的三个參数。groovyc还多生成了两个參数。

         2: invokedynamic #50,  0             // InvokeDynamic #1:invoke:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
    1: #31 invokestatic org/codehaus/groovy/vmplugin/v7/IndyInterface.bootstrap:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;I)Ljava/lang/invoke/CallSite;
      Method arguments:
        #48 plus
        #34 0

也就是说给bootstrap方法传递的methodName是invoke，methodType是(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object，而我们关心的方法名。也就是plus。是作为额外的參数传进去的。所以我们上面的栗子中对bootstrap方法的调用才会是IndyInterface.bootstrap(lookup, "invoke", mt, "plus", 0)这个样子的。假设是要实现减法。则能够这么写IndyInterface.bootstrap(lookup, "invoke", mt, "minus", 0)。也就是通过额外的參数来进行方法的分发。至于为什么要这么来实现。须要后面再研究下Groovy的runtime看看了。

简单实现

Groovy的runtime是比較复杂的，以下我们用相关的API实现一个简单一点的，仅仅能进行整数的加法与字符串的加法。

public class IntegerOps {
    public static Integer adder(Integer x, Integer y) {
        return x + y;
    }
}
public class StringOps {
    public static String adder(String x, String y) {
        return x + y;
    }
}
public class BootstrapMethod {

    public static CallSite link(MethodHandles.Lookup callerClass,
                                String dynMethodName,
                                MethodType dynMethodType)
            throws Throwable {
        if("adder".equals(dynMethodName)) {

            MethodHandle mh;
            Class receiverType = dynMethodType.parameterType(0);
            if(receiverType.equals(Integer.class)) {
                mh = callerClass.findStatic(
                        IntegerOps.class,
                        "adder",
                        MethodType.methodType(Integer.class, Integer.class, Integer.class));
            } else if(receiverType.equals(String.class)) {
                mh = callerClass.findStatic(
                        StringOps.class,
                        "adder",
                        MethodType.methodType(String.class, String.class, String.class));
            } else {
                return null;
            }
            return new ConstantCallSite(mh);

        }
        return null;
    }

}
    private static void addtwo(Object o1, Object o2) throws Throwable {
        MethodHandles.Lookup lookup = MethodHandles.lookup();
        MethodType mt = MethodType.methodType(o1.getClass(),
                o1.getClass(), o2.getClass());
        java.lang.invoke.CallSite callSite =
                BootstrapMethod.link(lookup, "adder", mt);
        MethodHandle mh = callSite.getTarget();
        System.out.println(mh.invoke(o1, o2));
    }

有两点须要说明。首先是MethodType，栗子的bootstrap方法须要依据MethodType来进行方法分发（这里我们仅仅依据第一个參数的类型来推断）。究竟如今是要进行整数的加法，还是要进行字符串的加法。

但因为这个MethodType是invokedynamic指令的參数，因此个人认为这样设计事实上是有问题的，所以groovyc也才会直接传的(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object。

另外一点是MethodHandle的问题。当我们执行addtwo(7, 7L)也就是第二个參数传的是个long型就跪了。java.lang.ClassCastException: Cannot cast java.lang.Long to java.lang.Integer，须要MethodHandle#asType转换一下。这里就不赘述了，想了解的同学看下API文档就清楚了。

參考资料

版权声明：本文博主原创文章。博客，未经同意不得转载。





本文转自mfrbuaa博客园博客，原文链接：http://www.cnblogs.com/mfrbuaa/p/4908670.html，如需转载请自行联系原作者


weixin_33701251
关注
groovy-shell-scripting-examples:“ Groovy Shell Scription 2015”的示例样本
05-26
3. **闭包**：Groovy的闭包类似于函数，但可以作为变量传递，是实现函数式编程的关键元素。它们常用于迭代、映射和过滤等操作。 4. **GDK (Groovy Development Kit)**：Groovy扩展了Java的标准库，提供了许多便利的...
Java8学习笔记（3） -- InvokeDynamic指令在Groovy里的使用
zxh的专栏
08-06 4215
上一篇文章以Java8的Lambda表达式为切入点，讨论了
Groovy深入探索——Call Site分析
JohnnyJian
03-16 2004
Groovy 1.6引入了Call Site优化。Call Site优化实际上就是方法选择的cache。 [size=x-large]方法选择[/size] 在静态语言（如Java）中，方法调用的绑定是在编译期完成的（不完全是这样，如虚函数，但总的来说，静态语言的方法调用是非常高效的）。而在动态语言（如Groovy）中，调用的方法是在运行时选择的。这也是造成动态语言比静态语言慢的重要原因之...
java.lang.NoClassDefFoundError: org/codehaus/groovy/runtime/callsite/CallSiteArray错误解决方案.
08-31 1757
使用JasperReport生成Word报表时，在iReport 4.0编译预览完全没有问题，移到MyEclipse项目环境下就报异常了，折腾了两天，反反复复测试找原因，拿询价系统的JasperReport报表测试，运行成功。于是确定Java程序代码没问题，问题出在JasperReport报表。由于MyEclipse系统环境下JasperReport lib库是3.7的，怀疑是我在iReport
总结1：xls报表导出失败原因是缺少五个重要架包（20180727）groovy-ftp-poi-mina-slf4j
Grace_1203的博客
07-27 440
1.groovy架包 删除以前的all的groovy的架包，仅保留dynateam下的groovy的架包。 exception提示： java.lang.NoClassDefFoundError:org/codehaus/groovy/runtime/callsite/CallSiteArray 2.ftp架包 ftp架包主要是用于上传文件，缺少该架包，就无法将文件上传至服务器。 ...
GWLST:Groovy WebLogic 脚本工具
06-18
Groovy是一种动态类型的、面向对象的编程语言，它与Java高度兼容，语法简洁，易于学习。在GWLST中，Groovy被用来编写自动化脚本，执行诸如启动、停止、监控WebLogic实例，部署应用程序，调整服务器配置等一系列任务...
javascripting-revisiting：javascripting模块简介
02-12
JavaScripting 是一个专门为初学者设计的交互式JavaScript学习平台，旨在通过实践来教授这门语言。这个"javascripting-revisiting"项目可能是该平台的一个复习或进阶版，旨在帮助用户巩固和深化对JavaScript的理解。...
javascripting:学习javascript
07-07
本教程“javascripting:学习javascript”旨在帮助初学者掌握JavaScript的基础知识和核心概念，从而实现网页动态效果、交互性功能以及服务器端编程。 JavaScript语法基于ECMAScript规范，最新版本为ECMAScript 2022...
javascripting:javascripting nodeschool 示例
05-31
JavaScripting 是一个基于 Node.js 的在线学习平台 Nodeschool 的教程之一，专注于教授 JavaScript 基础。本教程通过一系列互动的编程挑战，帮助初学者掌握 JavaScript 编程语言的核心概念。"javascripting ...
Groovy源代码分析（一）
qq_46491381的博客
09-20 1025
Groovy 是 用于Java虚拟机的一种敏捷的动态语言，它是一种成熟的面向对象编程语言，既可以用于面向对象编程，又可以用作纯粹的脚本语言。使用该种语言不必编写过多的代码，同时又具有闭包和动态语言中的其他特性。 Groovy是JVM的一个替代语言（替代是指可以用 Groovy 在Java平台上进行 Java 编程），使用方式基本与使用 Java代码的方式相同，该语言特别适合与Spring的动态语言支持一起使用，设计时充分考虑了Java集成，这使 Groovy 与 Java 代码的互操作很容易。（注意：不是指
在Java 中安全使用接口引用
程序亦非猿——一个能帮你进大厂的男人
02-21 154
Photo by Joseph Maxim Reskp on Unsplash本文由我的好基友 小鄧子 原创投稿github: https://github.com/Sm...
当在程序中使用jasperreport加载模板时报class: groovy/runtime/metaclass/java/util/HashMapMetaClass, method: super$2$invokeMethod signature
soft_xiaohui的专栏
04-27 4652
java.lang.VerifyError: (class: groovy/runtime/metaclass/java/util/HashMapMetaClass, method: super$2$invokeMethod signature: (Ljava/lang/Class;Ljava/lang/Object;Ljava/lang/String;[Ljava/lang/Object;ZZ)
一个简单的groovy script生成的class文件及其反编译
robin的专栏
02-08 8482
closure的基本调用过程
Groovy中方法的调用实现方式浅析(CallSite)
weixin_33850890的博客
05-04 991
2019独角兽企业重金招聘Python工程师标准>>> ...
maven项目在eclipse中运行，报错内存溢出
qq_35674954的博客
07-15 492
继上一篇maven-psl能够在eclipse中运行后，有出现了一个错误—–内存溢出 java.lang.OutOfMemoryError: GC overhead limit exceeded 然后找到了一个解决办法 https://blog.csdn.net/xingxiupaioxue/article/details/72488624 运行倒是不报错了，可运行时间也太尼玛久了，差不多...
Groovy编程实战：Groovy in Action电子书解析
10. **Groovy与Java的互操作性**: 如何在Groovy项目中无缝使用Java库和类，以及Java开发者如何逐步引入Groovy以提高生产力。 此外，书中还可能包含实战案例、示例代码和练习，帮助读者深入理解Groovy并应用到实际...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值