Quali sono i tipi di ritorno degli operatori in C++?

Question

Sto leggendo il C++ Primer, nel capitolo funzionamento sovraccarico, l'autore ha dato un esempio:

// member binary operator: left-hand operand bound to implicit this pointer 
Sales_item& Sales_item::operator+=(const Sales_item&); 
// nonmember binary operator: must declare a parameter for each operand 
Sales_item operator+(const Sales_item&, const Sales_item&); 

poi, l'autore ha spiegato:

Questa differenza corrisponde ai tipi di ritorno di questi operatori quando applicato ai tipi aritmetici: l'addizione produce un valore rvalue e l'assegnazione composta restituisce un riferimento all'operando di sinistra.

Non sono abbastanza sicuro di "compound assignment returns a reference to the left-hand operand". Qualcuno può approfondire ciò, e le cose rilevanti, per favore?

Answer 1

Ciò significa che si può fare qualcosa di simile a

a = 1; 
(a += 1) += 1; 

e il risultato sarà un == 3. Questo perché la maggior parte dei call sinistra a + = modifica a e poi restituisce un riferimento esso. Quindi il successivo + = opera sul riferimento a a e aggiunge di nuovo un numero.

D'altra parte, l'operatore normale + restituisce una copia del risultato, non un riferimento a uno degli argomenti. Questo significa che un'espressione come a + a = 3; è illegale.

Answer 2

a = a + b; 

dista inoltre

a += b; 

che equivale a

a.operator+= (b) 

operatore + = sostiene assegnazione composta:

(a += b) += c; 

equivale a

a.operator+= (b).operator+= (c); 

L'ultima riga non sarebbe possibile se è stato restituito un valore anziché un valore di rvalore.

Si consideri il seguente:

c = a + b; 

è anche

c = a.operator+ (b); 

scrittura

a.operator+ (b) = c; 

ha alcun effetto perché il valore di un non viene modificato.