<![CDATA[rvalues, lvalues und Zuweisungen]]>Hallo, ich suche nach einer definitiven Antwort auf folgende Frage.

struct S { 
 //... 
};

S f() {
  return S();
}

int main() {
  S s;
  f() = s;
}

Ist das erlaubt?

3.10§5 sagt, f() ist ein rvalue-Ausdruck. 5.17§1 sagt, die linken Ausdrücke in Zuweisungen müssen modifiable lvalues sein. Scheint eindeutig. Andererseits ist die Zuweisung bei nutzerdefinierten Typen eine Memberfunktion, warum soll man die nicht aufrufen dürfen? Solange f() kein const S zurückliefert ... Compiler scheinen das meistens auch so zu sehen.

]]>https://www.c-plusplus.net/forum/topic/213213/rvalues-lvalues-und-zuweisungenRSS for NodeWed, 14 Oct 2026 11:24:23 GMTThu, 15 May 2008 11:33:57 GMT60<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 11:33:57 GMT]]>Hallo, ich suche nach einer definitiven Antwort auf folgende Frage.

struct S { 
 //... 
};

S f() {
  return S();
}

int main() {
  S s;
  f() = s;
}

Ist das erlaubt?

3.10§5 sagt, f() ist ein rvalue-Ausdruck. 5.17§1 sagt, die linken Ausdrücke in Zuweisungen müssen modifiable lvalues sein. Scheint eindeutig. Andererseits ist die Zuweisung bei nutzerdefinierten Typen eine Memberfunktion, warum soll man die nicht aufrufen dürfen? Solange f() kein const S zurückliefert ... Compiler scheinen das meistens auch so zu sehen.

]]>https://www.c-plusplus.net/forum/post/1509549https://www.c-plusplus.net/forum/post/1509549Thu, 15 May 2008 11:33:57 GMT<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 11:46:28 GMT]]>Jo, geht. f() liefert ein temporäres S Objekt. Für das temporäre S Objekt wird dann der (implizite oder explizite) Zuweisungsoperator aufgerufen. Dann wird das Objekt verworfen.
Mach in Deinem struct mal S& operator=(const S& obj) private. Dann gehts nicht mehr.

]]>https://www.c-plusplus.net/forum/post/1509564https://www.c-plusplus.net/forum/post/1509564Thu, 15 May 2008 11:46:28 GMT<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 11:56:03 GMT]]>Überladene Operatorfunktionen unterliegen nicht den gleichen Beschränkungen wie die eingebauten Operatoren hinsichtlich der Operanden (13.5/7) - ein lvalue wird nur benötigt, wenn die betreffende Funktionen eine nicht-const Referenz als Parameter hat. Die Zuweisung zwischen Klassenobjekten wird in jedem Falle durch eine überladene Funktion ausgeführt (5.17/4).

Edit: 5/2 Satz 3 ist ein besserer Verweis (13.5/7 meint Semantik nicht Syntax).

]]>https://www.c-plusplus.net/forum/post/1509565https://www.c-plusplus.net/forum/post/1509565Thu, 15 May 2008 11:56:03 GMT<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 11:47:21 GMT]]>ja, es ist erlaubt.
ich hab im moment keine zeit, die relevanten stellen im standard herauszusuchen, aber 5.17/1 bezieht sich auf built-in operatoren, nicht auf automatisch generierte.

]]>https://www.c-plusplus.net/forum/post/1509568https://www.c-plusplus.net/forum/post/1509568Thu, 15 May 2008 11:47:21 GMT<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 11:59:19 GMT]]>camper schrieb:

Edit: 5/2 Satz 3 ist ein besserer Verweis (13.5/7 meint Semantik nicht Syntax).

Ah danke, das ist es. 👍

]]>https://www.c-plusplus.net/forum/post/1509583https://www.c-plusplus.net/forum/post/1509583Thu, 15 May 2008 11:59:19 GMT<![CDATA[Reply to rvalues, lvalues und Zuweisungen on Thu, 15 May 2008 12:39:59 GMT]]>huch, hätte ich zuerst nachsehen sollen, ob nicht schon jemand geantwortet hat 🙄

das ist übrigens auch der grund, warum manche menschen den rückgabewert ihrer operatoren konstant machen wollen. aber fang nicht an, mit camper darüber zu streiten 😉

]]>https://www.c-plusplus.net/forum/post/1509666https://www.c-plusplus.net/forum/post/1509666Thu, 15 May 2008 12:39:59 GMT