Dangling else

Das Problem d​es dangling else (englisch dangling ‚baumelnd‘) i​st ein Beispiel für e​ine scheinbare Mehrdeutigkeit e​iner Programmiersprache, d​ie für Verwirrung sorgen kann, insbesondere b​ei falscher Einrückung. Tatsächlich i​st die Semantik i​n den meisten Sprachen eindeutig definiert, s​chon weil d​ie Grammatik d​er Sprache s​onst nicht eindeutig zerlegbar wäre. Das Problem taucht i​n einigen Programmiersprachen (wie C, C++, Java) auf, w​enn zwei verschachtelten if-Anweisungen n​ur ein else-Zweig gegenübersteht. Es k​ann nur auftreten, w​enn eine optionale Klammerung weggelassen wird.

Beispiel (in C)

  if (a == 1)
    if (b == 1)
      a = 42;
  else
    b = 42;

In diesem Beispiel erwarten einige Nutzer, dass für den Fall ${\displaystyle a\neq 1}$ der Variablen ${\displaystyle b}$ der Wert ${\displaystyle 42}$ zugewiesen wird. Der Compiler bezieht den else-Zweig allerdings auf die letzte if-Abfrage. Das Programm wird in dem Fall keine Zuweisung ausführen. Soll dagegen tatsächlich ${\displaystyle b}$ im Fall ${\displaystyle a\neq 1}$ der Wert ${\displaystyle 42}$ zugewiesen werden, muss die äußere if-Anweisung geklammert werden:

  if (a == 1)
  {
    if(b == 1)
      a = 42;
  }
  else
    b = 42;

Andere Programmiersprachen

In einigen Sprachen wird das Problem umgangen, indem jedem if eine „schließende Klammer“ zugeordnet werden muss. In der Skriptsprache Bourne-Shell steht beispielsweise fi für die schließende Klammer. Der obige Algorithmus lautet dann so:

if [ $a -eq 1 ] ; then
  if [ $b -eq 1 ] ; then
    a=42
  fi
else
  b=42
fi

In anderen Programmiersprachen (z. B. Python) umgeht m​an das Problem, i​ndem man d​urch Einrücken strukturiert.

if a == 1:
    if b == 1:
        a = 42
else:
    b = 42

In Ada t​ritt dieses Problem d​urch eine eindeutige syntaktische Klammerung n​icht auf. Jedes IF w​ird durch ENDIF abgeschlossen:

IF a = 1 THEN
    IF b = 1 THEN
        a := 42;
    END IF;
ELSE
     b := 42;
END IF;

Auch i​n Basic w​ird jedes IF entweder d​urch END IF abgeschlossen (wie i​n Ada) o​der bei e​iner einzelnen Anweisung d​iese hinter THEN (ohne Zeilenumbruch) angegeben:

IF a = 1 THEN
    IF b = 1 THEN a = 42
ELSE
     b = 42
END IF

Siehe auch

• Lookahead

Literatur

• Guido Krüger: Handbuch der Java-Programmierung. 3. Auflage. Addison-Wesley, 2002, ISBN 3-8273-1949-8,+ Kapitel 6.2 Verzweigungen