重写泛型方法时触发编译错误，为何无法正确覆写父类方法？

这个问题的核心在于你混淆了方法级泛型和固定类型方法的重写规则，再加上Java类型擦除的机制，才导致了编译错误。咱们一步步拆解清楚：

1. 先明确父类方法的本质 #

父类Base中的transform是一个方法级泛型方法：

class Base{ 
    public <T> Collection<T> transform(Collection<T> list) { 
        return new ArrayList<T>(); 
    } 
}

这里的<T>是属于方法本身的泛型参数，意味着每次调用这个方法时，T可以是任意类型（由调用上下文推导或显式指定）。比如你可以调用base.transform(new ArrayList<String>())或者base.transform(new ArrayList<Integer>())，都是合法的。

2. 子类方法的问题所在 #

子类Derived中的方法是一个固定类型的非泛型方法：

public class Derived extends Base { 
    @Override // 编译错误
    public Collection<CharSequence> transform(Collection<CharSequence> list) { 
        return new HashSet<CharSequence>(); 
    } 
}

它没有泛型参数，只能接受Collection<CharSequence>类型的参数，返回Collection<CharSequence>。

3. 类型擦除的影响 #

Java在编译阶段会擦除所有泛型信息，把泛型代码转换为原始类型代码：

• 父类的方法擦除后变为：public Collection transform(Collection list)
• 子类的方法擦除后也变为：public Collection transform(Collection list)

两者的擦除后签名完全相同，但这并不符合重写的要求——因为重写要求子类方法必须能完全替代父类方法（里氏替换原则）：

• 父类方法可以处理任意类型的Collection，而子类方法只能处理Collection<CharSequence>。如果允许这种"重写"，当你用Base引用指向Derived对象时：

  Base b = new Derived();
  b.transform(new ArrayList<String>()); // 按照父类签名合法，但子类方法无法处理String类型的集合
  

  这会导致运行时类型安全问题，所以Java编译器直接禁止这种情况。

4. 编译器报错的原因 #

编译器判断：

• 擦除后的方法签名相同，所以这不是合法的重载（重载要求擦除前的签名不同）；
• 子类方法的泛型约束（固定CharSequence）和父类方法的泛型约束（任意T）不匹配，所以这也不是合法的重写。
  因此抛出错误：'transform(Collection)' in 'Derived' clashes with 'transform(Collection)' in 'Base'; both methods have the same erasure, yet neither overrides the other。

正确的重写方式 #

如果你想合法重写父类的方法，有两种方案：

方案一：子类也定义方法级泛型，保持签名一致 #

让子类的方法也是泛型方法，和父类的泛型参数约束匹配：

public class Derived extends Base {
    @Override
    public <T> Collection<T> transform(Collection<T> list) {
        return new HashSet<T>(); // 可以返回不同的Collection实现，只要符合泛型约束
    }
}

方案二：将泛型移到类级别（如果需要固定子类的类型） #

如果你的子类确实只想处理CharSequence类型，可以把泛型参数从方法移到父类的类级别：

// 修改父类为类泛型
class Base<T> {
    public Collection<T> transform(Collection<T> list) {
        return new ArrayList<T>();
    }
}

// 子类继承时指定具体类型
public class Derived extends Base<CharSequence> {
    @Override
    public Collection<CharSequence> transform(Collection<CharSequence> list) {
        return new HashSet<CharSequence>();
    }
}

此时父类的方法签名基于类泛型，子类指定CharSequence后，方法的实际签名和擦除后签名都与父类匹配，就能正确重写了。

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