每日一问 | 插桩之后，异常堆栈还能正确的定位到代码行吗？

回答具有误导性，应该要深入到asm的方法具体对字节码做了啥来解答这个问题，答案就不删了，留个纪念。

java的class文件里面包含有代码行号与具体指令行对应的属性，如下（每一个方法都有，可以通过javap命令来查看）：

 LineNumberTable:
        line 11: 0
        line 12: 4
        line 13: 11
        line 15: 13
        line 16: 20
        line 15: 24
        line 19: 30
        line 22: 37

只要把那个弄正确就可以，原理应该是这样

比如你有如下代码：

    public int add(int a, int b) {
        int i = a + b;
        return i;
    }

其对应的字节码以及行号等如下（javap命令查看到的）：

 public int add(int, int);
    descriptor: (II)I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=4, args_size=3
         0: iload_1
         1: iload_2
         2: iadd
                  3: istore_3
         4: iload_3
         5: ireturn
      LineNumberTable:
        line 7: 0
        line 8: 4

我们想将其插桩为如下代码：

public int add(int a, int b) {
        System.out.println("a" + a + "b" + b);
        int i = a + b;
        return i;
    }

插装完成后期的字节码如下：

public int add2(int, int);
    descriptor: (II)I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=4, args_size=3
         0: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
         3: iload_1
         4: iload_2
         5: invokedynamic #3,  0              // InvokeDynamic #0:makeConcatWithConstants:(II)Ljava/lang/String;
        10: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
        13: iload_1
        14: iload_2
        15: iadd
        16: istore_3
        17: iload_3
                18: ireturn

那么原有的行号表如果asm框架没去维护的话，依然是：

LineNumberTable:
        line 7: 0
        line 8: 4

那么当我们的代码报错时定位到的行号肯定就有问题了，对应这种简单的情况字需要在字节码行号上加上偏移，比如本例加上13，就能够定位到了。

ps：本人未验证过，还有诸如报错的字节码是插入的直接骂如何处理等问题。

其实要是学过java字节码，大致就能想明白异常打印的处理，就是在出现异常的时候，首先去异常表里去查，看这个异常有没有指定跳到多少行去，如果有就跳到对应的字节码行去执行（对应于java代码就是try住了异常），如果没有那么方法出栈，进入到方法的调用地方，重复上一个检查，并且出栈的时候通过代码行号表，class文件记录的java文件名来生成一条信息，然后再往上，直到全部方法出栈也没有处理异常就结束，然后打印异常信息。

public static void main(String[] args) {
        new TestChange().add(1, 2);
    }

    public int add(int a, int b) {
        //条件编译
        if (true)
            throw new RuntimeException();
                        int i = a + b;
        return i;
    }


        public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=3, locals=1, args_size=1
         0: new                #2                  // class art/bytecode/TestChange
         3: dup
         4: invokespecial #3                  // Method "<init>":()V
         7: iconst_1
         8: iconst_2
      9: invokevirtual #4                  // Method add:(II)I
        12: pop
        13: return
      LineNumberTable:
        line 6: 0
        line 7: 13

public int add(int, int);
    descriptor: (II)I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=3
         0: new           #5                  // class java/lang/RuntimeException
         3: dup
         4: invokespecial #6                  // Method java/lang/RuntimeException."<init>":()V
         7: athrow
      LineNumberTable:
        line 12: 0

Exception in thread "main" java.lang.RuntimeException
    at art.bytecode.TestChange.add(TestChange.java:12)
    at art.bytecode.TestChange.main(TestChange.java:6)

可以看到字节码的行号信息里清清楚楚记录着代码行号

还能对应上，因为插入代码后不会影响原来代码的行号。假如某一行原来有代码，新插入的代码会放到原来代码后面，和原来的代码在同一行

个人看法，由于transform的都是基于输入流和输出流的。

添加一个gradle task 在transform全部执行完成之后，基于gradle task 的依赖顺序。然后将transfrom执行之前的输入文件夹路径内的class和jar包，即是原始class进行一次读取，之后对转化后的class进行一次读取，生成对应的mapping映射关系，是不是可以解决这个问题。