Java如何移除冗余类型参数？简化ConstraintCollection泛型定义

针对泛型参数冗余的问题，有几种实用的简化方案：

1. 静态工厂方法自动推导类型 #

无需修改现有AbstractConstraint及其子类的结构，给ConstraintCollection添加静态工厂方法，借助Java的类型推导机制自动补全T参数：

public class ConstraintCollection<C extends AbstractConstraint<T>, T extends Comparable<T>> {
    // 原有依赖T的实现逻辑
    
    // 无参静态工厂方法
    public static <C extends AbstractConstraint<T>, T extends Comparable<T>> ConstraintCollection<C, T> create() {
        return new ConstraintCollection<>();
    }

    // 重载：通过约束实例推导类型（更直观）
    public static <C extends AbstractConstraint<T>, T extends Comparable<T>> ConstraintCollection<C, T> create(C constraint) {
        return new ConstraintCollection<>();
    }
}

实例化时的简化写法：

// 方式1：借助左侧赋值类型推导T
ConstraintCollection<IntegerConstraint, Integer> foo = ConstraintCollection.create();

// 方式2：传入约束实例，自动推导所有类型参数（配合var进一步简化）
IntegerConstraint ic = new IntegerConstraint();
var foo = ConstraintCollection.create(ic);

2. 重新设计泛型结构，实现单类型参数集合 #

修改AbstractConstraint的泛型定义，引入自我引用的泛型参数，让子类明确绑定自身与T的关系：

// 修改抽象类，添加自我引用的泛型参数C
public abstract class AbstractConstraint<T extends Comparable<T>, C extends AbstractConstraint<T, C>> {
    // 原有逻辑保持不变
}

// 子类实现时指定自身为C参数
public class IntegerConstraint extends AbstractConstraint<Integer, IntegerConstraint> {
    // ...
}

此时ConstraintCollection只需定义单个类型参数：

public class ConstraintCollection<C extends AbstractConstraint<? extends Comparable<?>, C>> {
    // 若需使用具体T类型，可通过方法级泛型捕获
    public <T extends Comparable<T>> void processConstraint(AbstractConstraint<T, C> constraint) {
        // 依赖T可比较性的实现代码
    }
}

实例化时仅需指定子类类型：

ConstraintCollection<IntegerConstraint> foo = new ConstraintCollection<>();

3. 方法级泛型替代类级泛型（场景允许时） #

如果ConstraintCollection的核心操作不需要在类层面绑定T，可以将泛型约束移到方法级别，类本身无需泛型参数：

public class ConstraintCollection {
    public <T extends Comparable<T>> void addConstraint(AbstractConstraint<T> constraint) {
        // 依赖T可比较性的实现代码
    }

    // 其他方法按需添加泛型约束
}

实例化时完全无需指定类型参数：

ConstraintCollection foo = new ConstraintCollection();
foo.addConstraint(new IntegerConstraint());

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