Всем привет.
Читаю офиц.
trail по генерикам.
Сижу в тихом ужосе, конечно: нормальный чел такой запутанный синтаксис выдумать не мог. Это паранойя какая-то.
Ладно, это лирика была. Теперь вопрос из раздела упражнений.
http://docs.oracle.com/javase/tutorial/java/generics/QandE/generics-questions.html Write a generic method to find the
maximal element in the range [begin, end) of a list.
Вот решение с "официальным" вариантом и то, что у меня родилось (адаптированное по именам переменных под "официальный" вариант и специально переделанное под поиск
min -элемента):
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
import java.util.*;
class GenTest01 {
static List<Integer> n = new ArrayList<Integer>( Arrays.asList(new Integer[] {9,1,4,7,7,3,2,-1,7,5,-9,1,2}) );
public static void main(String[] args) {
System.out.println( "min="+GenTest01.findMin( n, 2, 8 )+", max="+GenTest01.findMax( n, 2, 8 ) );
}
// "Write a generic method to find the maximal element of a list."
// 1. Official doc:
static <T extends Object & Comparable<? super T>>
T findMax(List <? extends T> x, int begin, int end) {
T maxElem=x.get(begin);
for (++begin; begin < end; ++begin)
if (maxElem.compareTo(x.get(begin)) < 0)
maxElem = x.get(begin);
return maxElem;
}
// 2. My own:
static < T extends Object & Comparable > // ==>
// static < T extends Object & Comparable<T> >
T findMin(List <T> x, int begin, int end) {
T minElem=x.get(begin);
for (++begin; begin < end; ++begin)
if (minElem.compareTo(x.get(begin)) > 0)
minElem = x.get(begin);
return minElem;
}
}
Из-за того, что параметр метода "2. My own" объявлен как
1.
< T extends Object & Comparable >
- а не:
1.
static < T extends Object & Comparable<T> >
- получаю предупреждение от компилятора:
1.
2.
GenTest01.java:28: warning: [unchecked] unchecked call to compareTo(T) as a member of the raw type java.lang.Comparable
if (minElem.compareTo(x.get(begin)) > 0)
^
Вопросов тут несколько.
1. Почему он не в состоянии понять, что если minElem имеет тип `T`, входной список (x) содержит элементы того же типа `T`, то сравнение двух величин: minElem.compareTo(x.get(begin)) не может выдать исключение рантайма ? (или всё-таки может ?!)
2. Предупреждение исчезает, как только я добавлю эту `T` еще один раз:
1.
static < T extends Object & Comparable<T> >
Тогда к чему относится первая из указанных тут `T`, которая слева отслова 'extends' ??
3. В офиц. варианте объявление всё равно не такое, а еще более навороченное:
1.
static <T extends Object & Comparable<? super T>>
Не понимаю тут следующее: для чего
здесь этот "? super T" (смысл его знаю; для чего он ТУТ применён - не врубаюсь, т.к. не могу понять, что передать моему варианту, чтобы он завалился, а этот - нет).
ЗЫ. И еще. Где-нить есть толковое и ВМЕНЯЕМОЕ ководство по генерикам ? Не просто чтобы "запомните правило: если ***, то надо ***, а иначе ***" - а чтобы с объяснением, ПОЧЕМУ надо писать именно так, а не эдак ? Официальный трейл осилить не могу. Впервые, наверное :(
