Softwareentwicklung in C++ - ASC

488 15. Verschiedenes
zurückkehrt. Man hat nur noch die Chance, selbst so definiert wie möglich
auszusteigen, bevor das System das von sich aus übernimmt. In Zeile 32 passiert
genau das. Würde man hier nicht mittels exit aussteigen, und wider
Erwarten aus der Funktion wieder herauskommen, dann würde automatisch
abort aufgerufen werden. Den Handler setzt man durch Aufruf der Methode
set_terminate in Kraft. Der weltbewegende Output dieses sterbenden
Meisterwerks liest sich dann so:
throwing OneException
preMortemExceptionProblemFunction c a l l e d
time to say good bye . . .
In Kapitel 11 wurde bereits eindringlichst gesagt, dass man unbedingt dafür
sorgen muss, dass aus einem Destruktor keine Exceptions geworfen werden.
Durch das catch(...) Konstrukt haben wir auch jetzt eine schöne Möglichkeit,
innerhalb eines Destruktors auf alle Eventualitäten zu reagieren und
heimtückische Exceptions, die aus aufgerufenen Teilen stammen, daran zu
hindern, aus dem Destruktor hinaus zu fallen. Wie bereits erklärt kann ein
Destruktor eben im Zuge eines Stack Unwindings aufgerufen werden und
dann würden bösartigerweise plötzlich zwei Exceptions gleichzeitig auftreten.
Wenn man darüber genau nachdenkt, dann kommt man allerdings zu
der Erkenntnis, dass man Exceptions aus einem Destruktor theoretisch schon
werfen könnte, wenn man nur sicherstellt, dass man nicht gerade im Zuge eines
Stack Unwindings destruiert wird. Genau das ist auch wirklich der Fall,
wie im folgenden Beispiel zu sehen ist (destructor_exc_demo.cpp):
1 // destructor exc demo . cpp − demo f o r exceptions in d e s t r u c t o r s
2
3 #include
4 #include < t y peinfo>
5 #include
6 #include ” u s e r t y p e s . h”
7
8 using std : : cout ;
9 using std : : endl ;
10 using std : : s e t t e r m i n a t e ;
11 using std : : uncaught exception ;
12
13 //−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
14 class OneException
15 {
16 } ;
17
18 //−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
19 /∗
20 ∗ VeryBadClass
21 ∗
22 ∗ throws an exception in the d e s t r u c t o r . . .
23 ∗
24 ∗/
25
26 class VeryBadClass
27 {
28 public :
29 virtual ˜ VeryBadClass ( )
30 {
31 cout