Generic: Verständnisfrage

[Souljumper]

hab hier diesen beispiel code, es geht um generische Typprüfung und kovarianz, kontravarianz, invarianz usw.
Was genau bedeutet bei der statischen methode maxObject das "<T> T" ?
Ein T ist der Rückgabewert und das zweite ?

import java.util.ArrayList;
import java.util.Comparator;
import java.util.List;

public class Generics<T> 
{
	/* Der Comparator muss entweder T (im Beispiel Double) sein, oder ein/der Obertyp (hier Number) */
	public static <T> T maxObject(List<T> list, Comparator<? super T> cmp)
	{
		T max = null;
		for (T x: list)
		{
			if(max== null || cmp.compare(x, max) > 0)
				max = x;
		}
		return max;
	}	

	public static void main(String[] strings)
	{
		List<Double> list = new ArrayList<Double>();
		list.add(2.3); list.add(23.2); list.add(74.0);
		Double n = maxObject(list, new MyComparator());
		System.out.println(n);
	}
}

import java.util.Comparator;

public class MyComparator implements Comparator<Number> 
{

	public int compare(Number o1, Number o2) 
	{
		return (o1.doubleValue() < o2.doubleValue() ? -1 :
			    (o1.doubleValue() > o2.doubleValue()) ? 1 : 0);
	}

}

 

[Marco13]

Das zweite T (ohne die Spitzen Klammern) ist der Rückgabewert.

Das erste <T> dient nur als Information, dass es da etwas gibt, was T heißt. Wenn man nur
public static T maxObject(List<T> list, Comparator<? super T> cmp)
schreiben würde, dann wäre an dieser Stelle nicht bekannt, was "T" sein soll. Wenn man aber schreibt
public static <T> T maxObject(List<T> list, Comparator<? super T> cmp)
dann wird durch das <T> praktisch gesagt: T ist an dieser Stelle der Typ, den du dir aus dem übergebenen Argument zusammenreimen darfst. Wenn man eine List<Integer> übergibt, ist T Integer. Wenn man eine List<String> übergibt, ist T String.

Mehr dazu in der Generics-Bibel:
http://www.angelikalanger.com/GenericsFAQ/FAQSections/TechnicalDetails.html#FAQ401

 

[0x7F800000]

<T> gibt an, dass die methode generisch ist.
Das ist wichtig, damit der compiler weiß, wofür im folgenden das "T" überhaupt steht. Es ist auch wichtig, weil du da einschränkungen an T stellen kannst, etwa
<T extends X> wenn du zB das Interface "X" bei der ausführung der methode unbedingt brauchst.

das zweite T bei "<T> T" steht für den Rückgabetyp.