Softwareentwicklung in C++ - ASC

358 12. Operator Overloading
12 6
13 ∗∗∗∗ RangeControlledInt : conversion to int32
14 RangeControlledInt : = with int32
15 Oops − caught r a n g e e r r o r : value out o f range
Aufmerksame Leser haben sicherlich bereits erkannt, dass die Deklaration des
Typumwandlungs-Operators in Zeile 46 zu finden ist. Allerdings liest sich dieser
Operator doch etwas komisch, wenn man ihn mit den anderen Operatoren
vergleicht. Der Name des Operators ist int32 und das Fehlen von Parametern
zwischen den Klammern sagt uns, dass er ein unärer Operator ist. Allerdings
ist im Gegensatz zu anderen Operatoren kein expliziter return-Value
angegeben! Wenn man kurz nachdenkt, wird auch klar warum: Was soll eine
Umwandlung auf einen int32 denn auch anderes liefern als einen int32? Definiert
man also einen Typumwandlungs-Operator, so schreibt man einfach
das Keyword operator, gefolgt vom Datentyp, in den man umwandeln will,
gefolgt von öffnender und schließender runder Klammer, das war’s. Dass sich
hinter der Syntax mit dem fehlenden return-Value eine Erleichterung für die
Compilerbauer versteckt, ist eine andere Geschichte :-).
Die Implementation des Typumwandlungs-Operators in den Zeilen 113–
117 braucht sicherlich keine nähere Erklärung. Um genau verfolgen zu
können, was hinter den Kulissen passiert, wurde in gewohnter Weise in alle
Methoden ein entsprechender Output eingebaut. Werfen wir also nun einen
Blick auf denselben:
Die Zeilen 1–2 des Outputs werden beim Anlegen der entsprechenden
Variablen in den Zeilen 126–127 des Programms erzeugt. Dass die Zeilen
3–4 des Outputs ihren Ursprung in den Zuweisungen aus den Zeilen 129–
130 des Programms haben, ist auch nicht weiter verwunderlich. Zeile 131
des Programms wird in dieser Beziehung schon interessanter, denn von ihr
rühren die Zeilen 5–6 des Outputs her, die zeigen, dass hier zum ersten
Mal unser Typumwandlungs-Operator ins Spiel kommt: Hier wird zuerst
controlled_var2 in einen int32 verwandelt, danach wird die Subtraktion
durchgeführt und das Ergebnis wird dann entsprechend zugewiesen. Man
sieht also, dass der Compiler aus dem Subtraktionsoperator und dem links
von ihm stehenden int32 den Schluss gezogen hat, dass rechts wohl auch
ein int32 stehen sollte, damit die Operation ordnungsgemäß ausgeführt
werden kann. In unserer Klassendeklaration hat er den entsprechenden
Typumwandlungs-Operator gefunden und automatisch eingesetzt.
Dass dies nicht nur funktioniert, wenn links des Operators ein int32
steht, sondern auch umgekehrt und sogar in beliebiger Kombination, beweisen
die Zeilen 132–133 des Programms, die im Output die Zeilen 7–10
erzeugen. Salopp gesagt arbeitet der Compiler also so, dass er zuerst einen
Ausdruck daraufhin analysiert, was denn sinnvolle Kombinationen von Datentypen
wären, um die gewünschten Operationen auszuführen. Findet er
dann entsprechende Typumwandlungen, so werden diese eingesetzt und alles
geht seinen erwarteten Weg.