0

我遇到了一个无聊的错误：

Exception in thread "main" java.lang.VerifyError: Bad type on operand stack in method 
         net.madz.lifecycle.demo.standalone.ServiceOrder.allocateResources(JJJ)V at offset 27

我不太明白错误的意思。

我写了一个类并生成了一个类，它们看起来非常相似：

写道：

    public void allocateResources(long arg0, long truckResourceId, long arg2) {
    /* L23 */
    0 new 2;
    3 dup;
    4 invokespecial 3;        /* net.madz.lifecycle.solutionOne.InterceptorController() */
    7 astore 7;               /* controller */
    /* L24 */
    9 new 4;
    12 dup;
    13 aload_0;               /* this */
    14 invokevirtual 5;       /* java.lang.Class getClass() */
    17 aload_0;               /* this */
    18 ldc 6;                 /* "allocateResources" */
    20 iconst_3;
    21 anewarray 7;           /* new java.lang.Class[] */
    24 dup;
    25 iconst_0;
    26 getstatic 8;           /* java.lang.Long.TYPE */
    29 aastore;
    30 dup;
    31 iconst_1;
    32 getstatic 8;           /* java.lang.Long.TYPE */
    35 aastore;
    36 dup;
    37 iconst_2;
    38 getstatic 8;           /* java.lang.Long.TYPE */
    41 aastore;
    42 invokespecial 9;       /* net.madz.lifecycle.solutionOne.InterceptContext(java.lang.Class summaryPlanId, java.lang.Object arg1, java.lang.String truckResourceId, java.lang.Class[] arg3) */
    45 astore 8;              /* context */
    /* L26 */
    47 aload 7;               /* controller */
    49 aload 8;               /* context */
    51 new 10;
    54 dup;
    55 aload_0;               /* this */
    56 lload_1;               /* summaryPlanId */
    57 lload_3;               /* truckResourceId */
    58 lload 5;               /* plangResourceId */
    60 invokespecial 11;      /* net.madz.lifecycle.solutionOne.ServiceOrder$1(net.madz.lifecycle.solutionOne.ServiceOrder summaryPlanId, long arg1, long truckResourceId, long arg3) */
    63 invokevirtual 12;      /* java.lang.Object exec(net.madz.lifecycle.solutionOne.InterceptContext arg0, java.util.concurrent.Callable truckResourceId) */
    66 pop;
    /* L34 */
    67 return;
}

生成：

    public void allocateResources(long arg0, long arg1, long arg2) {
    0 new 77;
    3 dup;
    4 invokespecial 78;       /* net.madz.lifecycle.solutionOne.InterceptorController() */
    7 astore 7;
    9 new 80;
    12 dup;
    13 ldc 7;
    15 aload_0;
    16 ldc 81;                /* "allocateResources" */
    18 iconst_3;
    19 anewarray 83;          /* new java.lang.Class[] */
    22 dup;
    23 iconst_0;
    24 getstatic 88;          /* java.lang.Long.TYPE */
    27 aastore;
    28 dup;
    29 iconst_1;
    30 getstatic 88;          /* java.lang.Long.TYPE */
    33 aastore;
    34 dup;
    35 iconst_2;
    36 getstatic 88;          /* java.lang.Long.TYPE */
    39 aastore;
    40 invokespecial 91;      /* net.madz.lifecycle.solutionOne.InterceptContext(java.lang.Class arg0, java.lang.Object arg1, java.lang.String arg2, java.lang.Class[] arg3) */
    43 astore 8;
    45 aload 7;
    47 aload 8;
    49 new 93;
    52 dup;
    53 aload_0;
    54 lload_1;
    55 lload_3;
    56 lload 5;
    58 invokespecial 96;      /* net.madz.lifecycle.demo.standalone.ServiceOrder$5(net.madz.lifecycle.demo.standalone.ServiceOrder arg0, long arg1, long arg2, long arg3) */
    61 invokevirtual 100;     /* java.lang.Object exec(net.madz.lifecycle.solutionOne.InterceptContext arg0, java.util.concurrent.Callable arg1) */
    64 pop;
    65 return;
}

因为它说“方法 net.madz.lifecycle.demo.standalone.ServiceOrder.allocateResources(JJJ)V 在偏移量 27 中的操作数堆栈类型错误”

是“27 aastore”吗？是什么导致了这个异常？在编写的版本类中，我的意思是我编写了一个 java 文件并将其编译为类文件。我使用 this.getClass() 来加载类引用，所以在编写的版本中，“偏移量”13 和 14 是“aload_0;” 和“调用虚拟 5；” 但是在生成的版本中，我在偏移量 13 处使用“ldc”直接引用该类，因此两个版本无法精确对齐。

通常如何诊断这些问题以及如何在运行时监控操作数堆栈，BCEL可以将LocalVariableTable生成到类文件中吗？

4

1 回答 1

0

最后我尝试使用 BCELifier 从生成和编写的类文件中生成 Java 代码，我发现了它们之间的差异。

    public static void main(String[] args) throws Throwable {
    final JavaClass outerClass = Repository.lookupClass(ServiceOrder.class.getName());
    StringRepresentation s = new StringRepresentation(outerClass);
    System.out.println(s);
    BCELifier fier = new BCELifier(outerClass, System.out);
    fier.start();

    final JavaClass outer2Class = Repository.lookupClass(net.madz.lifecycle.solutionOne.ServiceOrder.class.getName());
    BCELifier fier2 = new BCELifier(outer2Class, System.out);
    fier2.start();

然后发现了不同的部分：

正确的：

il.append(_factory.createFieldAccess("java.lang.Long", "TYPE", new ObjectType("java.lang.Class"), Constants.GETSTATIC));

错误的：

il.append(_factory.createFieldAccess("java.lang.Long", "TYPE", Type.LONG, Constants.GETSTATIC));

在我的代码中，实际上我正在使用：

ilist.append(ifact.createGetStatic(convertType2ClassName(type), "TYPE", Type.LONG));

显然应该是：

ilist.append(ifact.createGetStatic(convertType2ClassName(type), "TYPE", new ObjectType("java.lang.Class")));

总结一下，我犯了两个错误：

  1. 我没有使用 InstructionFactory.createFieldAccess 方法，但是我选择了 InstructionFactory.createGetStatic，虽然它们可以产生相同的结果，但是 createFieldAccess 有文档，而 createGetStatic 没有。
  2. 我应该使用除 Type.LONG 之外的 new ObjectType(Class.class.getName())，因为它应该是字段类型，应该匹配 Class[]。
于 2013-10-24T05:25:23.000 回答