Java 17: Switch - Versionsgeschichte

Ullrich am 28. März 2024 um 20:04 Uhr

2024-03-28T20:04:49Z

← Nächstältere Version		Version vom 28. März 2024, 20:04 Uhr
Zeile 3:		Zeile 3:
	Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.		Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.
	Auch führt der Aufruf mit {{java\|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception.		Auch führt der Aufruf mit {{java\|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception.
	So richtig ''cool'' wird das {{java\|switch}} allerdings mit Java 21...		So ''richtig'' cool wird das {{java\|switch}} allerdings mit Java 21...

	Betrachten wir die klassische Anwendung der {{java\|switch}}-Kontrollstruktur:		Betrachten wir die klassische Anwendung der {{java\|switch}}-Kontrollstruktur:

Ullrich am 28. März 2024 um 20:04 Uhr

2024-03-28T20:04:31Z

← Nächstältere Version		Version vom 28. März 2024, 20:04 Uhr
Zeile 3:		Zeile 3:
	Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.		Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.
	Auch führt der Aufruf mit {{java\|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception.		Auch führt der Aufruf mit {{java\|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception.
			So richtig ''cool'' wird das {{java\|switch}} allerdings mit Java 21...

	Betrachten wir die klassische Anwendung der {{java\|switch}}-Kontrollstruktur:		Betrachten wir die klassische Anwendung der {{java\|switch}}-Kontrollstruktur:

Ullrich am 28. März 2024 um 20:03 Uhr

2024-03-28T20:03:03Z

← Nächstältere Version		Version vom 28. März 2024, 20:03 Uhr
Zeile 61:		Zeile 61:

	Da wir in jedem der Fälle die gleiche Aktion ausführen, könnten wir uns auch den Ausgabe-Text liefern lassen		Da wir in jedem der Fälle die gleiche Aktion ausführen, könnten wir uns auch den Ausgabe-Text liefern lassen
	und ihn im Anschluß ausgeben. Genau dafür bietet das neue switch eine Möglichkeit:		und ihn im Anschluß ausgeben. Genau dafür bietet das neue {{java\|switch}} eine Möglichkeit:
	{{java\|code=		{{java\|code=
	public void newStyleWithReturnValue(Animal animal) {		public void newStyleWithReturnValue(Animal animal) {
Zeile 72:		Zeile 72:
	}		}
	}}		}}
	Man kann sich vorstellen, daß switch ''immer'' einen Rückgabe-Typ hat, der allerdings in den vorangehenden Beispielen		Man kann sich vorstellen, daß {{java\|switch}} ''immer'' einen Rückgabe-Typ hat, der allerdings in den vorangehenden Beispielen
	{{java\|void}} war und daher nicht gespeichert werden konnte. Java prüft in jedem Fall den ~~typ~~ und meldet Verstöße die durch		{{java\|void}} war und daher nicht gespeichert werden konnte. Java prüft in jedem Fall den Typ und meldet Verstöße die durch
	Inkompatibilität entstehen.		Inkompatibilität entstehen.

Zeile 98:		Zeile 98:
	int yield = 5;		int yield = 5;
	}}		}}
	~~duirchaus~~ erlaubt. Es erübrigt sich, darauf hinzuweisen diese Verwendung zu vermeiden.		durchaus erlaubt. Es erübrigt sich, darauf hinzuweisen diese Verwendung zu vermeiden.

	Freundlicherweise darf man das {{java\|yield}} auch mit dem {{java\|switch}} im alten Stil verwenden.		Freundlicherweise darf man das {{java\|yield}} auch mit dem {{java\|switch}} im alten Stil verwenden.
Zeile 120:		Zeile 120:
	Das gemeine {{java\|switch}} wird durch die Verwendung von {{java\|->}} kompakter und veständlicher.		Das gemeine {{java\|switch}} wird durch die Verwendung von {{java\|->}} kompakter und veständlicher.
	Folgt man allerdings der Regel möglichst kleine Methoden zu schreiben, wird man praktisch jedes {{java\|witch}}		Folgt man allerdings der Regel möglichst kleine Methoden zu schreiben, wird man praktisch jedes {{java\|witch}}
	in eine eigene Methode auslagern. Die Rückgabe-Notation bietet dann keine nennenswerten Gewinn mehr.		in eine eigene Methode auslagern. Die Rückgabe-Notation bietet dann keine nennenswerten Gewinn mehr,
			man spart sich allerdings bei Verwendung von {{java\|->}} das {{java\|return}}.

	Nichstdestotrotz hilft das Feature dabei, legacy-Code zu optimieren und darüber zu refactorn.		Nichstdestotrotz hilft das Feature dabei, legacy-Code zu optimieren und darüber zu refactorn.
	Dazu schreibt man das {{java\|switch}} erst auf die Rückgabe-Notation um und lagert sie dann in eine eigene Methode aus.		Dazu schreibt man das {{java\|switch}} erst auf die Rückgabe-Notation um und lagert sie dann in eine eigene Methode aus.

Ullrich am 28. März 2024 um 19:59 Uhr

2024-03-28T19:59:03Z

← Nächstältere Version		Version vom 28. März 2024, 19:59 Uhr
Zeile 101:		Zeile 101:

	Freundlicherweise darf man das {{java\|yield}} auch mit dem {{java\|switch}} im alten Stil verwenden.		Freundlicherweise darf man das {{java\|yield}} auch mit dem {{java\|switch}} im alten Stil verwenden.
	Da dabei das {{java\|switch}} unmittelbar verlassen wird, spart man sich dabei das {{break}}:		Da dabei das {{java\|switch}} unmittelbar verlassen wird, spart man sich dabei das {{java\|break}}:
	{{java\|code=		{{java\|code=
	public void oldStyleWithYield(Animal animal) {		public void oldStyleWithYield(Animal animal) {

Ullrich am 28. März 2024 um 19:57 Uhr

2024-03-28T19:57:55Z

← Nächstältere Version		Version vom 28. März 2024, 19:57 Uhr
Zeile 1:		Zeile 1:
			[[Category:Java]]
	Um die Erwartungen vorab zu dämpfen:		Um die Erwartungen vorab zu dämpfen:
	Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.		Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.

Ullrich: Die Seite wurde neu angelegt: „Um die Erwartungen vorab zu dämpfen: Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen. Auch führt der Aufruf mit {{java|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception. Betrachten wir die klassische Anwendung der {{java|switch}}-Kontrollstruktur: {{java|code= public void oldStyleOhneBreak(Animal animal) { switch (animal) { case SPIDER: System.out.println("8 legs"); ca…“

2023-10-21T18:31:15Z

Die Seite wurde neu angelegt: „Um die Erwartungen vorab zu dämpfen: Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen. Auch führt der Aufruf mit {{java|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception. Betrachten wir die klassische Anwendung der {{java|switch}}-Kontrollstruktur: {{java|code= public void oldStyleOhneBreak(Animal animal) { switch (animal) { case SPIDER: System.out.println("8 legs"); ca…“

Neue Seite

Um die Erwartungen vorab zu dämpfen:
Auch Java 17 erlaubt nur die aufzählbaren Daten-Type sowie String, aber keine anderne Objekt-Typen.
Auch führt der Aufruf mit {{java|null}} weiterhin unweigerlich zu einer Null-Pointer-Exception.

Betrachten wir die klassische Anwendung der {{java|switch}}-Kontrollstruktur:
{{java|code=
public void oldStyleOhneBreak(Animal animal) {
switch (animal) {
case SPIDER:
System.out.println("8 legs");
case ANT, BEE:
System.out.println("6 legs");
default:
System.out.println("strange animal");
}
}
}}
Der Aufruf von {{java|oldStyleOhneBreak(Animal.ANT)}} liefert:
6 legs
strange animal
Wegen des "fall-through"-Verhaltens (was man berechtigterweise mit "Durchfall" übersetzen kann) werden
alle nachfolgenden Fälle durchlaufen, sobald der erste Match auftritt. Um das zu verhindern, muß man nach
jeder {{java|case}}-Anweisung ein {{java|break}} einfügen:
{{java|code=
public void oldStyleWithBreak(Animal animal) {
switch (animal) {
case SPIDER:
System.out.println("8 legs");
break;
case ANT, BEE:
System.out.println("6 legs");
break;
default:
System.out.println("strange animal");
}
}
}}
Das ist viel Code, unübersichtlich, fehleranfällig -- und kontrovers.
Java 17 bietet nun eine Alternative, bei der der {{java|:}} in der Case-Anweisung durch {{java|->}}.
Es muß aber ausdrücklich darauf hingeweisen werden, daß es sich hier um '''keinen''' {{lambda}}-Ausdruck handelt.
Das Ergebnis der ersten Fassung sieht nun so aus:
{{java|code=
public void newStyle(Animal animal) {
switch (animal) {
case SPIDER -> System.out.println("8 legs");
case ANT, BEE -> System.out.println("6 legs");
default -> System.out.println("strange animal");
}
}
}}
Da für jeden Fall hier nur eine Zeile verwendet wird, ist der gesamte Ausdruck kompakter.
Das könnte man durchaus auch mit dem klassischen {{java|case}}-Konstrukt hinkriegen.

Überraschender ist aber das Ergebnis, wenn man {{java|newStyle(Animal.ANT)}} ausführt:
6 legs
Das {{java|break}} wird nicht mehr benötigt, der neue Stil hat keine Durchfall-Symptome mehr!

Nach dem {{java|->}} darf eine beliebige Anweisung kommen.
Anstelle einer ''einzelnen'' Anweisung ist also auch ein beliebig großer Code-Block erlaubt.

Da wir in jedem der Fälle die gleiche Aktion ausführen, könnten wir uns auch den Ausgabe-Text liefern lassen
und ihn im Anschluß ausgeben. Genau dafür bietet das neue switch eine Möglichkeit:
{{java|code=
public void newStyleWithReturnValue(Animal animal) {
String legs = switch (animal) {
case SPIDER -> "8 legs";
case ANT, BEE -> "6 legs";
default -> "strange animal";
};
System.out.println(legs);
}
}}
Man kann sich vorstellen, daß switch ''immer'' einen Rückgabe-Typ hat, der allerdings in den vorangehenden Beispielen
{{java|void}} war und daher nicht gespeichert werden konnte. Java prüft in jedem Fall den typ und meldet Verstöße die durch
Inkompatibilität entstehen.

Was machen wir nun, wenn nach dem {{java|->}} kein Ausdruck vom gewünschten Typ kommt, sondern ein ganzer Code-Block?
Hier hilft das {{java|yield}}. Es kommt am Ende des Code-Blocks und giebt den Wert zurück:
{{java|code=
public void newStyleWithYield(Animal animal) {
String legs = switch (animal) {
case SPIDER -> "8 legs";
case ANT, BEE -> "6 legs";
case CENTIPEDE -> {
System.err.println("lost count");
yield "many legs";
}
default -> "strange animal";
};
System.out.println(legs);
}
}}

{{java|yield}} ist -- entgegen der ersten Vermutung -- ''kein'' keyword, sondern ein "reservierter Identifier".
So ist die Anweisung
{{java|code=
int yield = 5;
}}
duirchaus erlaubt. Es erübrigt sich, darauf hinzuweisen diese Verwendung zu vermeiden.

Freundlicherweise darf man das {{java|yield}} auch mit dem {{java|switch}} im alten Stil verwenden.
Da dabei das {{java|switch}} unmittelbar verlassen wird, spart man sich dabei das {{break}}:
{{java|code=
public void oldStyleWithYield(Animal animal) {
String legs = switch (animal) {
case SPIDER:
yield "8 legs";
case ANT, BEE:
yield "6 legs";
default:
yield "strange animal";
};
System.out.println(legs);
}
}}

== Fazit ==

Das gemeine {{java|switch}} wird durch die Verwendung von {{java|->}} kompakter und veständlicher.
Folgt man allerdings der Regel möglichst kleine Methoden zu schreiben, wird man praktisch jedes {{java|witch}}
in eine eigene Methode auslagern. Die Rückgabe-Notation bietet dann keine nennenswerten Gewinn mehr.

Nichstdestotrotz hilft das Feature dabei, legacy-Code zu optimieren und darüber zu refactorn.
Dazu schreibt man das {{java|switch}} erst auf die Rückgabe-Notation um und lagert sie dann in eine eigene Methode aus.