Есть класс вектора. И есть второй класс, который совершает операции над векторами. Есть его некая функций:

Правильно ли я понимаю что на строке "return vec+vec2" будет создан новый объект типа aVector, который будет результатом сложения; после чего будет создан объект aVector - возвращаемый функцией Func(), и который приравняется вектору, который будет результатом сложения? Т.е. в итоге будет создано два объекта, первый из которых после приравнивания будет уничтожен(является результатом сложения), а второй - тот к которому приравняется r.

Напиши свой конструктор копирования и сделай в нём вывод в консоль. Сам увидишь сколько фактически будет создано копий. Теоретически ты прав, будет создано минимум 2 копии. На практике же, в release, компилятор проведёт оптимизацию возвращаемых значений и число копирований здесь уменьшится до одного. Ещё можно сделать методы inline (точнее __inline и в опциях компилятора поставить /Ob1). 

И в r у тебя мусор будет (в Debug версии)

Это сообщение отредактировал(а) Annihilator - 24.9.2009, 07:19

второй тоже будет уничтожен. после того, как произойдёт присваивание переменной r в функции main.

Нет там мусора - проверил. С чего вы взяли?

Имеется ввиду после объявления объекта наверное. Обычно в debug сборке там мусор. А после присваивания значения уже то, что надо. 

во первых, зачем оператор сложения возвращает const aVector, а не просто aVector?
во вторых, современные компиляторы умеют это оптимизировать, лишняя копия создана не будет, это называется copy elision

Lazin, Вопрос к спецификации вообщем-то, а не к реализации на компиляторах. Но - спасибо.

Мейерс "Эффективное использование С++": Праивило 21 (Везде, где толькл можно, используйте const) 

здесь вполне достаточно того, что метод - константный, константность возвращаемого значения тут абсолютно ничего не дает, а в некоторых случаях может даже мешать

Всем спасибо за ответы. Давайте без оффтопа
solved