8

我试图了解规范中是否存在 java 描述符和内部类签名之间存在差异的原因。（这里我是直接看class文件的内容，不过我用javap来说明）。

（注意，我在 JDK 1.6.0_33 和 1.7.0_05 上试过这个，当从 Java 7 中使用 javap 查看时，两者都有相同的问题- java 6 的 javap 似乎没有显示任何通用签名信息，根据 Sean 在下面的回答。）

更新：感谢那些讨论 - 我的看法是

  • 描述符（不包含通用信息）是正确的。
  • 签名（它是方法的一个属性，并且确实包含通用信息）不正确。<init> 方法的 SIGNATURE 的相关 ConstPool 条目是“ ConstantUTF8[(Ljava/util/list<TE;>)V] ”
  • Java 6 中的 Javap 不看签名，只看描述符。（我猜！）

万一有人想知道，我没有使用 JAVAP，只是自己查看类文件，我只是使用 javap 来显示它。（因此不太可能是 javap 错误）。

考虑：

public class InnerClassTest1 {

  public int getX() {
    return new Inner1(new ArrayList<String>()).getX(4);
  }

  public class Inner1 {
    private final List arg;

    public Inner1(List arg) {
        this.arg = arg;
    }....

对比

public class InnerClassTest2 {

   public int getX() {
      return new Inner1(new ArrayList<String>()).getX(4);
   }

   public class Inner1<E> {
    private final List<E> arg;

    public Inner1(List<E> arg) {
        this.arg = arg;
    }.....

如果您查看内部类中 javap -cs 的输出，它们会出人意料地不同！

公共 org.benf.cfr.tests.InnerClassTest1$Inner1( org.benf.cfr.tests.InnerClassTest1, java.util.List); 签名：(Lorg/benf/cfr/tests/InnerClassTest1;Ljava/util/List;)V

对比

公共 org.benf.cfr.tests.InnerClassTest2$Inner1(java.util.List<E>); 签名：(Lorg/benf/cfr/tests/InnerClassTest2;Ljava/util/List;)V

...使用泛型的那个缺少外部类的隐式参数！（它正确存在于 InnerClassTest1 中）。

我在类文件文档中找不到任何东西来解释这一点——有人知道为什么会这样吗？

谢谢！

李。

更新 -

我已将示例文件放在http://www.benf.org/files/innerClassTest.tgz

鉴于肖恩在下面的回答，我尝试在 java 6 上使用 javap，我看到两者的输出相同，没有通用信息 - 这让我相信 java 6 的 javap 没有显示完整的签名信息？

我在 1.7.0_05-b06 上使用 javap 得到的确切输出是

public class org.benf.cfr.tests.InnerClassTest2$Inner1<E> {
 final org.benf.cfr.tests.InnerClassTest2 this$0;
 Signature: Lorg/benf/cfr/tests/InnerClassTest2;

public org.benf.cfr.tests.InnerClassTest2$Inner1(java.util.List<E>);
 Signature: (Lorg/benf/cfr/tests/InnerClassTest2;Ljava/util/List;)V
 Code:
   0: aload_0       
   1: aload_1       
   2: putfield      #1                  // Field this$0:Lorg/benf/cfr/tests/InnerClassTest2;
   5: aload_0       
   6: invokespecial #2                  // Method java/lang/Object."<init>":()V
   9: aload_0       
  10: aload_2       
  11: putfield      #3                  // Field arg:Ljava/util/List;
  14: return        

public int getX(int);
  Signature: (I)I
  Code:
   0: iconst_2      
   1: ireturn       
}
4

2 回答 2

1

使用上面的代码并使用 JDK 1.6.0_33 我得到以下输出：

src\test>javap -c -s InnerClassTest1$Inner1
Compiled from "InnerClassTest1.java"
public class test.InnerClassTest1$Inner1 extends java.lang.Object{
final test.InnerClassTest1 this$0;
  Signature: Ltest/InnerClassTest1;

public test.InnerClassTest1$Inner1(test.InnerClassTest1, java.util.List);
  Signature: (Ltest/InnerClassTest1;Ljava/util/List;)V
  Code:
   0:   aload_0
   1:   aload_1
   2:   putfield        #1; //Field this$0:Ltest/InnerClassTest1;
   5:   aload_0
   6:   invokespecial   #2; //Method java/lang/Object."<init>":()V
   9:   aload_0
   10:  aload_2
   11:  putfield        #3; //Field arg:Ljava/util/List;
   14:  return

public int getX(int);
  Signature: (I)I
  Code:
   0:   iload_1
   1:   ireturn
}

src\test>javap -c -s InnerClassTest2$Inner1
Compiled from "InnerClassTest2.java"
public class test.InnerClassTest2$Inner1 extends java.lang.Object{
final test.InnerClassTest2 this$0;
  Signature: Ltest/InnerClassTest2;

public test.InnerClassTest2$Inner1(test.InnerClassTest2, java.util.List);
  Signature: (Ltest/InnerClassTest2;Ljava/util/List;)V
  Code:
   0:   aload_0
   1:   aload_1
   2:   putfield        #1; //Field this$0:Ltest/InnerClassTest2;
   5:   aload_0
   6:   invokespecial   #2; //Method java/lang/Object."<init>":()V
   9:   aload_0
   10:  aload_2
   11:  putfield        #3; //Field arg:Ljava/util/List;
   14:  return

public int getX(int);
  Signature: (I)I
  Code:
   0:   iload_1
   1:   ireturn

}

唯一的区别是我的实现有（使代码编译）：

