Softwareentwicklung in C++ - ASC

490 15. Verschiedenes
98 }
99
100 s e t t e r m i n a t e ( old terminate handler ) ;
101
102 return ( 0 ) ;
103 }
Wir haben es hier mit einer BadClass und mit einer VeryBadClass zu tun.
Die VeryBadClass zeichnet sich dadurch aus, dass sie ohne Rücksicht auf
Verluste aus dem Destruktor eine Exception wirft. Die BadClass ist ein wenig
rücksichtsvoller und wirft nur dann eine Exception, wenn nicht gerade ein
Stack Unwinding im Gange ist. Ob das der Fall ist, findet man durch Aufruf
der Funktion uncaught_exception in Zeile 50 heraus. Wenn diese Funktion
true liefert, dann ist gerade ein Stack Unwinding im Gang, ansonsten nicht.
In unserem main legen wir in den Zeilen 82–83 zwei Variablen vom Typ
BadClass an. Sobald die erste der beiden im Zuge des Verlassens des umschließenden
Blocks ihr Leben verwirkt hat, wirft sie aus dem Destruktor
eine Exception. Dadurch wird das Stack Unwinding ausgelöst und im Zuge
dessen wird auch die zweite Variable destruiert. Diese erkennt im Destruktor,
dass sie sich mit dem Werfen von Exceptions gefälligst zurückhalten soll und
verhält sich entsprechend brav. Dadurch gelingt es dem Programm, sich bis
zum entsprechenden catch in den Zeilen 85–88 durchzukämpfen.
Anders ist die Situation schon bei unserer VeryBadClass. Auch hier wird
beim ersten Destruktoraufruf eine Exception geworfen, das ein Stack Unwinding
zur Folge hat. Im Zuge dessen wirft aber auch noch die zweite Instanz
dieser Klasse schwachsinnigerweise aus dem Destruktor eine Exception. Dadurch
bleibt gar nichts Anderes mehr übrig, als das Programm zu beenden.
Wie man am folgenden Output sieht, wird auch dafür wieder der entsprechende
terminate Handler herangezogen, den wir schon von den uncaught
Exceptions her kennen.
BadClass d e s t r u c t o r
stack unwinding not in progress . . . throwing OneException
BadClass d e s t r u c t o r
stack unwinding in progress . . . not throwing an exception
caught OneException
VeryBadClass d e s t r u c t o r
VeryBadClass d e s t r u c t o r
preMortemExceptionProblemFunction c a l l e d
time to say good bye . . .
Vorsicht Falle: Auch wenn man im Destruktor nach entsprechender Absicherung
Exceptions werfen kann, muss ich zu äußerster Vorsicht mahnen!
Destruktoren müssen so entworfen werden, dass diese Maßnahme nicht nötig
ist, sonst landet man irgendwann in Teufels Küche. Die Problematik ist, dass
man in gewissen Situationen Exceptions nicht werfen kann, weil gerade ein
Stack Unwinding passiert. Was tut man aber in so einer Situation mit Exceptions,
die einem im Destruktor von darin aufgerufenen Methoden um die
Ohren geworfen werden? Ein silent Catch führt garantiert zur Katastrophe!