在列表元素中保留泛型

Question

我有一个依赖泛型在内部绑定类型的类。

class C<T1, T2 extends T1> {
    T1 e1;
    T2 e2;
    /* stuff */
}

在我的代码中，我知道虽然c.e1 和c.e2 可能没有相同的类，但c.e2 是c.e1 类的子类的一个实例。

我需要在这些cs 中创建一个List，并且这些元素不会共享一个公共基类。不过，我想保留List 的每个元素都具有彼此之间有界的属性这一事实。

理想情况下，我想创建一个List<C<?, ? extends ...>>“但是”我不知道任何语法来指定这种行为。 并且使用 List<C<?, ?>> 在我看来，我失去了泛型类型。

进行此收集的正确方法是什么？

Answer 1

由于T2 在C 的声明中是有界的，即使您使用通配符，您也将始终保留它是T1 的子类型这一事实。即 C 的一个特点是第二个类型参数扩展了第一个。

所以你可以使用List<C<?, ?>>。

当您尝试将泛型参数绑定到类型变量时，您已经可以看到这是可行的。例如：

public static <T1, T2> void m(List<C<T1, T2>> list) { ... }
                                         ^^-- Bound mismatch

你需要使用：

public static <T1, T2 extends T1> void m(List<C<T1, T2>> list) {...}

或者：

public static <T1> void m(List<C<T1, ? extends T1>> list) {...}

让编译器开心。

Answer 2

我找到了一种将类型约束编码为自定义（非泛型）类型的解决方案。

所以现在我有这些课程：

class MainLogic {
    List<TypeHelper<?,?>> elements = new ArrayList<>();
    <T1, T2 extends T1> void addElement(T1 e1, T2 e2) {
        this.elements.add(new TypeHelper<T1,T2>(e1, e2));
    }
    void logic() {
        for (TypeHelper<?, ?> element: elements)
            element.logicHelper(this);
    }
    <T1, T2 extends T1> void logicHelper(T1 e1, T2 e2) {
        // here finally I have the variables constrained
    }
}

class TypeHelper<T1, T2 extends T1> {
    T1 e1;
    T2 e2;
    void logicHelper(MainLogic ml) {
        ml.logicHelper(e1, e1);
    }
}