枚举与javap反汇编不显示构造函数参数

当我用javap反汇编一个枚举时,枚举的隐式构造函数参数似乎丢失了,我找不到原因。

这是一个枚举:

enum Foo { X }

我用这个命令编译和反汇编(在Java 8u60上):

javac Foo.java && javap -c -p Foo

这里是我得到的输出:

final class Foo extends java.lang.Enum<Foo> {
  public static final Foo X;

  private static final Foo[] $VALUES;

  public static Foo[] values();
    Code:
       0: getstatic     #1                  // Field $VALUES:[LFoo;
       3: invokevirtual #2                  // Method "[LFoo;".clone:()Ljava/lang/Object;
       6: checkcast     #3                  // class "[LFoo;"
       9: areturn

  public static Foo valueOf(java.lang.String);
    Code:
       0: ldc           #4                  // class Foo
       2: aload_0
       3: invokestatic  #5                  // Method java/lang/Enum.valueOf:(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Enum;
       6: checkcast     #4                  // class Foo
       9: areturn

  private Foo(); // <--- here
    Code:
       0: aload_0
       1: aload_1
       2: iload_2
       3: invokespecial #6                  // Method java/lang/Enum."<init>":(Ljava/lang/String;I)V
       6: return

  static {};
    Code:
       0: new           #4                  // class Foo
       3: dup
       4: ldc           #7                  // String X
       6: iconst_0
       7: invokespecial #8                  // Method "<init>":(Ljava/lang/String;I)V
      10: putstatic     #9                  // Field X:LFoo;
      13: iconst_1
      14: anewarray     #4                  // class Foo
      17: dup
      18: iconst_0
      19: getstatic     #9                  // Field X:LFoo;
      22: aastore
      23: putstatic     #1                  // Field $VALUES:[LFoo;
      26: return
}

我的混淆是用于实例化每个枚举常量的私有构造函数。 反汇编表明它不需要参数( private Foo(); ),但它确实需要参数。 例如,您可以看到load指令读取传入的枚举常量名称和序号以及this指针,并将它们传递给需要它们的超类构造函数。 静态初始化块中的代码还显示它在调用构造函数之前将这些参数压入堆栈。

现在我假设这只是javap中的一个隐藏的错误,但是当我使用Eclipse的编译器编译完全相同的枚举并反汇编使用javap时,构造函数完全相同,只是显示了参数:

final class Foo extends java.lang.Enum<Foo> {
  public static final Foo X;

  private static final Foo[] ENUM$VALUES;

  static {};
    Code:
       0: new           #1                  // class Foo
       3: dup
       4: ldc           #12                 // String X
       6: iconst_0
       7: invokespecial #13                 // Method "<init>":(Ljava/lang/String;I)V
      10: putstatic     #17                 // Field X:LFoo;
      13: iconst_1
      14: anewarray     #1                  // class Foo
      17: dup
      18: iconst_0
      19: getstatic     #17                 // Field X:LFoo;
      22: aastore
      23: putstatic     #19                 // Field ENUM$VALUES:[LFoo;
      26: return

  private Foo(java.lang.String, int); // <--- here
    Code:
       0: aload_0
       1: aload_1
       2: iload_2
       3: invokespecial #23                 // Method java/lang/Enum."<init>":(Ljava/lang/String;I)V
       6: return

  public static Foo[] values();
    Code:
       0: getstatic     #19                 // Field ENUM$VALUES:[LFoo;
       3: dup
       4: astore_0
       5: iconst_0
       6: aload_0
       7: arraylength
       8: dup
       9: istore_1
      10: anewarray     #1                  // class Foo
      13: dup
      14: astore_2
      15: iconst_0
      16: iload_1
      17: invokestatic  #27                 // Method java/lang/System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
      20: aload_2
      21: areturn

  public static Foo valueOf(java.lang.String);
    Code:
       0: ldc           #1                  // class Foo
       2: aload_0
       3: invokestatic  #35                 // Method java/lang/Enum.valueOf:(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Enum;
       6: checkcast     #1                  // class Foo
       9: areturn
}

我的问题是:javac编译的枚举和Eclipse编译的枚举之间在物理上有什么不同,导致javap不显示javac编译的枚举的构造函数参数? 这是不同的错误(在javap中,在javac或Eclipse中)?


方法描述符描述了类文件中方法的参数和返回类型。

随着泛型的引入1.5。 附加信息被引入到类文件格式,方法签名中。

“方法描述符”用于描述类型擦除后的方法,“方法签名”还包含通用类型信息。

现在, javap输出方法签名(包含更多信息),并且当设置-v标志时,它还会打印描述符。

这揭示了javac生成的枚举类的构造函数也有一个参数类型为Stringint的方法描述符。 现在也清楚为什么Elipse和javac生成的代码都能正常工作。 都用参数Stringint调用私有构造函数。

仍然需要解释的是:为什么javac创建一个与描述符完全不同的签名 - 不涉及泛型?

无论如何,关于枚举构造函数的javac的行为已经导致了其他问题,并为javac提交了一个错误报告:

如果1)构造函数不是泛型的,2)它的形式参数类型既不是参数化类型也不是类型变量,那么不需要枚举声明的构造函数具有存储方法签名的Signature属性。 如果javac需要上面所写的构造函数的Signature属性,那就是一个bug。

以下评论和案例分类表明这是javac一个真正的bug。

链接地址: http://www.djcxy.com/p/29453.html

上一篇: Enum disassembled with javap doesn't show constructor arguments

下一篇: Use string litterals in a "char type" templated class