Schwerpunkte. 5. Auswahl: Bedingte Anweisungen. Syntax. If-Anweisung: Auswahl aus zwei Alternativen. If-Anweisung: Auswahl aus 2 Alternativen

Transkript

1 Schwerpunkte 5. Auswahl: Bedingte Anweisungen If-Anweisung: Auswahl aus 2 Alternativen Kurzform von if: Spezialfall der Langform Fehlerquellen Hängendes switch: Spezialfall von if K. Bothe, Institut für Informatik, HU Berlin, GdP, WS 2015/16 Version: 4. Nov If-Anweisung: Auswahl aus zwei Alternativen EBNF: Syntax je Alternative: e i n e Anweisung! Beispiele: Unterschiede zu Pascal? if (x == 0) System.out.print(0); System.out.print(y/x); if (x >= y) max = x; max = y; 3 Pascal if (x >= y) then 4

2 If-Anweisung: mehrere Anweisungen If-Anweisung: Kurzform EBNF: EBNF: (noch Langform) mehrere Einzelanweisungen? mit { zu einer machen if (a + b <= c) System.out.print("kein Dreieck"); ; Beispiel: z. B. Leeranweisung if (x == 0) { //Ausnahme: Div durch 0 System.out.print(0); x = y; { System.out.print(y/x); y = x; EBNF: (Kurzform = Spezialfall der Langform) if ( Ausdruck ) Anweisung if (a + b <= c) System.out.print("kein Dreieck"); 5 6 Typische Fehler if a > b fehlende Klammern Hängendes (dangling ) if (a = 1) Wert von a? Falle für Pascal Programmierer! x = y; y = 0; if (y == 0) Welchen Wert hat y hier? x = y; y = 0; if (y == 0) 7 8

3 Hängendes : Beispiel Hängendes : das Problem Eingangswerte: x y z ok Resultat : ok Wirklich? Unterschied? Hängendes : das Problem Beide Varianten: identisch Nur anders eingerückt (Layout) Absicht des Programmierers: ; gehört zu - 1. Form: äußerem if - 2. Form: innerem if Bedeutung eines Programms: unabhängig vom Layout Unterschied? Festlegung: 2. Form ist verbindlich! 11 12

4 Hängendes--Problem: Ursache Grammatik von Java nicht eindeutig! Auswahlanweisung ::= if ( Ausdruck ) Anweisung [ Anweisung ] switch 3 Regeln Was heißt das? Syntaxbaum: Variante 1 Auswahlanweisung Regel 2 a Auswahlanweisung Regel 1 if ( Ausdruck ) Anweisung Auswahlanweisung ::= if ( Ausdruck ) Anweisung Regel 1 Regel 2 switch abgeleitet: b if ( a ) if ( b ) gehört zu äußerem if Syntaxbaum: Variante 2 Probleme Auswahlanweisung if ( Ausdruck ) Anweisungng a Dieser Syntaxbaum ist verbindlich Regel 2 Auswahlanweisung if ( Ausdruck ) Anweisung b Regel 1 Zwei Syntaxbäume für dieselbe Anweisung Na und? Anweisung gehört zu innerem if Was tun: Wenn man doch die 1. Variante will? { ; Wie könnte die Java-Syntax eindeutig gemacht werden? abgeleitet: if ( a ) if ( b ) Jede if-anweisung wird abgeschlossen mit einem 15 16

5 Eindeutigkeit durch Switch Auswahl einer bedingten Anweisung Switch-Anweisung: Motivation Bedingte Anweisung n = 1 (bzw. n=2 mit leerer Anweisung) Auswahl zwischen n Anweisungen n = 2 n > 2 n >= 2 Form der Bedingung: ausdr == wert w 1 (ausdr mit Typ: byte, short, int, char) if (n == 0) System.out.print(" Null "); if (n == 1) System.out.print(" Eins "); if (n == 2) System.out.print("Zwei");... // if bis 9 Wert eines Ausdrucks (Variable n) Wiederholt auf Gleichheit mit speziellen vorgegebenen Werten (0, 1, 2 ) getestet if (B) S1 if (B) S1 S2 if (B) S1 if (B2) S2 if (B3) switch (ausdr) case w1: case w2: // n > 9 System.out.print(" > Neun "); 19 20

6 Switch-Anweisung: Auswahl aus mehreren Varianten switch (n) { case 0: System.out.print( "Null" ); case 1: System.out.print( "Eins" ); case 2: System.out.print( "Zwei" );. default: System.out.println( " > Neun " ); dieselbe Semantik wie eben switch: schalten, umlenken Konstante Switch: sinnvolles Beispiel final int jan = 1, feb = 2, mar = 3, dez = 12; int monat, jahr, anztage; Initialisierung // Einlesen von monat, jahr switch (monat) { case feb: modulo and if (((jahr % 4) == 0) && ((jahr % 100)!= 0) ((jahr % 400) == 0)) //Schaltjahrtest or anztage = 29; anztage = 28; mehrere Fälle gleichzeitig case apr: case jun: case sep: case nov: anztage = 30; default: anztage = 31; Standard Konstante Switch: sinnvolles Beispiel final int jan = 1, feb = 2, mar = 3, dez = 12; int monat, jahr, anztage; Initialisierung // Einlesen von monat, jahr switch (monat) { case feb: modulo and if (((jahr % 4) == 0) && ((jahr % 100)!= 0) ((jahr % 400) == 0)) //Schaltjahrtest or anztage = 29; anztage = 28; Jahr ist Schaltjahr mehrere (29. Februar), Fälle gleichzeitig case apr: case jun: wenn case es sep: durch case 4 teilbar, nov: aber nicht auch durch 100 teilbar ist, anztage = 30; mit der Ausnahme, default: anztage = 31; dass ein durch 400 teilbares Jahr ein Schaltjahr ist (z. B. das Jahr Tage 2000). eines Standard Monats 23