子类作为返回/参数类型时抽象方法未被判定为已实现的问题

父类A<T>中的抽象方法someFunction(A<?> obj)要求子类实现的方法必须能接收任意A的泛型实例作为参数。而你在B中定义的someFunction(B obj)参数类型仅为B（A<Integer>的子类），这并不是对父类方法的重写，而是一个全新的重载方法。因为二者参数类型不兼容：父类方法可以接受A<String>、A<Double>等任意A的子类实例，子类方法却只能处理B类型，违反了方法重写的规则，因此编译器判定你未实现父类的抽象方法，抛出错误。

注：Java支持协变返回类型（子类重写方法可返回父类方法返回类型的子类，比如这里返回B是允许的），但该规则仅适用于返回类型，参数类型的修改必须符合重写要求。

除了使用A<T, ChildName>双泛型的方式，还有两种常见实现方式：

1. 正确实现父类抽象方法，同时重载具体版本 #

在子类中先严格遵循父类方法签名实现抽象方法，再重载一个参数为B的版本，既满足编译器要求，又能提供更友好的调用接口：

abstract class A<T> {
    public abstract A<T> someFunction(A<?> obj);
}

public class B extends A<Integer> {
    @Override
    public B someFunction(A<?> obj) {
        // 先做类型校验，确保传入参数为B类型
        if (!(obj instanceof B)) {
            throw new IllegalArgumentException("参数必须是B类型");
        }
        B bObj = (B) obj;
        // 编写具体业务逻辑
        return this;
    }

    // 重载参数为B的版本，简化调用
    public B someFunction(B obj) {
        return someFunction((A<?>) obj);
    }
}

这种方式无需修改父类结构，同时保留了类型安全的调用体验。

2. 使用自限定泛型（CRTP） #

让父类的泛型参数包含自身类型，在父类层面约束方法的参数和返回类型，子类可直接实现具体类型的方法：

// 父类使用自限定泛型，Self必须是A<T, Self>的子类
abstract class A<T, Self extends A<T, Self>> {
    public abstract Self someFunction(Self obj);
}

public class B extends A<Integer, B> {
    @Override
    public B someFunction(B obj) {
        // 编写具体业务逻辑
        return this;
    }
}

这种方式和双泛型方案本质一致，但更明确地表达了“子类需传入自身作为泛型参数”的约束，避免了父类方法参数过于宽泛的问题。

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