public class A {
void meth1()
{
}
}
public class B extends A{
void meth2()
{
}
}
public class generic_class<T extends A> {
T var1;
public void meth4(generic_class<? extends B> gc)
{
gc.var1.meth2();
}
}
在这里，我已经宣布了generic_class's meth4个通配符<? extends B>.据我所知，在运行时不存在泛型，所有的‘T’都会被‘A’的上限所取代.所以var1是‘A’类型的，那么它怎么能够访问在B中声明的方法2()呢？作为一个超类，它不应该知道它的派生类的属性和方法.
查看字节码可以了解发生了什么(我将类A重命名为Base，B重命名为Sub，generic_class重命名为Test).这是我在字节码中看到的(使用javap -c Test):
Compiled from "Test.java"
public class Test<T extends Base> {
T var1;
public Test();
Code:
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: return
public void meth4(Test<? extends Sub>);
Code:
0: aload_1
1: getfield #2 // Field var1:LBase;
4: checkcast #3 // class Sub
7: invokevirtual #4 // Method Sub.meth2:()V
10: return
}
T的出现被视为基数.然后将其转换为Sub，因为这是方法param的泛型约束，然后调用所需的方法，从而实现所需的功能，尽管存在类型擦除.