Die Verzweigung in C++

Syntax

Für die Verzweigung gibt es in C++ zwei Produktionen.

〈selectionstatement 〉 ::=: "if" "(" 〈condition 〉 ")" 〈statement 〉.
〈selectionstatement 〉 ::=: "if" "(" 〈condition 〉 ")" 〈statement 〉 "else" 〈statement 〉.

Vergleich mit ?:

〈expression 〉 ":" 〈expression 〉

〈statement 〉 "else" 〈statement 〉

Semantik

〈condition 〉 kann ein Ausdruck sein.

Wenn der Ausdruck 〈condition〉 dem Literal "true" gleichwertig ist, genau dann wird die auf die runde Klammer ")" direkt folgende Anweisung 〈statement〉 ausgeführt.

Wenn der Ausdruck 〈condition〉 dem Literal "false" gleichwertig ist, genau dann wird eine eventuell vorhandene auf das Schlüsselwort "else" direkt folgende Anweisung 〈statement〉 ausgeführt.

Falls der Wert des Ausdrucks 〈condition〉 nicht vom Datentyp "bool" ist, dann wird er in den Datentyp "bool" gewandelt.

Ein arithmetischer Wert kann in einen Wahrheitswert umgewandelt werden: Der Wert "0" wird dabei in den Wert "false" gewandelt, jeder andere Wert in den Wert "true".

Beispielprogramm

verzweigung.cpp

#include <iostream> 
#include <ostream> 
#include <cstdlib> 
#include <string>

using namespace ::std::literals;

int main() 
{ auto wert = rand(); 
  if( wert )std::cout << "Kehrwert = " << 1. / wert; 
  else std::cout << "Kehrwert nicht definiert.";  
  std::cout << '\n'; }

In diesem Beispielprogramm wurde ausgenutzt, daß Werte vom Datentyp "int" als Ausdrücke vom Datentyp "bool" verwendet werden können.

Bemerkung Übungen

Beispiel Entscheidung zur Schreibzeit

schreibzeit.cpp

#include <iostream> 
#include <ostream> 
#include <string>

using namespace ::std::literals;

int main() 
{ if( false )std::cout << "Hallo!\n"; 
  if( true  )std::cout << "Wie geht's?\n"; }

Was gibt dieses Programm aus?

Vergleich

Normalerweise wird die Bedingung einer if-Anweisung, wenn es sich um eine Zahl handelt, implizit mit 0 verglichen, um sie in den bool-Wert "true" oder den bool-Wert "false" zu wandeln. Dabei wird der int-Wert "0" auf den bool-Wert "false" abgebildet und jeder andere int-Wert auf den bool-Wert "true". Die Funktion "is0" soll ein Prädikat sein, das (gerade umgekehrt) ermittelt, ob der Argumentwert gleich 0 ist, also den bool-Wert "true" ergeben, wenn der Parameter den int-Wert "0" hat und den bool-Wert "false" sonst.

Welcher Fehler wurde bei der Implementation gemacht?

Welchen Vorteil hat die Verwendung des Schlüsselworts "const" in diesem Zusammenhang?

Wie könnte die Funktion (nachdem der Fehler korrigiert wurde) noch verkürzt werden?

Vergleich.cpp

bool is0( int const v ) 
{ bool result; 
  if( v = 0 )result = true; 
  else result = false; 
  return result; }

Baumelnder else -Zweig

Die Anweisung 〈statement 〉 direkt nach einer Klammer ")" kann wieder eine Verzweigung sein und es kann ein else -Zweig folgen, so daß für eine Anweisung "〈selectionstatement 〉" auch der folgende Aufbau möglich ist.

〈selectionstatement 〉 ::=: "if" "(" 〈condition 〉 ")"; "if" "(" 〈condition 〉 ")" 〈statement 〉; "else" 〈statement 〉.

Doch es ist durch die bisher genannten Regeln noch nicht klar geworden, ob das "else" eine Alternative für die erste oder die zweite Verzweigung darstellt. Das »else« wird der zweiten (inneren) if-Anweisung zugeordnet, weil es dieser am nächsten ist.