Allgemeine Frage über Generics und Vererbungen

[sehrVerzweifelterStudent]

Hallo zusammen
Ich verstehe bei nachfolgender Aufgabe nicht, warum meins nicht stimmt, bzw. warum es in der Lösung so ist, wie es ist.

Aufgabe:
Man hat ein public interface A <T1 extends X>{} gegeben und möchte eine public class C, die A implementiert und denselben generischen Typparameter T1 mit denselben Einschränkungen wie in A. Also dachte ich mir:
public class C <T1 extends X> implements A<T1 extends X>{}. Nach Lösung gilt allerdings public class C <T1 extends X> implements A<T1>{}.

Wäre super wenn mir kurz jemand erklären könnte warum das so ist.
LG

 

[temi]

Nehmen wir an die Klasse Foo erweitert X und du würdest eine Klasse Bar implementieren wollen, die A<Foo> implementiert, dann müsstest du schreiben: public class Bar implements A<Foo>.

Du möchtest jetzt allerdings eine weitere generische Klasse implementieren (ob der Typparameter T1 oder sonstwie heißt ist im Prinzip egal und das Interface lassen wir erst mal weg). Für diese Klasse gilt demnach public class C <N extends X>

Jetzt muss sie noch das Interface implementieren: public class C <N extends X> implements A<N>

Ich hoffe ich liege jetzt nicht ganz falsch. Vielleicht kann es noch jemand fachlich besser erklären.

 

[sehrVerzweifelterStudent]

Nehmen wir an die Klasse Foo erweitert X und du würdest eine Klasse Bar implementieren wollen, die A<Foo> implementiert, dann müsstest du schreiben: public class Bar implements A<Foo>.

Du möchtest jetzt allerdings eine weitere generische Klasse implementieren (ob der Typparameter T1 oder sonstwie heißt ist im Prinzip egal und das Interface lassen wir erst mal weg). Für diese Klasse gilt demnach public class C <N extends X>

Jetzt muss sie noch das Interface implementieren: public class C <N extends X> implements A<N>

Ich hoffe ich liege jetzt nicht ganz falsch. Vielleicht kann es noch jemand fachlich besser erklären.

Ja genau aber das Interface heißt doch A <T1 extends X> und nicht A <T1>, das verwirrt mich

 

[temi]

Ja genau aber das Interface heißt doch A <T1 extends X> und nicht A <T1>, das verwirrt mich

Mit interface A <T1 extends X> deklarierst du ein Interface mit dem generischen Typparameter T1. Dieser Parameter ist eingeschränkt auf alle Typen, die X erweitern.

Die Klasse C soll ebenfalls generisch sein deshalb deklarierst du für die Klasse genau dasselbe, und sie soll das Interface implementieren welches den Typparameter der Klasse übernehmen soll. Der Typparameter heißt halt nun mal "T1". Die Einschränkungen für diesen Typparameter hast du schon bei der Klasse festgelegt. Und für das Interface ist die Einschränkung bei der Interface-Deklaration festgelegt.

Wobei diese Bezeichnung willkürlich ist es könnte auch class C <SUPPE extends X> implements A<SUPPE> da stehen.

 

[sehrVerzweifelterStudent]

Mit interface A <T1 extends X> deklarierst du ein Interface mit dem generischen Typparameter T1. Dieser Parameter ist eingeschränkt auf alle Typen, die X erweitern.

Die Klasse C soll ebenfalls generisch sein deshalb deklarierst du für die Klasse genau dasselbe, und sie soll das Interface implementieren welches den Typparameter der Klasse übernehmen soll. Der Typparameter heißt halt nun mal "T1". Die Einschränkungen für diesen Typparameter hast du schon bei der Klasse festgelegt. Und für das Interface ist die Einschränkung bei der Interface-Deklaration festgelegt.

Wobei diese Bezeichnung willkürlich ist es könnte auch class C <SUPPE extends X> implements A<SUPPE> da stehen.

okay danke, verstanden
Aber falsch wäre es nicht, halt unnötig weil es ja so schon eingeschränkt wurde oder?

 

[temi]

Aber falsch wäre es nicht, halt unnötig weil es ja so schon eingeschränkt wurde oder?

Doch wäre falsch und wird nicht funktionieren. Du gibst an dieser Stelle nur den Typen des generischen Interfaces an, nicht mehr. Dieser Typ hat erst mal nichts mit dem generischen Typ der Klasse zu tun und könnte von diesem auch verschieden sein (er muss allerdings die Einschränkungen beim Interface erfüllen).