为什么超类字段的泛型类型不会被擦除到子类型中的具体绑定？

Question

package ir.openuniverse;

public class Main {
    public static void main(String[] args) throws NoSuchFieldException {
        System.out.println(A.class.getField("t").getType().getName());
    }
}

class A extends B<D> {}
class B<T extends C> {
    public T t;
}

class C {}
class D extends C {}

输出为ir.openuniverse.C。 为什么？我期待D！

---

^编辑：

^{这个问题不是关于变通方法或替代方法。因此，答案与解决方法无关。有关替代方法，请参阅下面的myself answer。}

Answer 1

这是因为type erasure。

Java 将您的泛型类 B<T> 编译为适用于所有可能引用它的类的字节码，包括任何可能扩展 B<T> 的类。

由于T 仅限于扩展C 的类，Java 知道您可以分配B.t 的任何值都将扩展C，因此它将您的类编译为等效的类

class B {
    C t;
}

此时t 的任何分配都可以工作；但是，从t 读取会产生C，因此编译器必须做一些“魔术”来解决这个问题。具体来说，编译器在子类型已知的地方插入类型转换。如果需要，它还可以生成桥接方法。有关详细信息，请参阅答案顶部的链接。

Answer 2

在编译期间，Java 的类型擦除发生变化

class B<T extends C> {
public T t;
}

到：

class B<C> {
public C t;
}

由于getType() 标识了该字段的声明类型，因此输出为ir.openuniverse.C

Answer 3

感谢大家的帮助。最后，我强行将A的定义改为：

class A extends B<D> {
    public D t;
}

这对我的目的来说已经足够了（尽管我一点也不喜欢它！）。

---

编辑：

以上方式不是基本方式。请参阅下面的 @DanielPryden 的前两个 cmets。

替代解决方法：

class A extends B<D> {
    @Override public D getT() { return super.getT(); }
}

class B<T extends C> {
    private T t;
    public T getT() { return t; }
}

在main():

System.out.println(A.class.getMethod("getT").getReturnType().getName());

输出：ir.openuniverse.D

---

另一种方式：

注意：这不是主要问题的解决方案（请参阅下面的 @DanielPryden 的第四条评论）。但也许对你有帮助（比如我）。

当您至少有一个 A 实例时，可以使用此解决方法：

public class Main {
    public static void main(String[] args) {
        A a = new A();
        System.out.println(a.t.getClass().getName());
        // Or via reflection:
        // System.out.println(a.getClass().getField("t").get(a).getClass().getName());
    }
}

class A extends B<D> {
    { t = new D(); }
}

class B<T extends C> {
    public T t;
}

输出：ir.openuniverse.D