Что возвращает return в С++?

Question

[Anvario0]

Хотел бы узнать, что возвращает return в C++: копию объекта или сам объект?
Напрмер:

coffeeMachine operator +(const coffeeMachine& other)
	{
		coffeeMachine temp;
		temp.x = this->x + other.x;
		temp.y = this->y + other.y;
		temp.size = this->size + other.size;

		return temp;
	}

Тут return вернёт копию объекта temp или сам объект temp?

Answer 1

[Wataru]

Зависит от кода функции и опций компилятора.

Советую всем программистам на C++ хотябы почитать про ассемблер.
Стек, регистры, вот это вот все. Тогда станет понятно, как работает процессор.

Тогда станет понятно что "сам объект tmp" никак не вернуть. Это локальная переменная, лежащая на стеке в части, которая будет отброшена при выходе из функции. Отсюда вытекает, что вообще говоря, там должна быть копия.

Но есть такая оптимизация, как RVO. В стандарте даже прописано, когда конкретно она гарантирована. Тогда копии не происходит. При этом компилятор вообще не создает локальной переменной. А вместо этого сразу же работает с тем местом, куда надо будет возвращать значение.

Если код и включенные оптимизации позволяют это сделать - то копии не будет. Но в общем случае - будет копия.

Answer 2

[Армянское Радио]

В данном конкретном случае, сработает оптимизация RVO - лишних копирований не произойдет.

Answer 3

[Вячеслав]

Если правильно помню плюсы - то вернет копию.
Сам объект создан на стеке и живет только во время выполнения функции.

P.S. это будет поверхностная копия или глубокая - зависит от наличия и реализации в coffeeMachine конструктора копирования

Comments

[Евгений Шатунов]

Вячеслав

Если правильно помню плюсы

Как говорится, не надо помнить, надо знать. Стандарт в этом плане однозначен, поэтому другие ответы людям нравятся больше.

поверхностная копия или глубокая

А можешь поделиться ссылками на стандарт или документацию, где описываются термины поверхностной и глубокой копий, а так же их поведение?

[Вячеслав]

Евгений Шатунов, это общеупотребимые термины, не имеющие прямого отношения к стандарту C++.
Почитать можно например тут, но уверен что ты и так про это знаешь.

Что конкретно я имел ввиду: когда выполняется return temp, то (без учета RVO!) возвращается копия temp, при этом копируются все поля. Если какое то поле - это указатель на объект, то этот объект не копируется, что может оказаться неприятным сюрпризом. Конструктор копирования позволяет управлять этим поведением и копировать настолько глубоко, насколько нужно.

[Армянское Радио]

Вячеслав, если внутри класса сидит сырой указатель и не прописан (или не отключен) конструктор копирования, мы имеем дело с низким качеством кода.

[Евгений Шатунов]

Вячеслав, да, я хорошо знаю про shallow и deep copy из других языков, которыми пользуюсь. Равно как и знаю о неприменимости этих терминов к C++.
Приведенный по ссылке текст - полная демагогия, опасная для личного профессионализма.
Армянское Радио полностью прав. Сырой указатель в полях и отсутствие явной политики копирования/перемещения является сильным признаком низкого качества кода и низкого профессионализма автора.
Правило 3/5/0 не за просто так существует.