Каковы возвращаемые типы операторов в C++?

Question

Читаю C++ Primer, в перегруженной операции главы, автор привел пример:

// 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&); 

затем, автор объяснил:

Эта разница соответствует возвращаемые типы этих операторов, если применяется к арифметическим типам: добавление дает значение rvalue и составное присваивание возвращает ссылку на левый операнд.

Я не совсем уверен в "compound assignment returns a reference to the left-hand operand". Может ли кто-нибудь подробно остановиться на этом, а также на соответствующие вещи, пожалуйста?

Answer 1

Это означает, что вы можете сделать что-то вроде следующего

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

и результат будет == 3. Это происходит потому, что самый левый вызов + = модифицирует a, а затем возвращает ссылку Это. Затем следующий + = работает с ссылкой на a и снова добавляет к нему номер.

С другой стороны, оператор normal + возвращает копию результата, а не ссылку на один из аргументов. Таким образом, это означает, что выражение, такое как a + a = 3;, является незаконным.

Answer 2

a = a + b; 

также

a += b; 

что эквивалентно

a.operator+= (b) 

оператора + = поддерживает соединение назначение:

(a += b) += c; 

эквивалентно

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

Последняя строка не была бы возможна, если бы значение было возвращено вместо rvalue.

Рассмотрим следующий пример:

c = a + b; 

также

c = a.operator+ (b); 

написание

a.operator+ (b) = c; 

не имеет никакого эффекта, так как величина а не меняется.