Java - 通用类型 - 类型擦除

Question

我在oracle网站上找到了以下问题和答案

类型擦除后,以下类转换为什么？

public class Pair<K, V> {

    public Pair(K key, V value) {
        this.key = key;
        this.value = value;
    }

    public K getKey(); { return key; }
    public V getValue(); { return value; }

    public void setKey(K key)     { this.key = key; }
    public void setValue(V value) { this.value = value; }

    private K key;
    private V value;
}

回答:

public class Pair {

    public Pair(Object key, Object value) {
        this.key = key;
        this.value = value;
    }

    public Object getKey()   { return key; }
    public Object getValue() { return value; }

    public void setKey(Object key)     { this.key = key; }
    public void setValue(Object value) { this.value = value; }

    private Object key;
    private Object value;
}

但是当我使用JD-GUI反编译类文件时,我仍然看到所有类似于实际源代码中的泛型类型.

这是否意味着泛型类型保留在类文件中？我正在使用Java 6.

使用JD-GUI的类的反编译器版本如下.我正在使用Eclipse Helios来编译类.

public class Pair<K, V>
{
  private K key;
  private V value;

  public Pair(K key, V value)
  {
    this.key = key;
    this.value = value;
  }
  public K getKey() {
    return this.key; } 
  public V getValue() { return this.value; } 
  public void setKey(K key) {
    this.key = key; } 
  public void setValue(V value) { this.value = value;
  }
}

Answer 1

一些泛型类型信息保留在.class文件中 - 足以允许您通过反射确定类型Pair是通用的,对于具有Pair成员的类,通用参数的类型是什么等等.保留此信息的事实构成了诸如超类型令牌之类的技术的基础,这些技术允许您传递保留有关其通用参数的信息的类型令牌.

但是,在反射之外,类型擦除意味着Pair该类主要表现为Oracle网站"答案"中的剥离版本.特别是,方法的实际字节码不会引用泛型类型K或V- 只有Object,方法签名将接受并返回Object.

在这种情况下,JD-GUI只是很聪明,并使用存储在.class文件中的信息来恢复反编译输出中的通用信息,但请确保在字节码中删除类型.