Java 的 <T> T get(List<? extends T> i) 怎么理解？和 <T> T get(List<T> i) 有啥不同？

[lhx2008]

Collections 里面有一段代码

    private static <T> T get(ListIterator<? extends T> i, int index) {
        T obj = null;
        int pos = i.nextIndex();
        if (pos <= index) {
            do {
                obj = i.next();
            } while (pos++ < index);
        } else {
            do {
                obj = i.previous();
            } while (--pos > index);
        }
        return obj;
    }

他这里用了 <T> T get(ListIterator<? extends T> i) 我有点不理解，因为 T 就是传入的 ListIterator 的泛型定的，根本没有再向下转型的可能了。

所以应该和 <T> T get(ListIterator<T> i) 是一样的，那为什么要多此一举呢？

[lhx2008]

@wqlin 但是 T 不是你想定就定的，是按第一个参数的泛型定的

你传 copy (List<Object> ,List<Integer>) ，T 就是 Object
你传 copy(List<Number>, List<Integer> )，T 就是 Number

都没有问题

[szq8014]

协变 & 逆变　+1

[wqlin]

@lhx2008 我到没怎么用过 Collections 中的 get 函数，只是表达下 T 和 ? super T 区别。不过为啥是第一个参数而不是第二个参数?

[Foredoomed]

super 的作用并不是你能放什么类型在这个集合里，而是指定了集合的引用类型，具体的自己网上搜吧。

[LucasLee92]

@lhx2008 两个例子不都是用父类来接受子类，java oo 思想的一种表现

[ZiLong]

@lhx2008 恩,这个链接解释的还是蛮清楚的

[Raymon111111]

可以传 Integer 返回 Number 啊

[FrankFang128]

@lhx2008 List<T> 只能把元素当做 T 操作，List<? extends T> 可以把元素当做 T 的子类操作，还是不一样的