Java 泛型 - 类自身的子类？

Question

我目前正在阅读 Java 泛型，但在通配符方面我有点卡住了。

我从 Collections 类中获得了这个方法：

public void <T> copy(List<? super T> dest, List<? extends T> src) {
    for(int i = 0; i < src.size(); i++) {
        dest.set(i, src.get(i));
     }
}

然后我被告知可以像这样调用该方法：

List<Object> objs = new ArrayList<Object>();
List<Integer> ints = new ArrayList<Integer>();
Collections.copy(objs, ints);

由于类型参数已经留给编译器来确定，书上说编译器选择类型参数为 Integer。

但这怎么可能呢？

如果它被认为是整数，这意味着在方法声明中 -
List<? extends T> 将转换为 List<Integer extends Integer>。

这是一个错误，还是在关于泛型时有不同的规则？我用谷歌搜索，大多数结果都说一个类不能是它自己的子类。

Answer 1

不，这不是错误。

? extends Integer 表示：任何是或扩展 Integer 的类（或实现 Integer，如果 Integer 是一个接口）。

? super Integer 也是如此，这意味着：任何为 Integer 的类，或者是 Integer 的超类或超接口。