Wildcard (Java) - Versionsgeschichte

93.224.98.64: /* Kovarianz für generische Typen */ Grammatik

2019-07-21T09:00:12Z

Kovarianz für generische Typen: Grammatik

← Nächstältere Version		Version vom 21. Juli 2019, 11:00 Uhr
Zeile 4:		Zeile 4:
	Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight lang="java" inline>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight lang="java" inline>(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight lang="java" inline>(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.		Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight lang="java" inline>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight lang="java" inline>(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight lang="java" inline>(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.

	Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight lang="java" inline>?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight lang="java" inline>Generisch<?></syntaxhighlight> ist der ~~abstrakter~~ Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solchen Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight lang="java" inline>Generisch</syntaxhighlight> passen.		Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight lang="java" inline>?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight lang="java" inline>Generisch<?></syntaxhighlight> ist der abstrakte Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solchen Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight lang="java" inline>Generisch</syntaxhighlight> passen.

	== Wildcard als Parametertyp ==		== Wildcard als Parametertyp ==

PerfektesChaos: tk k

2015-07-16T21:45:03Z

tk k

← Nächstältere Version		Version vom 16. Juli 2015, 23:45 Uhr
Zeile 1:		Zeile 1:
	Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight ~~enclose="none"~~ lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung [[Generische Programmierung in Java\|generischer (parametrisierter) Typen]].<ref>{{Internetquelle \| url=http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5.1 \| titel=Chapter 4. Types, Values, and Variables \| titelerg=4.5.1. Type Arguments and Wildcards \| autor=James Gosling u. a. \| werk=Java Language Specification \| datum=2013-02-28 \| zugriff=2013-01-14 \| sprache=~~englisch~~ }}</ref> In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.		Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight lang="java" inline>?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung [[Generische Programmierung in Java\|generischer (parametrisierter) Typen]].<ref>{{Internetquelle \| url=http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5.1 \| titel=Chapter 4. Types, Values, and Variables \| titelerg=4.5.1. Type Arguments and Wildcards \| autor=James Gosling u. a. \| werk=Java Language Specification \| datum=2013-02-28 \| zugriff=2013-01-14 \| sprache=en}}</ref> In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.

	== Kovarianz für generische Typen ==		== Kovarianz für generische Typen ==
	Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight ~~enclose="none"~~ lang="java">(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight ~~enclose="none"~~ lang="java">(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.		Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight lang="java" inline>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight lang="java" inline>(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight lang="java" inline>(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.

	Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight ~~enclose="none"~~ lang="java">?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch<?></syntaxhighlight> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solchen Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch</syntaxhighlight> passen.		Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight lang="java" inline>?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight lang="java" inline>Generisch<?></syntaxhighlight> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solchen Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight lang="java" inline>Generisch</syntaxhighlight> passen.

	== Wildcard als Parametertyp ==		== Wildcard als Parametertyp ==
	Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <syntaxhighlight ~~enclose="none"~~ lang="java">Object</syntaxhighlight>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z.B. vom Typ <syntaxhighlight ~~enclose="none"~~ lang="java">?</syntaxhighlight>) in eine Referenz vom Typ der Schranke (<syntaxhighlight ~~enclose="none"~~ lang="java">Object</syntaxhighlight>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum Wildcard-Typ passt kein anderer Typ, nicht einmal <syntaxhighlight ~~enclose="none"~~ lang="java">Object</syntaxhighlight>: Wenn <syntaxhighlight ~~enclose="none"~~ lang="java">?</syntaxhighlight> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der Wildcard-Referenz aufgerufen werden:		Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <syntaxhighlight lang="java" inline>Object</syntaxhighlight>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z. B. vom Typ <syntaxhighlight lang="java" inline>?</syntaxhighlight>) in eine Referenz vom Typ der Schranke (<syntaxhighlight lang="java" inline>Object</syntaxhighlight>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum Wildcard-Typ passt kein anderer Typ, nicht einmal <syntaxhighlight lang="java" inline>Object</syntaxhighlight>: Wenn <syntaxhighlight lang="java" inline>?</syntaxhighlight> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der Wildcard-Referenz aufgerufen werden:

	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">
Zeile 29:		Zeile 29:
	</syntaxhighlight>		</syntaxhighlight>

	In diese Referenz kann nun eine Instanz von <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch</syntaxhighlight> eingehängt werden, wo der aktuelle		In diese Referenz kann nun eine Instanz von <syntaxhighlight lang="java" inline>Generisch</syntaxhighlight> eingehängt werden, wo der aktuelle
	Typparameter ein Untertyp von <syntaxhighlight ~~enclose="none"~~ lang="java">UntertypVonSchranke</syntaxhighlight> ist. In eine Einschränkung von unten		Typparameter ein Untertyp von <syntaxhighlight lang="java" inline>UntertypVonSchranke</syntaxhighlight> ist. In eine Einschränkung von unten

	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">
Zeile 36:		Zeile 36:
	</syntaxhighlight>		</syntaxhighlight>

	können Instanziierungen von <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch</syntaxhighlight> mit einem beliebigen Obertyp (z. B. <syntaxhighlight ~~enclose="none"~~ lang="java">Schranke</syntaxhighlight>) von <syntaxhighlight ~~enclose="none"~~ lang="java">UntertypVonSchranke</syntaxhighlight> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<syntaxhighlight ~~enclose="none"~~ lang="java">extends Schranke</syntaxhighlight>), von unten durch die Referenzvereinbarung (<syntaxhighlight ~~enclose="none"~~ lang="java">super UntertypVonSchranke</syntaxhighlight>).		können Instanziierungen von <syntaxhighlight lang="java" inline>Generisch</syntaxhighlight> mit einem beliebigen Obertyp (z. B. <syntaxhighlight lang="java" inline>Schranke</syntaxhighlight>) von <syntaxhighlight lang="java" inline>UntertypVonSchranke</syntaxhighlight> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<syntaxhighlight lang="java" inline>extends Schranke</syntaxhighlight>), von unten durch die Referenzvereinbarung (<syntaxhighlight lang="java" inline>super UntertypVonSchranke</syntaxhighlight>).

	== Objekterzeugung mit Wildcard-Instanziierungen ==		== Objekterzeugung mit Wildcard-Instanziierungen ==
	Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<syntaxhighlight ~~enclose="none"~~ lang="java">new Generisch<?>()</syntaxhighlight> ist also verboten, weil <syntaxhighlight ~~enclose="none"~~ lang="java">Generisch<?></syntaxhighlight> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <syntaxhighlight ~~enclose="none"~~ lang="java">new Generisch<?>[20]</syntaxhighlight> ist korrekt, während <syntaxhighlight ~~enclose="none"~~ lang="java">new Generisch<Schranke>[20]</syntaxhighlight> verboten ist.		Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<syntaxhighlight lang="java" inline>new Generisch<?>()</syntaxhighlight> ist also verboten, weil <syntaxhighlight lang="java" inline>Generisch<?></syntaxhighlight> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <syntaxhighlight lang="java" inline>new Generisch<?>[20]</syntaxhighlight> ist korrekt, während <syntaxhighlight lang="java" inline>new Generisch<Schranke>[20]</syntaxhighlight> verboten ist.

⚫	== Einzelnachweise ==
⚫	<references/>

	== Literatur ==		== Literatur ==
	* The Java Language Specification, Third Edition (Sun), ISBN 978-0-321-24678-3		* ''The Java Language Specification'', Third Edition. Sun, ISBN 978-0-321-24678-3

⚫	* ~~Java Tutorials, Lesson Generics~~ http://download.oracle.com/javase/tutorial/java/generics/index.html
			== Weblinks ==
⚫	* ~~Typkompatibilität in Java~~ http://public.beuth-hochschule.de/~solymosi/veroeff/typkompatibilitaet/Typkompatibilitaet.html#Joker
		⚫	* [http://download.oracle.com/javase/tutorial/java/generics/index.html ''Generics''.] Java Tutorials
		⚫	* [http://public.beuth-hochschule.de/~solymosi/veroeff/typkompatibilitaet/Typkompatibilitaet.html#Joker Typkompatibilität in Java]

		⚫	== Einzelnachweise ==
		⚫	<references />

	[[Kategorie:Java (Programmiersprache)]]		[[Kategorie:Java (Programmiersprache)]]

JamesP: fixed typo

2015-02-25T16:27:53Z

fixed typo

← Nächstältere Version		Version vom 25. Februar 2015, 18:27 Uhr
Zeile 4:		Zeile 4:
	Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight enclose="none" lang="java">Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight enclose="none" lang="java">(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight enclose="none" lang="java">(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.		Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight enclose="none" lang="java">Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight enclose="none" lang="java">(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight enclose="none" lang="java">(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.

	Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer ~~solcher~~ Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight enclose="none" lang="java">Generisch</syntaxhighlight> passen.		Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solchen Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight enclose="none" lang="java">Generisch</syntaxhighlight> passen.

	== Wildcard als Parametertyp ==		== Wildcard als Parametertyp ==

Jpp: /* Einleitung */ Link auf Hauptartikel Generische Programmierung in Java

2014-01-17T13:22:08Z

Einleitung: Link auf Hauptartikel Generische Programmierung in Java

← Nächstältere Version		Version vom 17. Januar 2014, 15:22 Uhr
Zeile 1:		Zeile 1:
	Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen.<ref>{{Internetquelle \| url=http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5.1 \| titel=Chapter 4. Types, Values, and Variables \| titelerg=4.5.1. Type Arguments and Wildcards \| autor=James Gosling u. a. \| werk=Java Language Specification \| datum=2013-02-28 \| zugriff=2013-01-14 \| sprache=englisch }}</ref> In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.		Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung [[Generische Programmierung in Java\|generischer (parametrisierter) Typen]].<ref>{{Internetquelle \| url=http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5.1 \| titel=Chapter 4. Types, Values, and Variables \| titelerg=4.5.1. Type Arguments and Wildcards \| autor=James Gosling u. a. \| werk=Java Language Specification \| datum=2013-02-28 \| zugriff=2013-01-14 \| sprache=englisch }}</ref> In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.

	== Kovarianz für generische Typen ==		== Kovarianz für generische Typen ==

Jpp: Einzelnachweis hinzugefügt

2014-01-17T13:20:49Z

Einzelnachweis hinzugefügt

← Nächstältere Version		Version vom 17. Januar 2014, 15:20 Uhr
Zeile 1:		Zeile 1:
	Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen. In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.		Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen.<ref>{{Internetquelle \| url=http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5.1 \| titel=Chapter 4. Types, Values, and Variables \| titelerg=4.5.1. Type Arguments and Wildcards \| autor=James Gosling u. a. \| werk=Java Language Specification \| datum=2013-02-28 \| zugriff=2013-01-14 \| sprache=englisch }}</ref> In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.

	== Kovarianz für generische Typen ==		== Kovarianz für generische Typen ==
Zeile 41:		Zeile 41:
	Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<syntaxhighlight enclose="none" lang="java">new Generisch<?>()</syntaxhighlight> ist also verboten, weil <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <syntaxhighlight enclose="none" lang="java">new Generisch<?>[20]</syntaxhighlight> ist korrekt, während <syntaxhighlight enclose="none" lang="java">new Generisch<Schranke>[20]</syntaxhighlight> verboten ist.		Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<syntaxhighlight enclose="none" lang="java">new Generisch<?>()</syntaxhighlight> ist also verboten, weil <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <syntaxhighlight enclose="none" lang="java">new Generisch<?>[20]</syntaxhighlight> ist korrekt, während <syntaxhighlight enclose="none" lang="java">new Generisch<Schranke>[20]</syntaxhighlight> verboten ist.

	== ~~Referenzen~~ ==		== Einzelnachweise ==
			<references/>

			== Literatur ==
	* The Java Language Specification, Third Edition (Sun), ISBN 978-0-321-24678-3		* The Java Language Specification, Third Edition (Sun), ISBN 978-0-321-24678-3
	* Java Tutorials, Lesson Generics http://download.oracle.com/javase/tutorial/java/generics/index.html		* Java Tutorials, Lesson Generics http://download.oracle.com/javase/tutorial/java/generics/index.html

Jpp: /* Einschränkung der Wildcard */ Fehler aus Code-Beispielen entfernt

2014-01-17T13:09:45Z

Einschränkung der Wildcard: Fehler aus Code-Beispielen entfernt

← Nächstältere Version		Version vom 17. Januar 2014, 15:09 Uhr
Zeile 26:		Zeile 26:

	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">
	Generisch<? ~~'''~~extends~~'''~~ UntertypVonSchranke> vonObenEingeschränkteReferenz;		Generisch<? extends UntertypVonSchranke> vonObenEingeschränkteReferenz;
	</syntaxhighlight>		</syntaxhighlight>

Zeile 33:		Zeile 33:

	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">
	Generisch<? ~~'''~~super~~'''~~ UntertypVonSchranke> vonUntenEingeschränkteReferenz;		Generisch<? super UntertypVonSchranke> vonUntenEingeschränkteReferenz;
	</syntaxhighlight>		</syntaxhighlight>

Jpp: Syntaxhighlights in Code-Beispielen

2014-01-17T13:08:37Z

Syntaxhighlights in Code-Beispielen

← Nächstältere Version		Version vom 17. Januar 2014, 15:08 Uhr
Zeile 1:		Zeile 1:
	Die '''Wildcard''' (selten auch '''Joker''') <~~code~~>?</~~code~~> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen. In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.		Die '''Wildcard''' (selten auch '''Joker''') <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen. In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.

	== Kovarianz für generische Typen ==		== Kovarianz für generische Typen ==
	Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <~~code~~>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</~~code~~> meldet der Compiler bei beiden Konvertierungen (castings) <~~code~~>(Generisch<Untertyp>)oberGenerisch</~~code~~> und <~~code~~>(Generisch<Obertyp>)unterGenerisch</~~code~~> einen Fehler.		Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <syntaxhighlight enclose="none" lang="java">Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</syntaxhighlight> meldet der Compiler bei beiden [[Typumwandlung\|Konvertierungen]] (castings) <syntaxhighlight enclose="none" lang="java">(Generisch<Untertyp>)oberGenerisch</syntaxhighlight> und <syntaxhighlight enclose="none" lang="java">(Generisch<Obertyp>)unterGenerisch</syntaxhighlight> einen Fehler.

	Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <~~code~~>?</~~code~~> für einen aktuellen Typparameter eingesetzt wird: <~~code~~>Generisch<?></~~code~~> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solcher Referenz ist, dass zu ihr beliebige Instanziierungen von <~~code~~>Generisch</~~code~~> passen.		Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> für einen aktuellen Typparameter eingesetzt wird: <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solcher Referenz ist, dass zu ihr beliebige Instanziierungen von <syntaxhighlight enclose="none" lang="java">Generisch</syntaxhighlight> passen.

	== Wildcard als Parametertyp ==		== Wildcard als Parametertyp ==
	Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <~~code~~>Object</~~code~~>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z.B. vom Typ <~~code~~>?</~~code~~>) in eine Referenz vom Typ der Schranke (<~~code~~>Object</~~code~~>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum Wildcard-Typ passt kein anderer Typ, nicht einmal <~~code~~>Object</~~code~~>: Wenn <~~code~~>?</~~code~~> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der Wildcard-Referenz aufgerufen werden:		Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <syntaxhighlight enclose="none" lang="java">Object</syntaxhighlight>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z.B. vom Typ <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight>) in eine Referenz vom Typ der Schranke (<syntaxhighlight enclose="none" lang="java">Object</syntaxhighlight>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum Wildcard-Typ passt kein anderer Typ, nicht einmal <syntaxhighlight enclose="none" lang="java">Object</syntaxhighlight>: Wenn <syntaxhighlight enclose="none" lang="java">?</syntaxhighlight> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der Wildcard-Referenz aufgerufen werden:

			<syntaxhighlight lang="java">
		⚫	class Generisch<T extends Schranke> {
		⚫	private T t;
		⚫	void schreiben(T t) { this.t = t; }
		⚫	T lesen() { return t; }
			}
		⚫	...
		⚫	Generisch<?> jokerReferenz;
		⚫	Schranke o = jokerReferenz.lesen(); // Object wäre auch OK
		⚫	jokerReferenz.schreiben(new Object()); // Typfehler
		⚫	((Generisch<Schranke>)jokerReferenz).schreiben(new Schranke()); // OK
			</syntaxhighlight>

	<code>
⚫	~~'''~~class~~'''~~ Generisch<T ~~'''~~extends~~'''~~ Schranke> {
⚫	~~'''~~private~~'''~~ T t;
⚫	~~'''~~void~~'''~~ schreiben(T t) { ~~'''~~this~~'''~~.t = t; }
⚫	T lesen() { ~~'''~~return~~'''~~ t; } }
⚫	...
⚫	Generisch<?> jokerReferenz;
⚫	Schranke o = jokerReferenz.lesen(); // Object wäre auch OK
⚫	jokerReferenz.schreiben(~~'''~~new~~'''~~ Object()); // Typfehler
⚫	((Generisch<Schranke>)jokerReferenz).schreiben(~~'''~~new~~'''~~ Schranke()); // OK
	</code>
	== Einschränkung der Wildcard ==		== Einschränkung der Wildcard ==
	Nicht nur der formale Typparameter, auch die Wildcard kann (weiter) von oben eingeschränkt werden, wenn man nicht beliebige Instanziierungen kompatibel halten möchte:		Nicht nur der formale Typparameter, auch die Wildcard kann (weiter) von oben eingeschränkt werden, wenn man nicht beliebige Instanziierungen kompatibel halten möchte:

			<syntaxhighlight lang="java">
	<code>
	Generisch<? '''extends''' UntertypVonSchranke> vonObenEingeschränkteReferenz;		Generisch<? '''extends''' UntertypVonSchranke> vonObenEingeschränkteReferenz;
			</syntaxhighlight>
	</code>

	In diese Referenz kann nun eine Instanz von <~~code~~>Generisch</~~code~~> eingehängt werden, wo der aktuelle		In diese Referenz kann nun eine Instanz von <syntaxhighlight enclose="none" lang="java">Generisch</syntaxhighlight> eingehängt werden, wo der aktuelle
	Typparameter ein Untertyp von <~~code~~>UntertypVonSchranke</~~code~~> ist. In eine Einschränkung von unten		Typparameter ein Untertyp von <syntaxhighlight enclose="none" lang="java">UntertypVonSchranke</syntaxhighlight> ist. In eine Einschränkung von unten

			<syntaxhighlight lang="java">
	<code>
	Generisch<? '''super''' UntertypVonSchranke> vonUntenEingeschränkteReferenz;		Generisch<? '''super''' UntertypVonSchranke> vonUntenEingeschränkteReferenz;
			</syntaxhighlight>
	</code>

	können Instanziierungen von <~~code~~>Generisch</~~code~~> mit einem beliebigen Obertyp (z.B. <~~code~~>Schranke</~~code~~>) von <~~code~~>UntertypVonSchranke</~~code~~> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<~~code~~>~~'''~~extends~~'''~~ Schranke</~~code~~>), von unten durch die Referenzvereinbarung (<~~code~~>~~'''~~super~~'''~~ UntertypVonSchranke</~~code~~>).		können Instanziierungen von <syntaxhighlight enclose="none" lang="java">Generisch</syntaxhighlight> mit einem beliebigen Obertyp (z. B. <syntaxhighlight enclose="none" lang="java">Schranke</syntaxhighlight>) von <syntaxhighlight enclose="none" lang="java">UntertypVonSchranke</syntaxhighlight> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<syntaxhighlight enclose="none" lang="java">extends Schranke</syntaxhighlight>), von unten durch die Referenzvereinbarung (<syntaxhighlight enclose="none" lang="java">super UntertypVonSchranke</syntaxhighlight>).

	== Objekterzeugung mit Wildcard-Instanziierungen ==		== Objekterzeugung mit Wildcard-Instanziierungen ==
	Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<~~code~~>~~'''~~new~~'''~~ Generisch<?>()</~~code~~> ist also verboten, weil <~~code~~>Generisch<?></~~code~~> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <~~code~~>~~'''~~new~~'''~~ Generisch<?>[20]</~~code~~> ist korrekt, während <~~code~~>~~'''~~new~~'''~~ Generisch<Schranke>[20]</~~code~~> verboten ist.		Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<syntaxhighlight enclose="none" lang="java">new Generisch<?>()</syntaxhighlight> ist also verboten, weil <syntaxhighlight enclose="none" lang="java">Generisch<?></syntaxhighlight> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <syntaxhighlight enclose="none" lang="java">new Generisch<?>[20]</syntaxhighlight> ist korrekt, während <syntaxhighlight enclose="none" lang="java">new Generisch<Schranke>[20]</syntaxhighlight> verboten ist.

	== Referenzen ==		== Referenzen ==

Jpp: Joker -> Wildcard

2014-01-17T12:41:45Z

Joker -> Wildcard

← Nächstältere Version		Version vom 17. Januar 2014, 14:41 Uhr
Zeile 1:		Zeile 1:
	~~Der~~ ~~Joker~~ (~~oder~~ ~~[[Wildcard~~ ~~(Informatik)\|Wildcard]]~~) <code>?</code> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen. In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.		Die '''Wildcard''' (selten auch '''Joker''') <code>?</code> ist in [[Java (Programmiersprache)\|Java]] ein spezieller aktueller Typparameter für die Instanziierung generischer (parametrisierter) Typen. In diesem Artikel werden die wichtigsten Regeln für seine Verwendung zusammengefasst.

	== Kovarianz für generische Typen ==		== Kovarianz für generische Typen ==
	Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <code>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</code> meldet der Compiler bei beiden Konvertierungen (castings) <code>(Generisch<Untertyp>)oberGenerisch</code> und <code>(Generisch<Obertyp>)unterGenerisch</code> einen Fehler.		Im Gegensatz zu [[Feld (Datentyp)\|Arrays]] (die in Java [[Kovarianz und Kontravarianz\|kovariant]] sind) sind unterschiedliche Instanziierungen eines generischen Typs untereinander nicht (auch nicht explizit) kompatibel: Nach den Vereinbarungen <code>Generisch<Obertyp> oberGenerisch; Generisch<Untertyp> unterGenerisch;</code> meldet der Compiler bei beiden Konvertierungen (castings) <code>(Generisch<Untertyp>)oberGenerisch</code> und <code>(Generisch<Obertyp>)unterGenerisch</code> einen Fehler.

	Diese Inkompatibilität kann mit ~~dem~~ ~~Joker~~ aufgeweicht werden, wenn <code>?</code> für einen aktuellen Typparameter eingesetzt wird: <code>Generisch<?></code> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solcher Referenz ist, dass zu ihr beliebige Instanziierungen von <code>Generisch</code> passen.		Diese Inkompatibilität kann mit der Wildcard aufgeweicht werden, wenn <code>?</code> für einen aktuellen Typparameter eingesetzt wird: <code>Generisch<?></code> ist der abstrakter Obertyp aller Instanziierungen des generischen Typs. Das heißt, von diesem Typ können nur Referenzen, keine Objekte gebildet werden. Der Sinn einer solcher Referenz ist, dass zu ihr beliebige Instanziierungen von <code>Generisch</code> passen.

	== ~~Joker~~ als Parametertyp ==		== Wildcard als Parametertyp ==
	Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <code>Object</code>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z.B. vom Typ <code>?</code>) in eine Referenz vom Typ der Schranke (<code>Object</code>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum ~~Joker~~-Typ passt kein anderer Typ, nicht einmal <code>Object</code>: Wenn <code>?</code> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der ~~Joker~~-Referenz aufgerufen werden:		Im Rumpf der generischen Einheit wird der Typparameter wie die obere Schranke (wenn uneingeschränkt, dann wie <code>Object</code>) gehandhabt. Wenn der Ergebnistyp (return type) einer Funktion der Typparameter ist, kann das Ergebnis (z.B. vom Typ <code>?</code>) in eine Referenz vom Typ der Schranke (<code>Object</code>, wenn keine Schranke) übernommen werden. In die andere Richtung, zum Wildcard-Typ passt kein anderer Typ, nicht einmal <code>Object</code>: Wenn <code>?</code> für den Typ des formalen Parameters einer Methode eingesetzt wurde, können ihr keine aktuellen Parameter übergeben werden. Sie kann dann nur nach Konvertierung (casting) der Wildcard-Referenz aufgerufen werden:

	<code>		<code>
Zeile 19:		Zeile 20:
	((Generisch<Schranke>)jokerReferenz).schreiben('''new''' Schranke()); // OK		((Generisch<Schranke>)jokerReferenz).schreiben('''new''' Schranke()); // OK
	</code>		</code>
	== Einschränkung ~~des~~ ~~Jokers~~ ==		== Einschränkung der Wildcard ==
	Nicht nur der formale Typparameter, auch ~~der~~ ~~Joker~~ kann (weiter) von oben eingeschränkt werden, wenn man nicht beliebige Instanziierungen kompatibel halten möchte:		Nicht nur der formale Typparameter, auch die Wildcard kann (weiter) von oben eingeschränkt werden, wenn man nicht beliebige Instanziierungen kompatibel halten möchte:

	<code>		<code>
Zeile 35:		Zeile 36:
	können Instanziierungen von <code>Generisch</code> mit einem beliebigen Obertyp (z.B. <code>Schranke</code>) von <code>UntertypVonSchranke</code> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<code>'''extends''' Schranke</code>), von unten durch die Referenzvereinbarung (<code>'''super''' UntertypVonSchranke</code>).		können Instanziierungen von <code>Generisch</code> mit einem beliebigen Obertyp (z.B. <code>Schranke</code>) von <code>UntertypVonSchranke</code> eingehängt werden. Es ist also möglich, dass die zugelassenen Typen von zwei Seiten eingeschränkt werden: von oben durch die Klassenvereinbarung (<code>'''extends''' Schranke</code>), von unten durch die Referenzvereinbarung (<code>'''super''' UntertypVonSchranke</code>).

	== Objekterzeugung mit ~~Joker~~-Instanziierungen ==		== Objekterzeugung mit Wildcard-Instanziierungen ==
	Obwohl von ~~Joker~~-Instanziierungen keine Objekte erzeugt werden können (<code>'''new''' Generisch<?>()</code> ist also verboten, weil <code>Generisch<?></code> abstrakt ist), können Array-Objekte nur von uneingeschränkten ~~Joker~~-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <code>'''new''' Generisch<?>[20]</code> ist korrekt, während <code>'''new''' Generisch<Schranke>[20]</code> verboten ist.		Obwohl von Wildcard-Instanziierungen keine Objekte erzeugt werden können (<code>'''new''' Generisch<?>()</code> ist also verboten, weil <code>Generisch<?></code> abstrakt ist), können Array-Objekte nur von uneingeschränkten Wildcard-Instanziierungen (also von keinen anderen generischen Instanziierungen) erzeugt werden: <code>'''new''' Generisch<?>[20]</code> ist korrekt, während <code>'''new''' Generisch<Schranke>[20]</code> verboten ist.

	== Referenzen ==		== Referenzen ==

Jpp: Jpp verschob die Seite Joker (Java) nach Wildcard (Java): Der Begriff "Joker" wird nur in einigen deutschsprachigen Publikationen verwendet, wesentlich verbreiteter ist der Begriff "Wildcard"

2014-01-17T12:38:33Z

Jpp verschob die Seite Joker (Java) nach Wildcard (Java): Der Begriff "Joker" wird nur in einigen deutschsprachigen Publikationen verwendet, wesentlich verbreiteter ist der Begriff "Wildcard"

← Nächstältere Version	Version vom 17. Januar 2014, 14:38 Uhr
(kein Unterschied)

KLBot2: Bot: 1 Interwiki-Link(s) nach Wikidata (:d:Q1702586) migriert

2013-04-04T07:29:46Z

Bot: 1 Interwiki-Link(s) nach Wikidata (d:Q1702586) migriert

← Nächstältere Version		Version vom 4. April 2013, 09:29 Uhr
Zeile 44:		Zeile 44:

	[[Kategorie:Java (Programmiersprache)]]		[[Kategorie:Java (Programmiersprache)]]

	[[en:Wildcard (Java)]]