Softwareentwicklung in C++ - ASC

350 12. Operator Overloading
15 MathVector , id = 4 : operator + , other id = 5
16 MathVector , id = 6 : copy constructor , other id = 4
17 MathVector , id = 0 : operator = , other id = 6
18 MathVector , id = 6 : d e s t r u c t o r
19 MathVector , id = 5 : d e s t r u c t o r
20 MathVector , id = 4 : d e s t r u c t o r
21 MathVector , id = 3 : operator −= , other id = 2
22 MathVector , id = 3 : d e s t r u c t o r
23 MathVector , id = 2 : d e s t r u c t o r
24 MathVector , id = 1 : d e s t r u c t o r
25 MathVector , id = 0 : d e s t r u c t o r
Die Zeilen 15–17 des Testprogramms erzeugen wie gehabt die Zeilen 1–3 im
Output. Die Zuweisungs-Orgie in den Zeilen 20–21 findet sich im Output
in den Zeilen 4–9 wieder. In Zeile 24 des Programms zeigt sich erneut, was
bereits in Abschnitt 9.2.3 erwähnt wurde: Die Initialisierung einer Variable
ist definitiv nicht dasselbe, wie eine Zuweisung eines Wertes an eine Variable.
Sobald eine Instanz einer Klasse erzeugt wird und in der Initialisierung eine
“Zuweisung” eines Wertes stattfindet, wird vom Compiler nachgesehen, ob
es einen passenden Konstruktor gibt. Wenn ja, wird dieser verwendet, wie
es bei uns mit dem Copy-Constructor passiert. Gibt es keinen, der genau
passt, dann wird nach den üblichen Regeln derjenige ausgesucht, der “am
besten” passt. Was nicht passiert, ist, dass zuerst der default Konstruktor
verwendet wird und danach ein Aufruf des Zuweisungs-Operators erfolgt!
Findet der Compiler keinen passenden Konstruktor, quittiert er dies mit einer
Fehlermeldung!
Das bedeutet, dass die beiden folgenden Codestücke
MyClass var1 = 17;
und
MyClass var1;
var1 = 17;
absolut nicht dasselbe bewirken, obwohl dies oft fälschlich angenommen wird!
Im ersten Fall wird ein Konstruktor gesucht, der als Parameter einen int
nehmen kann. Im zweiten Fall wird zuerst das Objekt über den default
Konstruktor konstruiert und danach wird über den Zuweisungsoperator 17
zugewiesen (falls ein solcher Operator existiert).
Genau dieser Unterschied ist es auch, warum man immer die Konstruktion
und die damit einhergehende Initialisierung von Members im Initialisierungsteil
des Konstruktors (also nach dem : und vor dem Rumpf) vornehmen
sollte, anstatt erst im Rumpf des Konstruktors eine Zuweisung zu machen.
Natürlich funktioniert das nur, wenn ein entsprechender Konstruktor zur
Verfügung steht :-).
Jetzt aber wieder zurück zu unserem Programm: Sehen wir uns an, was
alles passiert, wenn Zeile 26 ausgewertet wird: Im Output schlägt sich diese
Zeile nämlich gleich mit vielen Meldungen zu Buche, die von Zeile 11–20
reichen:
• Zu Beginn wird der Operator * aufgerufen, der vector2 mit 2 multipliziert,
wie in Zeile 11 des Outputs zu sehen ist.