Чем отличается ссылка на константу от обычной ссылки в аргументах перегруженного оператора в C++?

Question

[crarerw]

Есть код:

#include <iostream>

class Z
{
	public:
		Z(){}
		Z(int i)	 { data = i;          }
		void print() { std::cout << data; }
		friend Z operator+ (Z& a, Z& b);
	private:	
		int data;	
};

Z operator + (Z& a, Z& b)
{
	Z result;
	result.data = a.data + b.data;
	return result;
}

int main()
{
	Z a = 5;
	Z b = a + a + a;
	b.print();
}

Он не работает. Компилятор ругается:

[Error] no match for 'operator+' (operand types are 'Z' and 'Z')
  Z b = a + a + a;
              ^
[Note] candidate is:
[Note] Z operator+(Z&, Z&)
[Note] no known conversion for argument 1 from 'Z' to 'Z&'

Если убрать одно слагаемое, код скомпилируется.
Если к аргументам оператора приписать модификатор const, всё также заработает.

Почему отсутствие модификатора const у аргументов отключает цепное применение оператора? В чём вообще различие между ссылкой и ссылкой на константу в данном случае?

Comments

[Антон Жилин]

Не ответ, а скорее совет. ВСЕ ссылки по умолчанию объявляйте константными. Если вы уверены, что нужно изменять этот объект, то снимайте const. non-const ссылки нужны на практике реже, чем const. Более того, в методах проверяйте, нужно ли им изменять this. Если нет, то надо их делать const. У вас print должна быть объявлена как void print() const { ... }

[crarerw]

Антон Жилин: Спасибо за совет!

Answer 1

[15432]

Что-то вы странное с friend наворотили, я бы так сделал

class Z
{
  public:
    Z(){}
    Z(int i)	 { data = i;          }
    void print() { std::cout << data; }
    Z operator+ (Z& b);
  private:	
    int data;	
};

Z Z::operator + (Z& b)
{
  Z result;
  result.data = data + b.data;
  return result;
}

int main()
{
  Z a = 5;
  Z b = a + a + a;
  b.print();
}

Edit:
у меня оба варианта компилируются и работают

Comments

[Максим Мосейчук]

Ничего странного. Оператор может быть как friend, так и функцией-членом.

[crarerw]

Почему странное? Перегрузка с friend воспринимается логичней и проще, чем оператор - член класса.
Ваш код работает, спасибо за пример. Но вопрос был не в том, чтобы получить рабочий код :)

EDIT: У вас компилируется и работает изначальный код из текста вопроса, или оба варианта вашего кода, с const и без? А какой компилятор используете?

[15432]

crarerw: MS VS 2008, работает ваш код из вопроса

[crarerw]

15432: У самого нету MS VS. Скомпилировал код с помощью сервиса webcompiler.cloudapp.net/.
Вывод компилятора:

Compiled with /EHsc /nologo /W4 /c
main.cpp
main.cpp(24): warning C4239: nonstandard extension used: 'argument': conversion from 'Z' to 'Z &'
main.cpp(24): note: A non-const reference may only be bound to an lvalue

Compilation successful!

То есть всё-таки это не стандартное поведение, а расширение от MS.
Тем не менее, из этого предупреждения понятно гораздо больше, чем из вывода mingw.

[crarerw]

15432: Вашего кода кстати тоже касается похожая проблема.
Если сделать вот так:
Z b = a + a + 10;
Такой код также не будет работать без расширений компилятора.
А вот если добавить const...