Generic Methode - Wie muss die List Definition aussehen?

[Yjuq]

Huhu, ich habe da ein seltsamen Konstrukt in der JavaFX Bibliothek gefunden. Allerdings stoße ich auf ein Verständnisproblem bei diesem Konstrukt. Und zwar geht es hier rum:

https://docs.oracle.com/javase/10/d...fx.event.EventType,javafx.event.EventHandler)

Erst einmal dazu, wo ich dieses Konstrukt gefunden habe. Nun hab ich ein wenig damit herum gespielt und mir wird einfach nicht klar, warum diese Form gewählt wurde:

public final <T extends Event> void addEventHandler(EventType<T> eventType,
                                                    EventHandler<? super T> eventHandler)

Die Konstruktion aus <T extends Event> und addEventHandler(EventHandler<? super T> eventHandler) lässt mich grübeln. Irgendwie wird mir nicht klar, was diese Methode nun genau entgegennehmen kann...

Und angenommen ich würde diese Methode selber in meinen Programm selber so deklarieren, wie müsste dann meine Listen Definition aussehen um die eventHandler abzuspeichern? Ich meine, irgendwo müssen sie zum dispatchen abgespeichert werden...

Gerade die Kombination aus <T extends Event> und EventHandler<? super T> verwirrt mich total. Ist es nicht dann das selbe, als ob ich diese Methoden Definition habe?

public final void addEventHandler(EventType<Event> eventType, EventHandler<Event> eventHandler)

Ich verstehe das nicht wirklich was das soll. :O

Bei der Frage geht es mir ums Verständnis. Ich verstehe das einfach nicht.

 

[httpdigest]

`? super T` bedeutet, dass hier nur irgendein EventHandler benötigt wird, dessen Typparameter gleich T oder ein Supertyp von T ist. Das heißt, die Methode ist generischer und erzwingt nicht ein EventHandler<MySuperSpecializedEvent>, sondern du kannst auch etwa einen EventHandler<MyGenericEvent> übergeben, wenn MySuperSpecializedEvent von MyGenericEvent erbt.
Wenn die Methodensignatur so aussehen würde, wie du sagst, also tatsächlich `public final void addEventHandler(EventType<Event> eventType, EventHandler<Event> eventHandler)` dann könntest du tatsächlich nur und ausschließlich mit der generischen Klasse `Event` arbeiten und niemals mit einem spezifischen Eventtyp. Das liegt daran, dass in Java parameterisierte Typen mit abgeleiteten Typparametern ihrerseits nicht selbst abgeleitete Typen darstellen. Parameterisierte Typen in Java sind also nicht covariant. Das heißt, eine List<String> ist kein Subtyp von List<Object>, bzw. EventType<MySpecializedEvent> ist kein Subtyp von EventType<Event>. Deswegen werden die Wildcard-Typen mit extends/super benötigt.
Und es ist ja von der Typisierung her okay, wenn du für einen MySuperSpecializedEvent auch einen EventHandler verwendest, der MyGenericEvent unterstützt, da ja ein MySuperSpecializedEvent auch ein MyGenericEvent ist.

 

[Yjuq]

Hmn, war zwar etwas unverständlich erklärt (meiner Ansicht nach) aber hat mir dennoch weitergeholfen. Dankeschön

 

[mihe7]

war zwar etwas unverständlich erklärt (meiner Ansicht nach)

Grundsätzlich ist es nicht einfach, Sachverhalte verständlich zu vermitteln, insbesondere wenn man die Vorkenntnisse des Anderen nicht kennt. Insofern wäre es ganz interessant, zu erfahren, was Deiner Ansicht nach an seiner Erklärung unverständlich war bzw. wie Du das erklären würdest.