Wenn es ums Thema Operatoren geht, so ist es des öfteren recht schwer festzulegen, welche Rückgabetypen und Parameter ein Operator haben sollte.
Beispielsweise habe ich in meinem Buch nun gelesen, dass der Zuweisungsoperator am besten einen Referenz auf *this zurückgeben sollte.
Allerdings funktioniert das ganze ja auch, wenn ich einfach ein normales Objekt nehmen.
Es ist doch egal ob ich eine konstante Referenz übergebe oder gleich eine Kopie des Objektes.
Bei den anderen Operatoren ist es ähnlich.

Kennt jemand eine Seite oder kann mir jemand die Regeln für die einzelnen Operatoren nennen?
Warum gibt der Zuweisungsoperator nicht einfach ein Objekt zurück?
Wie entscheide ich mich bei den Parametern- Referenzen oder normale Objekte?

Es wäre nett, wenn mir da jemand helfen könnte, weil mein Buch darauf irgendwie nur sehr eingeschränkte Informationen gibt.

cya
David

Es ist doch egal ob ich eine konstante Referenz übergebe oder gleich eine Kopie des Objektes.

Nö. Erstens ist der Speicheraufwand ein anderer und je nach Konstruktor kann da ganz was komisches bei passieren.

d = a = b + c;

c wird zu b addiert, aber der Wert von b selber wird ja nicht geändert.
Also muss ein temporäres Objekt her, welches das Ergebnis beinhaltet und zurückgegeben wird.
c wird auch nicht geändert, also wird es per const Referenz übergeben.

Warum wird c nicht als Kopie übergeben?
Könnte man auch machen, aber bei komplexeren Objekten wird das kopieren aufwendiger -> Performance.
Warum sollte man sich unnötige Kopien nicht ersparen!?

Wenn der Zuweisungsoperator nichts zurückliefern würde, dann könnte ich die Zuweisung an d (wie oben) nicht vornehmen.
Also sollte hier auch eine konstante Referenz zurückgegeben werden, daher return *this.

Wenn der Zuweisungsoperator nichts zurückliefern würde, dann könnte ich die Zuweisung an d (wie oben) nicht vornehmen.
Also sollte hier auch eine konstante Referenz zurückgegeben werden, daher return *this.

Die Rückgabe einer Referenz ist richtig, diese sollte allerdings nicht konstant sein. Das entspricht dem Verhalten des normalen Operators ebenso dem wie der vom Compiler deklarierten Overloads. Zudem ist dies für Standardcontainer-kompatible Typen vorgeschrieben.

Airdamn schrieb:

Wenn der Zuweisungsoperator nichts zurückliefern würde, dann könnte ich die Zuweisung an d (wie oben) nicht vornehmen.
Also sollte hier auch eine konstante Referenz zurückgegeben werden, daher return *this.

Die Rückgabe einer Referenz ist richtig, diese sollte allerdings nicht konstant sein. Das entspricht dem Verhalten des normalen Operators ebenso dem wie der vom Compiler deklarierten Overloads. Zudem ist dies für Standardcontainer-kompatible Typen vorgeschrieben.

Ok, dann lassen wir das const an der Stelle weg...

Es ist doch egal ob ich eine konstante Referenz übergebe oder gleich eine Kopie des Objektes.
Bei den anderen Operatoren ist es ähnlich.

Nein...

Wenn ich eine Funktion/Methode/Operator habe sollten Parameter sofern nicht etwas dagagen spricht (Wie NULL-Werte oder Änderungen) immer:
a) Bei integralen Datentypen als Wert (Call by Value)
b) Bei Klassen als konstante Referent (Call by const Referenz) übergeben werden

Warum?

Nehmen wir mal eine Klasse A an:

void foo(A value) <== Aufruf des Kopierkonstruktors
void foo(const A& value) <== Hier passiert nichts mit value

Das an sich mag noch nicht problematisch klingen. Nun ist es aber so das einerseits der Aufruf in einer Schleife liegen könnte und sich das Kopieren summiert oder das A entweder nicht kopierbar (z.B. private deklarierter Kopierkonstruktor) oder die Kopie aufwendig ist.
Man sollte zwar niemals vorträglich optimieren, aber auch niemals vorträglich Code absichtlich langsamer oder fehleranfälliger als nötig bauen (z.B. könnte der Kopierkonstruktor auch eine Exception auslösen...).

Damit sollte das Thema schon mal erklärt sein.

Zum zweiten:
Ob man ein Objekt oder eine Referenz auf sich selbst zurückgibt ist bei Operatoren auch ziemlich klar:

1. Orientiere dich immer an dem was für einen Integer gilt.
2. Kopie oder Selbstreferenz immer zurückgeben wenn der Operator verkettet werden kann (z.B. +) und dabei gleiche Typen erwartet werden (Bei dem Operator! z.B. erwartet man im Gegensatz wie + als Rückgabe ein bool, nicht etwas des gleichen Typen)
3. Selbstreferenz wird bei einer direkten Änderung an sich selbst zurückgeliefert (+=)
4. Kopien werden immer zurückgegeben wenn entweder das Objekt nicht verändert wird (+) oder die Änderung erst nach der Rückgabe sichtbar wird (i++; Hier wird die Kopie des alten Wertes zurückgegeben, die Änderung erfolgt aber auf sich selbst)

cu André

Vielen Dank für die ausführlichen Antworten- das mit der Performance hätte ich auch selbst raffen können

bis dann

cya
David