Generics-Theorie

[Evolver]

Also ich habe eine Theoriefrage zu Generics, genauer bzgl. einer Aussage im "Inselbuch": http://www.galileocomputing.de/openbook/javainsel6/javainsel_06_013.htm

In Abschnitt "6.13.4 Einschränken der Typen" steht:

Neben extends kann der Typ auch mit super eingeschränkt werden. Dann sind nicht mehr alle Untertypen erlaubt, sondern der genannte Typ bestimmt den maximalen Obertyp. Während also <T extends CharSequence> eine Typisierung mit Klassen ermöglicht, die Char-Sequence implementieren, also mindestens vom Typ CharSequence sind, würde <T super String> die Typen einschließen, die in der Vererbungshierarchie unter String liegen. Die Einschränkung ist wenig nötig und ist im Allgemeinen für Wildcards sinnvoll, die wir gleich kennen lernen werden.

Versuche ich das umzusetzen, bekomme ich aber immer die Fehlermeldung, dass der Token 'super' da nicht hingehört. Einzig bei den angesprochenen Wildcards kann ich problemlos eine 'super'-Angabe machen.

// Fehler
class Bla <T super String>
{}

// Wildcard OK
Vector<? super String> blubb;

Also wie ist es nun konkret? Das 'super' nur bei WildCards oder auch irgendwie irgendwo anders?

 

[bygones]

*verwirrt*

<T super String> ist unsinnig... alle Superklassen von einer Klasse haben nichts miteinander zu tun, was suchen die in einer bound definition.
<? super String> fuer generische klassen sind sinnvoll
zb
Comparable<? super T>
vll reicht schon der super comparable aus und man muss nicht den eigentlich typ comparable nutzen.

wundert mich dass das so im java buch steht...

mhm... hoffe man versteht was ich meinte

 

[hansz]

Hallo zusammen,

nach meinen Erfahrungen mit Java-Generics kann ich folgendes dazu sagen:

Der Wildcard ? kann nur eine Schranke haben, entweder eine untere Schranke (? super Type) oder eine obere Schranke (? extends Type).

Eine untere Schranke für Typparameter, also im Beispiel T, gibt es nicht. Also ist die Verwendung von <T super String> nicht definiert und der Compiler bringt eine Fehlermeldung.

Der Typparamter T kann aber im Gegensatz zu einer Wildcard ? mehrer Schranken besitzen. So wäre z.B.

public class Bla<T extends Number & Comparable<T>>

zulässig. Die Ableitungsregeln, die zu dieser Klassendeklaration führen können in der "Java Language Specification" nachgelesen werden und lauten:

TypeParamter:
TypeVariable TypeBound_opt

TypeBound:
extends ClassOrInterfaceType AdditionalBoundList_opt

AdditionalBoundList:
AdditionalBound
AdditionalBoundList AdditionalBound

AddtionalBound:
& InterfaceType

Aus den genannten Ableitungsregeln kann also nicht <T super String> abgeleitete werden, da lediglich das Schlüsselwort extends vorkommt und super nicht. <T extends String> hingegen könnte abgeleitet werden.


class Bla <T super String> bezeichnet einen generischen Typ.
Vector<? super String> wird als parametrisierter Typ bezeichnet.
? super String wird als aktuelles Typargument bezeichnet und innerhalb von Typargumenten kann ein Wildcard auftreten, was wiederum die Ableitungsregeln zeigen:

ActualTypeArgument:
ReferenceType
Wildcard

Wildcard:
? WildcardBounds_opt

WildcardBounds:
extends ReferenceType
super ReferenceType

Es hilft, sich an den Ableitungsregeln zu orientieren, die in der Spezifikation stehen...