Quelltext der Seite Dangling else

Das Problem des '''dangling else''' ({{enS|dangling}} ‚baumelnd‘) ist ein Beispiel für eine scheinbare Mehrdeutigkeit einer Programmiersprache, die für Verwirrung sorgen kann, insbesondere bei falscher Einrückung. Tatsächlich ist die Semantik in den meisten Sprachen eindeutig definiert, schon weil die Grammatik der Sprache sonst nicht eindeutig zerlegbar wäre. Das Problem taucht in einigen [[Programmiersprache]]n (wie [[C (Programmiersprache)|C]], [[C++]], [[Java (Programmiersprache)|Java]]) auf, wenn zwei verschachtelten [[Bedingte Anweisung und Verzweigung|if-Anweisungen]] nur ein else-Zweig gegenübersteht. Es kann nur auftreten, wenn eine optionale Klammerung weggelassen wird.

== Beispiele ==
;Beispiel in [[C (Programmiersprache)|C]]
<syntaxhighlight lang="c">
  if (a == 1)
    if (b == 1)
      a = 42;
  else
    b = 42;
</syntaxhighlight>

In diesem Beispiel erwarten einige Nutzer, dass für den Fall <math>a \neq 1</math> der Variablen <math>b</math> der Wert <math>42</math> 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 <math>b</math> im Fall <math>a \neq 1</math> der Wert <math>42</math> zugewiesen werden, muss die äußere if-Anweisung geklammert werden:

<syntaxhighlight lang="c">
  if (a == 1)
  {
    if(b == 1)
      a = 42;
  }
  else
    b = 42;
</syntaxhighlight>

;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:

<syntaxhighlight lang="bash">
if [ $a -eq 1 ] ; then
  if [ $b -eq 1 ] ; then
    a=42
  fi
else
  b=42
fi
</syntaxhighlight>

In anderen Programmiersprachen (z.&nbsp;B. [[Python (Programmiersprache)|Python]]) umgeht man das Problem, indem man durch Einrücken strukturiert.

<syntaxhighlight lang="python">
if a == 1:
    if b == 1:
        a = 42
else:
    b = 42
</syntaxhighlight>

In [[Ada (Programmiersprache)|Ada]] tritt dieses Problem durch eine eindeutige syntaktische Klammerung nicht auf. Jedes IF wird durch ENDIF abgeschlossen:
<syntaxhighlight lang="ada">
IF a = 1 THEN
    IF b = 1 THEN
        a := 42;
    END IF;
ELSE
     b := 42;
END IF;
</syntaxhighlight>

Auch in Basic wird jedes IF entweder durch END IF abgeschlossen (wie in Ada) oder bei einer einzelnen Anweisung diese hinter THEN (ohne Zeilenumbruch) angegeben:
<syntaxhighlight lang="basic">
IF a = 1 THEN
    IF b = 1 THEN a = 42
ELSE
     b = 42
END IF
</syntaxhighlight>

== Siehe auch ==
* [[Lookahead]]

== Literatur ==
* Guido Krüger: ''Handbuch der Java-Programmierung''. 3. Auflage. Addison-Wesley, 2002, ISBN 3-8273-1949-8,+ Kapitel [https://dbs.cs.uni-duesseldorf.de/lehre/docs/java/javabuch/html/k100042.html#sectlevel4id006002001003 6.2 Verzweigungen]

[[Kategorie:Programmierung]]
[[Kategorie:Compilerbau]]