Generics

[saladin100]

Servus alle zusammen,

Warum geht folgendes nicht ?

public class BoundedBox2<T extends Number & String> {}

Complier sagt immer : String ist kein Interface .... da hat er recht... aber in meinem Script steht auch nichts davon, dass es ein Interface sein muss....

Die Notation <T extends Number & String> bedeutet doch..... entweder hat T ein Subtyp von Number oder Number selbst zu sein... oder T hat Subtyp von String oder String selbst zu sein. Oder?


grüßle

 

[firewarrior]

Der & Operator bedeutet, wie sonst auch immer "und". D.h. T muss Subklasse von Number und String sein.

Edit: Siehe unten, ist nur mit Interfaces möglich.

 

[Michael...]

Das geht nicht, da in Java keine Mehrfachvererbung möglich ist und somit ein Objekt nicht gleichzeitig von

Number

&

(=und)

String

erben kann. Als bounded Parameter sind nur Interfaces zulässig.
Ein

oder

gibt es m.W. im Zusammenhang mit Generics nicht.

 

[Landei]

Bei der Schreibweise [c]<T extends A & B & C>[/c] darf höchstens A eine Klasse sein, alles andere müssen Interfaces sein. Es dürfen natürlich auch alle Interfaces sein. Warum, ist relativ einleuchtend: Java unterstützt keine Mehrfachvererbung, T kann also höchstens von einer einzigen Klasse erben (und tut es auch, abgesehen von [c]java.lang.Object[/c]). Oder anders ausgedrückt: Es kann in Java kein T geben, das gleichzeitig von [c]Number[/c] und [c]String[/c] (der übrigens sowieso eine finale Klasse ist) erbt. Warum es der erste Wert der Liste sein muss, hängt mit dem Type-Erasure-Mechanismus zusammen (T würde intern vom Compiler mit A ersetzt, und die nötigen Casts z.B. zu B und C eingefügt) .

Ein Konstrukt, dass es erlauben würde, dass eine Typ [c]Number[/c] oder [c]String[/c] ist, gibt es nicht. Man kann sich höchstens mit entsprechenden Wrappern behelfen, z.B. Either von functionaljava. Allerdings muss man dann die Werte immer "ein- und auspacken", was das Ganze sehr schwerfällig macht.

 

[saladin100]

Ahhaa... macht sinn.. danke für die schnelle Antwort