Softwareentwicklung in C++ - ASC

402 12. Operator Overloading
Interessant ist jetzt nur, was hier intern passiert. Es ist nämlich -> ein unärer
Operator, wie in Zeile 58 zu erkennen ist. Dieser Operator liefert allerdings
wirklich einen Pointer auf das gewünschte Objekt. So weit, so gut, bloß damit
ist doch eigentlich -> bereits abgearbeitet, also quasi “aufgebraucht”. Wieso
kommt es dann tatsächlich zu einem Aufruf von getValue? Das liegt daran,
dass C ++ diesen Operator zweistufig behandelt:
1. Zuerst wird unser definierter Operator aufgerufen.
2. Auf dem return-Value wird dann der “echte” Memberzugriff gemäß ->
durchgeführt.
Der Ausdruck obj_ptr->getValue() wird also vom Compiler so behandelt,
als ob hier
(obj_ptr.operator->())->getValue()
stünde. Dieses Verhalten ist auch das einzig sinnvolle, denn ansonsten würde
ein Overloading keinen Wert haben. Ein Objekt kann nur durch diese Behandlung
des Operators nach außen hin so tun, als ob es ein Pointer auf ein
anderes Objekt wäre.
Vorsicht Falle: Drei Operatoren gibt es, bei denen ich allen Lesern den
guten Tipp geben möchte, die Finger von einem Overloading zu lassen, außer
es geht gar nicht anders. Dies ist einerseits der , (=Komma) Operator,
andererseits && und ||. Das Problem dabei ist, dass hier nicht mehr gesagt
ist, ob standardmäßig eine short Evaluation des Ausdrucks stattfindet. Der
Compiler kann sehr wohl entscheiden, dass hier auf jeden Fall den selbstgebastelten
Operator aufruft, weil er diesem ja nicht ins Handwerk pfuschen
will. Das kann alle möglichen Probleme, vom einfachen Performancemord
bis hin zur Segmentation Violation in gewissen Situationen nach sich ziehen.
Sollte man also wirklich diese Operatoren selbst definieren wollen, so muss
man auf allen verwendeten Plattformen testen, welche Art der Evaluierung
vom Compiler herangezogen wird und entsprechend darauf reagieren.
Vorsicht Falle: Neben den bereits erwähnten Fallen gibt es noch eine ganz
besondere, in die vor allem Neulinge tappen, wenn sie beginnen, sich beim
Operator Overloading wohl zu fühlen: Die übertriebene und damit oft nicht
mehr intuitive Anwendung des Operator Overloadings!
Operatoren sind nur dann eine Hilfe für Entwickler, wenn sie intuitiv sind.
Zum Beispiel ist ein + Operator vollkommen intuitiv, wenn er zur Addition
von z.B. Vektoren oder Matrizen definiert ist. Auch zum aneinander Reihen
von Strings (=concatenation) ist dessen Einsatz noch sinnvoll. Gar nicht
mehr intuitiv ist dieser Operator, wenn er z.B. für ein Objekt Auto als Gas
geben definiert wird und vielleicht auch dann noch der Operator - als bremsen
dazukommt. Klar wird man nach Lektüre der Dokumentation wissen, dass
diese Operatoren so verwendet werden, aber trotzdem ist in diesem Fall die
Implementation über Methoden bei weitem intuitiver und leichter lesbar.