Wildcards #9

Closed
opened 2016-03-22 14:56:06 +00:00 by stan · 2 comments
Owner

Es gibt ein Problem mit Wildcards bei der momentan verwendeten Methode der Bytecodegenerierung.

Zu einer Typ Vector wird beispielsweise der Type
Vector%Integer% extends Vector generiert.

Zu dem Typ Vector<? extends Integer> kann allerdings kein Typ generiert werden, weil folgende Typdefinition in Java nicht korrekt ist:

class Vector%extends%Integer% extends Vector<? extends Integer> { ...

Fehler: A supertype may not specify any wildcard

Es gibt ein Problem mit Wildcards bei der momentan verwendeten Methode der Bytecodegenerierung. Zu einer Typ Vector<Integer> wird beispielsweise der Type Vector%Integer% extends Vector<Integer> generiert. Zu dem Typ Vector<? extends Integer> kann allerdings kein Typ generiert werden, weil folgende Typdefinition in Java nicht korrekt ist: class Vector%extends%Integer% extends Vector<? extends Integer> { ... Fehler: A supertype may not specify any wildcard
Author
Owner

Es ist nicht nötig die Klasse Vector%Integer% von Vector erben zu lassen.
Es reicht aus, die Klasse von Vector erben zu lassen.

Aus Vector<? extends Integer> wird also:

Vector%extends%Integer% extends Vector

Es ist nicht nötig die Klasse Vector%Integer% von Vector<Integer> erben zu lassen. Es reicht aus, die Klasse von Vector erben zu lassen. Aus Vector<? extends Integer> wird also: Vector%extends%Integer% extends Vector
Author
Owner

Update:

gehört nicht mehr zur Enrico Studienarbeit.

Fälle in denen ? extends Typen in den Methodenparameter auftauchen einfach ignorieren.

Update: gehört nicht mehr zur Enrico Studienarbeit. Fälle in denen ? extends Typen in den Methodenparameter auftauchen einfach ignorieren.
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#9
No description provided.