    public int getX(int i) {
        return i;
    }

以及您的包名称可能不同的事实（org.benf.cfr.tests ？）。

除此之外，我的输出几乎相同。代码中是否还有其他差异可以解释您所看到的内容？根据我对编译过程和类文件的了解，我不希望看到输出有所不同。

好问题 - 有趣的是找出你看到这个的原因

于 2013-02-28T11:30:47.093 回答
1

使用 JavapInnerClassTest2$Inner1会给出

Compiled from "InnerClassTest2.java"
public class org.benf.cfr.tests.InnerClassTest2$Inner1<E> {
  final org.benf.cfr.tests.InnerClassTest2 this$0;
  public org.benf.cfr.tests.InnerClassTest2$Inner1(java.util.List<E>);
  public int getX(int);
}

用 Krakatau 拆解

.version 51 0
.source InnerClassTest2.java
.class super public org/benf/cfr/tests/InnerClassTest2$Inner1
.super java/lang/Object

.field final private arg Ljava/util/List;
.field synthetic final this$0 Lorg/benf/cfr/tests/InnerClassTest2;

.method public <init> : [_13]
    .limit stack 2
    .limit locals 3
    aload_0
    aload_1
    putfield org/benf/cfr/tests/InnerClassTest2$Inner1 this$0 Lorg/benf/cfr/tests/InnerClassTest2;
    aload_0
    invokespecial java/lang/Object <init> ()V
    aload_0
    aload_2
    putfield org/benf/cfr/tests/InnerClassTest2$Inner1 arg Ljava/util/List;
    return
.end method

.method public getX : (I)I
    .limit stack 1
    .limit locals 2
    iconst_2
    ireturn
.end method

.const [_13] = Utf8 (Lorg/benf/cfr/tests/InnerClassTest2;Ljava/util/List;)V

如您所见，Krakatau 输出显示描述符实际上是正确的，但由于某种原因 Javap 没有显示它。关于 Javap 的一件事是它试图安排输出，使其看起来更像 Java。也许这是JDK7中引入的一个新特性，它试图通过隐藏编译器添加的参数来使反汇编的泛型看起来更像Java。不幸的是，这使得 Javap（甚至更多）对于查看真正存在的内容毫无用处。

有趣的收获！

于 2013-02-28T13:21:20.107 回答