[问题] 关于 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