Polymorphie Generischer Methodenkopf - Erklärung

[Helgon]

Hey, arbeite mich grad in Java rein und bin in nem Buch auf folgendes gestoßen.

	public static <T extends Object & Comparable<? super T>> T min( 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;
	}

Wäre jemand so nett, den Methodenkopf zu erklären? Klar weis ich was Generics sind und man sie verwendet etc. aber hier blick ich nicht ganz durch. Im Buch wird nix weiteres zu gesagt.

Was ich mir zusammen reime ist eben, dass der return value eben auch Generisch ist, klar. Aber warum extends Object? Alles ist doch von Object schon abgeleitet und warum die Verknüpfung durch &, wenns einfach mehrere erweiterungen wären, würde man doch mit einem Komma (,) trennen, oder nicht?

Wäre echt nett, wenn ihr das Idioten gerecht erklären würdet.

Grüße

 

[Der Müde Joe]

 <T extends Object & Comparable<? super T>>

Der Typ T ist mindestens ein Object und ein Comparable.
Naja..Object ist alles...also mal weg damit

<T extends Comparable<..>

Das Objekt ist mindestens ein Comparable, bzw implementiert diese Inteface.

Der return Wert ist auch ein T. Also auch mindesten ein Comparable.

Die Collection enthält irgendetwas was T ist <? extends T>. Da T mindenstens ein Comparable ist, also etwas Compariges.

Egal was da rein kommt, es muss mindestens Comparable sein.
Wenn T reinkommt, kommt auch T raus.

so ca..

 

[Helgon]

Warum steht es in den größer, kleiner Zeichen? (<>) und warum wird die Oberklasse von T aufgerufen?

Comparable<? super T>

Ist mir alles sehr schleierhaft und ich weis nicht warum das Object eben auch drin steht. Glaub nicht weil der Autor nen schlechten Stil hatte. Muss doch bestimmt nen tieferen Sinn haben?

Grüße

 

[Marcinek]

HI,

das hier schon angeguckt:

Galileo Computing :: Java ist auch eine Insel (8. Auflage) – 9 Generics, innere Klassen