java栈映射表

java栈映射表(StackMapTable)

源码

  public String hello(String content) throws RemoteException {        int i= 10;        if (i==10) {            System.out.println("10");        }else {            System.out.println(i);        }       if(content == null) {            return "null is not allowed";        }        if (content.equals("hello")) {            return "how are you?";        }        if (content.equals("bye")) {            return "bye bye!";        }        return "This is your input :"+content;    }

反编译

javap -c -v -cp bin .\bin\com\ymx\rmi\service\TestServiceImpl.class
部分结果如下：

  public java.lang.String hello(java.lang.String) throws java.rmi.RemoteException;    flags: ACC_PUBLIC    Code:      stack=2, locals=3, args_size=2         0: bipush        10         2: istore_2         3: iload_2         4: bipush        10         6: if_icmpne     20         9: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;        12: ldc           #3                  // String 10        14: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V        17: goto          27        20: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;        23: iload_2        24: invokevirtual #5                  // Method java/io/PrintStream.println:(I)V        27: aload_1        28: ifnonnull     34        31: ldc           #6                  // String null is not allowed        33: areturn        34: aload_1        35: ldc           #7                  // String hello        37: invokevirtual #8                  // Method java/lang/String.equals:(Ljava/lang/Object;)Z        40: ifeq          46        43: ldc           #9                  // String how are you?        45: areturn        46: aload_1        47: ldc           #10                 // String bye        49: invokevirtual #8                  // Method java/lang/String.equals:(Ljava/lang/Object;)Z        52: ifeq          58        55: ldc           #11                 // String bye bye!        57: areturn        58: new           #12                 // class java/lang/StringBuilder        61: dup        62: invokespecial #13                 // Method java/lang/StringBuilder."<init>":()V        65: ldc           #14                 // String This is your input :        67: invokevirtual #15                 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;        70: aload_1        71: invokevirtual #15                 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;        74: invokevirtual #16                 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;        77: areturn      LineNumberTable:        line 24: 0        line 25: 3        line 26: 9        line 28: 20        line 30: 27        line 31: 31        line 33: 34        line 34: 43        line 36: 46        line 37: 55        line 39: 58      StackMapTable: number_of_entries = 5           frame_type = 252 /* append */             offset_delta = 20        locals = [ int ]           frame_type = 6 /* same */           frame_type = 6 /* same */           frame_type = 11 /* same */           frame_type = 11 /* same */    Exceptions:      throws java.rmi.RemoteException

其中StackMapTable即为栈映射表。

意义

1. 仅用于有跳转的字节指令中，如goto、ifeq、if_icmpne、ifnonnull等
2. 跳转语句有块的概念。块的起点是跳转字节指令的目的地址，如第6条:
   指令:6: if_icmpne 20
   意义是，如果整数比较不相等，则跳转到第20条指令。20条为：
   指令:20: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;
   所以，第一个frame_type的offset_delta是20，代表第一个块偏移量是20。
   第二个frame_type是6，代表第二块偏移量是6。
   以此类推，第三块偏移量6，第四块偏移量是11，第五块偏移量是11。
3. 说明
   每个基本块是以栈映射帧的形式存在的。字节码偏移量，和栈映射帧的偏移量不是一样的，字节码偏移量+1=帧偏移量。
   第一个的frame_type是根据类的签名算出来的，如果frame_type和offset_delta一样，则不显示offset_delta
   因为可以计算出：
   第一块的字节码偏移量20，StackMapFrame偏移量21，结束是21+6-1=26。
   第二块的字节码偏移量21+6=27，StackMapFrame偏移量6，结束是27+6=33。
   第三块的字节码偏移量33+1=34，StackMapFrame偏移量11，结束是34+11=45。
   第四块的字节码偏移量45+1=46，StackMapFrame偏移量11，结束是46+11=57。
   第五块的字节码偏移量57+1=58。
4. 图示

  0              20            27            34             46              58  |------20------|------6------|------6------|------11------| ------11------|------------|