Вызов конструктора копий

@Alexey104 · Регистрация: 26.10.2014

Author24 — интернет-сервис помощи студентам

Всех приветствую!

Имеется следующий простенький код:

C++

#include <iostream>
 
using namespace std;
 
class Object
{
private:
  int itsVal;
public:
  Object() {cout << "Standart constructor called..." << "\n";}
  Object(int val) {cout << "User constructor called..." << "\n"; itsVal=val;}
  Object(const Object &rhs) {cout << "Copy constructor called..." << "\n"; itsVal=rhs.GetVal();};
  ~Object() {cout << "Destructor called..." << "\n";}
  int GetVal() const {return itsVal;}
  Object Func() {return *this;}
};
 
int main()
{
  Object NewObject (100);
  Object NewObject2=NewObject.Func();
  return 0;
}

Результат его выполнения:

User constructor called...
Copy constructor called...
Destructor called...
Destructor called...

Вопрос:
Почему конструктор копий вызывается только один раз? Ведь, по идее, в строке 21 он должен вызываться два раза: один раз при возврате значения из функции "Func", второй - при вызове оператора присвоения, ведь я инициализирую значение второго объекта непосредственно при его объявлении.

Добавлено через 21 минуту
Да и деструктор, кстати, должен быть вызван 3 раза - для двух объектов("NewObject" и "NewObject2") и для копии объекта "NewObject", созданной при возврате значения из функции "Func". Или я чего-то недопонимаю?

alsav22 · 29.10.2014, 06:31

Сообщение от Alexey104

Почему конструктор копий вызывается только один раз? Ведь, по идее, в строке 21 он должен вызываться два раза:

От реализации зависит, временный объект (при возврате) может не создаваться.

@TheCalligrapher · 29.10.2014, 06:37

Во-первых, никакого "оператора присвоения" в вашем коде нет. Вот это '=' в синтаксисе инициализации - это просто символ '=', часть синтаксиса инициализации, а никакой не "оператор присвоения".

Во-вторых, вы правы: с точки зрения формально-абстрактного С++ конструктор копирования тут должен вызваться два раза: первый раз когда внутри функции 'Func()' значение '*this' копируется в безымянный временный объект, и второй раз когда этот безымянный временный объект копируется в 'NewObject2'

Однако спецификация языка С++ разрешает компиляторам устранять этот промежуточный временный объект в целях оптимизации кода и исключать "лишний" вызов конструктора копирования. Стандарт языка разрешает исключать вызов конструктора копирования даже если конструктор копирования содержит наблюдаемое поведение. Именно это и произошло в вашем случае. Т.е. при выполнении 'return *this' внутри 'Func()' компилятор напрямую копирует '*this' в 'NewObject2' одним-единственным вызовом конструктора копирования.

Если добавить в код печать значений указателей 'this', то сразу станет видно что куда копируется.

Похожее явление будет иметь место если вы напишете вот такую инициализацию

C++

1	Object obj = 5;

Формально компилятор обязан вызвать два конструктора, как будто вы написали

C++

1	Object obj = Object(5);

Но фактически компилятор имеет право устранить промежуточный временный объект и обойтись только одним вызовом конструктора, как будто вы написали

C++

1	Object obj(5);

@Alexey104 · 29.10.2014, 06:47 **[ТС]**

Спасибо, понятно.

Хотелось бы ещё уточнить отличия оператора присвоения от простого символа '='. Если бы при реализации класса я написал что-нибудь типа этого:

C++

void operator =(const Object &);
 
void Object::operator =(const Object &rhs)
{
   itsVal = rhs.GetVal();
}

, то в таком случае символ '=' для объекта класса стал бы оператором присвоения?

@TheCalligrapher · 29.10.2014, 06:56

Сообщение от Alexey104

то в таком случае символ '=' для объекта класса стал бы оператором присвоения?

Оператор присваивания вы имеет полное право переопределить. Но все равно в контексте объявления с инициализацией

C++

1	Object obj = Object(5);

этот оператор никогда вызываться не будет.

Инициализация - это инициализация. Присваивание - это присваивание. Это совсем разные вещи. Чтобы отличить инициализацию от присваивания надо смотреть отнюдь не на символ '='.

Ваш оператор присваивания будет вызываться вот в таком случае

C++

1 2	Object obj; obj = Object(5);

Вот это действительно присваивание. А предыдущий пример - это не присваивание вообще.

@Alexey104 · 29.10.2014, 07:10 **[ТС]**

Всё понял, благодарю за ликбез, буду дальше учиться...

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	29.10.2014, 06:31	2
	Сообщение от Alexey104 Почему конструктор копий вызывается только один раз? Ведь, по идее, в строке 21 он должен вызываться два раза: От реализации зависит, временный объект (при возврате) может не создаваться. 1

@Alexey104 4 / 4 / 0 Регистрация: 26.10.2014 Сообщений: 105
	29.10.2014, 07:10 [ТС]	6
	Всё понял, благодарю за ликбез, буду дальше учиться... 0

Опции темы