Generische Typen

[O2016]

Mir sind generische Typen nicht klar.
Manchmal schreibt man Klassenname<T> name_der_Variable bsp in einer Funktion als Übergabeparameter.
und dann wiederum gibt es Funktionen

public static <T> Name_der_Klasse<T> Name_Der_funktion()

Dann wiederrum schreibt man <HashSet<Klassenname<T>>

Was ist zwischen den dreien der Unterschied?
Das T so verstehe ich das gibt einen Typen wieder in dem ich alles einsetzen kann, Häuser, int, aber ebenso auch Strings.

... Kann das wer erklären?

 

[httpdigest]

Arbeite einfach das hier durch: https://docs.oracle.com/javase/tutorial/java/generics/index.html

 

[O2016]

Generics dienen dazu
- mehr Bugs zu finden während der Compilerzeit
Generics add stability to your code by making more of your bugs detectable at compile time

Warum Generics?
- um den selben Code nochmal für andere Dinge zu verwenden und nicht alles neu schreiben müssen bei verschiedenen Inputsachen
- bessere Typsicherheit( hab ich Schuhe und Autos, dann kann ich nur Schuhe oder Autos in eine Methode stecken)
- man hat keine Casts
- Code ist leichter zu lesen

Eine generische Klasse wird folgendermassen aufgebaut:
public class<T1,T2,Tn> { }
// Damit kann ich T1, T2,Tn überall in der Klasse verwenden

Die Parameter haben spezielle Namen:
E Element
K Schlüssel
N Nummer
T Typ
V Wert
(Prinzipiell kann ich aber auch ein X reinschreiben für ein Element oder? Es ist nur konform dass man es so macht?)
Versteh ich das Richtig, <T> ist ein Typparameter, <String> aber ein Typargument?


> sowie < Operationen oder auch == vergleich mit Comparable, da <,=,> nur bei primitiven Datentypen funktioniert.

 

[httpdigest]

Versteh ich das Richtig, <T> ist ein Typparameter, <String> aber ein Typargument?

Nicht per se. Der Unterschied zwischen einem Typparameter und einem Typargument ist so ziemlich derselbe wie bei einem formalen Methodenparameter und einem aktuellen Methodenargument. Das eine dient als Platzhalter bei der Deklaration und das andere bei der tatsächlichen Instanziierung bzw. Konkretisierung einer typparametrierten Klasse oder Methode.

Wenn man das Ganze etwas weiterspinnt und in die Typtheorie abdriftet, dann sind parametrisierte Typen im Grunde genommen nichts anderes als Funktionen, die einen Typ (einen generischen Typ) auf einen neuen konkreten Typen abbilden. Genauso wie Methoden quasi Funktionen auf konkreten Werten sind, sind generische Typen und die Instanziierung/Konkretisierung dieser Typen mit Typargumenten dann halt Funktionen auf Typen.

Ein Beispiel, wo <T> sowohl ein Typparameter als auch ein Typargument ist, ist:

public class MyOwnList<T> implements List<T> {
  ...
}

Hier ist das <T> an MyOwnList ein Typparameter und das <T> an List ein Typargument.

 

[O2016]

Ok Verstehe. Vielen Dank

 

[Barista]

Wenn man einen Typparameter als Typargument benutzt, nennt man diesen Typvariable.

 

[O2016]

Vielen Dank schon mal. Eine kurze Verständnisfrage noch

public class MyOwnList<T> implements List<T>

Sehe ich das richtig, T ist ein beliebiger Typ, Bsp: int oder schuhe
und es erwartet eine Liste vom Typ T also (int oder Schuhe?)

public class MyOwnList<Peter<T>> implements List<T>

Und das hier erwartet ein beliebigen Typ T, also auch Schuhe oder int jedoch muss es von der Klasse Peter sein.

Ist das so richtig?

 

[mihe7]

Sehe ich das richtig, T ist ein beliebiger Typ, Bsp: int oder schuhe
und es erwartet eine Liste vom Typ T also (int oder Schuhe?)

Es darf kein primitiver Typ sein (also gerade nicht z. B. int, boolean, etc. Die Wrapper-Klassen wie Integer, Boolean können aber natürlich verwendet werden)

Un es wird keine Liste vom Typ T erwartet, sondern MyOwnList<T> implementiert das List-Interface für Typ T.

public class MyOwnList<Peter<T>> implements List<T>

Das ist syntaktisch falsch. Was Du willst ist ein beliebiger Typ T, der identisch mit Peter oder einem Subtyp von Peter ist:

public class MyOwnList<T extends Peter> implements List<T>

 

[O2016]

Ach jetzt wird mir das klar. Ich wusste nicht das Integer und int zwei unterschiedliche Sachen sind.

Danke

 

[mihe7]

Ich wusste nicht das Integer und int zwei unterschiedliche Sachen sind.

Die primitiven Datentypen von Java sind Schlüsselwörter der Sprache: boolean, byte, short, char, int, long, float, double. Instanzen der primitiven Datentypen sind einfache Werte (keine Objekte) und können in Java nicht unmittelbar referenziert werden. Die Wrapper-Klassen (java.lang.Integer & Co) sind die objekt-orientierten Pendants zu den primitiven Typen und erlauben die Darstellung primitiver Werte als Objekte.