Softwareentwicklung in C++ - ASC

330 11. Exceptions
Vorsicht Falle: Manche Entwickler verwenden Exceptions bewusst zum
Modellieren von bestimmten Control-Flows, z.B. zur Steuerung von Schleifen.
Erstens stellt dies einen groben Widerspruch zur Semantik von Exceptions
dar, zweitens kann man damit besonders hübsche Zeitbomben bauen, die
viele Leute an den Rand der Verzweiflung treiben können.
Nehmen wir zum Beispiel an, dass ein Entwickler in einer Schleife ein
Vektor-Objekt Element für Element durchlaufen will und innerhalb der
Schleife irgendwelche Methoden auf diesen einzelnen Objekten aufruft. Nehmen
wir weiters an, dass der Vektor so implementiert ist, dass bei unerlaubter
Indizierung eine IndexOutOfBoundsException geworfen wird. Der Entwickler
kommt auf die glorreiche Idee, eine Endlosschleife zu implementieren und
diese in ein try mit zugehörigem catch auf die IndexOutOfBoundsException
einzubetten. Sobald die Exception geworfen wird, wird angenommen, dass
alle Elemente im Vektor abgearbeitet wurden, denn man hat mit einem zu
großen Index zugegriffen.
Jetzt passiert allerdings Folgendes: In einer der Methoden, die auf ein Einzelobjekt
aufgerufen werden, tritt aufgrund eines Softwarefehlers eine ganz
anders begründete IndexOutOfBoundsException auf, als die, die erwartet
wird. Diese bewirkt dann, dass die Schleife unabsichtlich verlassen wird, bevor
noch alle Objekte abgearbeitet wurden! Die Implementation geht aber
davon aus, dass die Exception dadurch entstand, dass der Vektor fertig abgearbeitet
war. Somit hat man tollerweise nur einen Teil des Vektors abgearbeitet
und sucht verzweifelt nach irgendwelchen verlorenen Objekten!
Vorsicht Falle: Wie bereits erwähnt, können nicht nur Objekte, sondern
auch Pointer auf Objekte als Exceptions verwendet werden. Aus Performancegründen
kann dies auch sehr geistreich sein, denn z.B. eine Kopie eines
Pointers anzulegen, ist im Regelfall deutlich schneller, als eine Kopie
eines gesamten Objekts anzulegen. Nur leider übersehen manche Entwickler,
dass eine dynamisch angelegte Exception auch sinnigerweise wieder irgendwo
freigegeben werden muss, wie man an folgendem Beispiel beobachten kann
(exception_memory_leak_problem.cpp):
1 // exception memory leak problem . cpp − demo , how a memory leak
2 // can be caused by bad exception throwing .
3
4
5 #include
6 #include ” u s e r t y p e s . h”
7
8 using std : : cout ;
9 using std : : endl ;
10
11 //−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
12 class Exception
13 {
14 public :
15 Exception ( ) { cout