Softwareentwicklung in C++ - ASC

11. Exceptions 319
ser auch verwendet. Dies sieht man im Output an den Meldungen
copy - constructing Exception, id = 1
copy - constructing IndexOutOfBoundsException, id = 1
5. Nach Anlegen dieser Kopie ist die throw Expression abgearbeitet. Es
wird also das ursprüngliche Exception Objekt damit zerstört. Dies äußert
sich an den Meldungen
destructing IndexOutOfBoundsException, id = 0
destructing Exception, id = 0
Dieses Zerstören ist auch der Grund, warum ich im Demoprogramm den
einzelnen Objekten den Member my_id_ verpasst habe: Man sieht, welche
Instanz zerstört wird. Bei uns hat das Original die Id 0 und die Kopie
hat die Id 1.
6. Nach dem Zerstören des Originals beginnt das Stack Unwinding, also
das Zurückgehen in der Aufrufhierarchie am Stack, bis ein entsprechender
try Block mit zugehörigem catch gefunden wird. Hierbei wird
setElementAt verlassen und das erste passende catch findet sich direkt
in der aufrufenden main Funktion in Zeile 170. Genau dort läuft das
Programm dann weiter, wie sich am Output leicht erkennen lässt.
7. Beim Verlassen des catch Blocks ist auch die Lifetime der Kopie des
temporären Objekts zu Ende (diese war natürlich selbst ein temporäres
Objekt, wie sich leicht überlegen lässt). Entsprechend finden wir auch
im Output die entsprechenden Meldungen zu den Destruktoraufrufen
destructing IndexOutOfBoundsException, id = 1
destructing Exception, id = 1
Das Grundprinzip des Exception Mechanismus ist im Prinzip also recht klar
und einfach nachvollziehbar. Es wurde auch bereits erwähnt, dass es verschiedene
catch Blöcke für verschiedene Exceptions geben kann. Nun stellt sich
nur noch die Frage, wie diese verschiedenen Exceptions unterschieden werden.
Die Antwort ist einfach: aufgrund ihres Typs. Ein bestimmter catch
Block wird angesprungen, wenn die Exception, die geworfen wurde, eine der
folgenden Bedingungen erfüllt:
• Die geworfene Exception hat genau denselben Typ, wie im catch Statement
als Parameter angegeben.
• Die im catch als Parameter angegebene Exception ist eine public Basisklasse
der geworfenen Exception. Dann sind diese beiden Typen ja bekannterweise
voll kompatibel.
• Wenn die geworfene Exception ein Pointer ist (ja, auch das geht!) und
dieser Pointer zu einem Pointer-Parameter in einem catch Statement typkompatibel
ist.
• Wenn die geworfene Exception eine Referenz ist (wie zu erwarten, geht das
auch) und diese Referenz zu einem Referenz-Parameter in einem catch
Statement typkompatibel ist.