泛型类层级中子类的返回值与参数类型定义解析

示例代码 #

class Parent {}
class Child extends Parent {}

class ParentStack<E extends Parent> {
    public void push(E e) {}
    public E pop() { return null; }
}

class ChildStack extends ParentStack<Child> {
    // 可选的重写方法
    @Override
    public void push(Child e) {}
    
    @Override
    public Child pop() { return null; }
}

问题1：为何ChildStack的pop方法返回类型、push方法参数类型为Child而非Parent？ #

这是泛型类型具体化的直接结果：

• ParentStack是泛型类，定义时用E extends Parent作为类型参数，其push、pop方法的参数/返回类型都是E。
• 当ChildStack继承ParentStack<Child>时，相当于把父类的泛型参数E替换成了具体的Child类型。
• 编译器会自动将父类的方法签名适配为具体类型，所以ChildStack对外暴露的push参数是Child，pop返回值也是Child。这种设计让API更类型安全，调用时无需手动强制转换。

问题2：泛型擦除后ParentStack的方法类型为Parent，为何Child用Child类型也能被@Override识别？ #

这是Java编译器通过**桥接方法（Bridge Method）**实现的兼容处理：

• 泛型擦除后，ParentStack的原始方法签名是push(Parent)和pop() -> Parent。
• 但你在ChildStack中写的push(Child)和pop() -> Child，编译器会自动生成两个桥接方法来匹配擦除后的父类签名：
  1. public void push(Parent e)：内部调用你写的push((Child) e)（因为泛型约束，运行时不会出现类型转换错误，编译器已提前校验输入类型）
  2. public Parent pop()：内部调用你写的pop()并向上转型为Parent返回
• 你手动编写的Child类型方法，本质是重写了泛型具体化后的父类方法，而桥接方法负责和擦除后的父类方法签名对齐，因此@Override注解会被编译器认可为合法重写。

问题3：删除ChildStack中的重写方法，API仍显示push(Child)、pop()返回Child，这些方法源自何处？ #

这些方法是父类ParentStack被具体化后的继承方法：

• 当子类继承指定了具体类型参数的泛型父类时，编译器会自动将父类的泛型方法适配为具体类型的版本，作为子类的继承方法。
• 也就是说，ChildStack直接继承了ParentStack经过类型具体化后的push(Child)和pop() -> Child方法，无需手动重写就能使用。对外暴露的API显示的具体类型，是编译器对泛型父类方法进行类型适配后的结果。

内容的提问来源于stack exchange，提问作者Maximillian