具有下界（超级）类型的 Java 方法

Question

例如，我有下一个类，有界类型参数：

public class ItemContainer<T> {
    void addItems(List<T> items);
}

在另一个类中使用参数：

public class ItemsGenerator<T> {
    public void putItems() {
        ItemContainer<? super T> itemContainer = getItemContainer();
        List<? super T> items = getItems();
        itemContainer.addItems(items); // compilation error!
    }
}

据我了解，问题在于第一个（ItemContainer）通用参数是否与第二个（List）相同是未知的。好的解决方案可能是为方法定义通用的下限类型：

public <S super T> void putItems() {
    ItemContainer<S> itemContainer = getItemContainer();
    List<S> items = getItems();
    itemContainer.addItems(items); // ok
}

但是，令人惊讶的是（就我而言），没有这样的语法（ slightly unconvincing reason）！
有没有办法解决这个问题？我确信（在我的情况下）第一个和第二个参数是相同的，但我不知道如何向 Java 解释它。

Answer 1

您是对的，Java 不允许这样做，因为两个实例虽然具有相同的 super，但可能不属于同一类，因此避免了运行时异常。既然您确定它们将始终属于同一类，为什么不在 itemContainer 和 items 中使用相同的 Type？

    ItemContainer<T> itemContainer = new ItemContainer<>();
    List<T> items = new ArrayList<>();