子类中参数化超类方法和非参数化（具体类型）方法

Question

我有一个抽象超类ValueType和两个非抽象子类IntType和DoubleType。如何在超类方法中定义类型，如下所示

public abstract class ValueType {
    public abstract <T extends ValueType> T add(T other);
}

我允许在子类方法中编写具体类型（例如，public IntType add（IntType other）或DoubleType add（DoubleType other））

public class IntType extends ValueType {

private int val;

public IntType(int val){
    this.val = val;
}

public int getVal(){
    return this.val;
}

@Override
public IntType add(IntType other) {
    return new IntType(this.val + other.getVal());
}

public class DoubleType extends ValueType {

private double val;

public DoubleType(double val){
    this.val = val;
}

public double getVal(){
    return this.val;
}

@Override
public DoubleType add(DoubleType other) {
    return new DoubleType(this.val + other.getVal());
}

在上面的示例中，子类方法不会覆盖超类方法。

Answer 1

使抽象类本身泛型，而不仅仅是它的方法。

提升泛型类型

public abstract class ValueType<T extends ValueType<T>> {
    public abstract T add(T other);
}

然后，具体的子类从泛型类扩展而来，并被迫重写抽象方法（省略了私有字段、getter和setter）：

public class IntType extends ValueType<IntType> {

    @Override
    public IntType add(IntType other) {
        return new IntType(this.val + other.getVal());
    }
}

public class DoubleType extends ValueType<DoubleType> {

    @Override
    public DoubleType add(DoubleType other) {
        return new DoubleType(this.val + other.getVal());
    }
}

顺便说一下，你有两个打字错误：

• 返回新的intType（this.valueother.getVal（））；应该使用this.val。
• 返回新的DoubleType（this.valueother.getVal（））；也应该使用this.val。