[問題] 關於 Wildcard 邊界問題

作者: putumaxally (putumaxally)   2015-09-28 02:28:57
我在Oracle的官方網站的Tutorial學Java,目前看到Generic的部分,
對於後面題目的答案感到很困惑。
它的題目是
Write a generic method to find the maximal element in the
range [begin, end) of a list.
我的答案是
static <T extends Comparable> T max(
List<T> list, int begin, int end) {
T max = list.get(begin);
for (int i = begin + 1; i < end; i++)
max = (list.get(i).compareTo(max) > 0) ? list.get(i) : max;
return max;
}
它的解答是
static <T extends Comparable<? super T>> T max(
List<? extends T> list, int begin, int end) {
T maxElem = list.get(begin);
for (++begin; begin < end; ++begin) {
if (list.get(begin).compareTo(maxElem) > 0)
maxElem = list.get(begin);
}
return maxElem;
}
list 裡面應該只能放 T 跟它的子類別吧,那為什麼 Comparable 的類別參數
要給下界為T,我也完全不懂T的型態定義,如果我 list 裡面放的是T的子類別
那Comparable的下界為T不就不合理了嗎,其實我也不懂我的問題到底是什麼,
Generic跟Wildcard把我搞的好亂...Generic是OO的概念吧,我是不是應該去找
本OO的書來看?
作者: jtorngl (Pedrosa go!)   2015-09-28 10:02:00
你先單純拿Comparable來用,再擴大到整個<T extends ...>List是T的子類別,但已經宣告Comparable<? super T>了Generic我是把它當語法而已,就有個interface型態而不是用Object然後再來轉型,OO我覺得看Design Pattern才有感
作者: kentyeh (kent)   2015-09-28 10:09:00
http://bit.ly/1YJbYfT 這篇說的很清楚

Links booklink

Contact Us: admin [ a t ] ucptt.com