Java泛型中的? super T文法

? super T 文法將泛型類限制為所有T的超類（包括T自身），但只能用於參數中，不可以在傳回值用加以限定。
如果不加以限定，假設某個函數頭為
? super Manager get()
由於編譯器不知道該方法究竟會返回什麼類，這樣就只能用Object類來接收了。

該文法常用的一個情況是泛型類的比較
java.util.TreeSet<E> 代表一個有序的元素為E的樹，它其中的一個構造器需要一個Comparator類來比較兩個元素，以E為String類時為例，此時的Comparator可以是Comparator<String>，也可以是Comparator<Object>，但Comparator<Integer>就不行，如何表示這樣的限制呢？
jdk原始碼中是這樣的：
public TreeSet(Comparator<? super E> c)
這樣就保證了傳給構造器的Comparator是可以進行E元素的比較的。

另一個例子，java.util.Collections的max方法用於獲得一個容器中的最大值，這個函數頭可以這樣寫：
public static <T extends Comparable<T>>  T max(Collection<T> coll)

這樣就限定T為能和自己比較的類，過於嚴格，jdk源碼是這樣的：

public static <T extends Object & Comparable<? super T>> T max(Collection<? extends T> coll) {
    Iterator<? extends T> i = coll.iterator();
    T candidate = i.next();

    while(i.hasNext()) {
    T next = i.next();
    if (next.compareTo(candidate) > 0)
        candidate = next;
    }
    return candidate;
}

很嚴謹的函數頭，但是限定方面比較寬