Стенли Липпман - Язык программирования C++. Пятое издание

Упражнение 15.25. Зачем определять стандартный конструктор для класса Disc_quote? Как повлияет на поведение класса Bulk_quote, если вообще повлияет, удаление этого конструктора?

Как упоминалось в разделе 15.2.2, фаза инициализации конструктора производного класса инициализирует часть (части) базового класса производного объекта наряду с инициализацией его собственных членов. В результате конструкторы копирования и перемещения для производного класса должны копировать и перемещать члены своей базовой части наравне с производной. Точно так же оператор присвоения производного класса должен присваивать члены базовой части производного объекта.

В отличие от конструкторов и операторов присвоения, деструктор несет ответственность только за освобождение ресурсов, зарезервированных производным классом. Помните, что члены объекта освобождаются неявно (см. раздел 13.1.3). Точно так же часть базового класса объекта производного класса освобождается автоматически.

Когда производный класс определяет функцию копирования или перемещения, эта функция несет ответственность за копирование или перемещение всего объекта, включая члены базового класса.

Определение конструктора копии или перемещения производного класса

При определении конструктора копии или перемещения (см. раздел 13.1.1 и раздел 13.6.2) для производного класса обычно используется соответствующий конструктор базового класса, инициализирующий базовую часть объекта:

class Base { /* ... */ };

class D: public Base {

public:

// по умолчанию стандартный конструктор базового класса

// инициализирует базовую часть объекта

// чтобы использовать конструктор копии или перемещения, его следует

// вызвать явно

// конструктор в списке инициализации конструктора

D(const D& d) : Base(d) // копирование базовых членов

/* инициализаторы для членов класса D */ { /* ... */ }

D(D&& d): Base(std::move(d)) // перемещение базовых членов

/* инициализаторы для членов класса D */ { /* ... */ }

};

Инициализатор Base(d)передает объект класса Dконструктору базового класса. Хотя в принципе у класса Baseможет быть конструктор с параметром типа D, на практике это очень маловероятно. Вместо этого инициализатор Base(d)будет (обычно) соответствовать конструктору копий класса Base. В этом конструкторе объект dбудет связан с параметром типа Base&. Конструктор копий класса Baseскопирует базовую часть объекта dв создаваемый объект. Будь инициализатор для базового класса пропущен, для инициализации базовой части объекта класса Dбудет использован стандартный конструктор класса Base.

// вероятно, неправильное определение конструктора копий D

// часть базового класса инициализируется по умолчанию, а не копией

D(const D& d) /* инициализаторы членов класса, но не базового класса */

{ /* ... */ }

Предположим, что конструктор класса Dкопирует производные члены объекта d. Этот вновь созданный объект был бы настроен странно: его члены класса Baseсодержали бы значения по умолчанию, в то время как его члены класса Dбыли бы копиями данных из другого объекта.

По умолчанию стандартный конструктор базового класса инициализирует часть базового класса объекта производного. Если необходимо копирование (или перемещение) части базового класса, следует явно использовать конструктор копий (или перемещения) для базового класса в списке инициализации конструктора производного.

Подобно конструктору копирования и перемещения, оператор присвоения производного класса (см. раздел 13.1.2 и раздел 13.6.2) должен присваивать свою базовую часть явно:

// Base::operator=(const Base&) не вызывается автоматически

D &D::operator=(const D &rhs) {

Base::operator=(rhs); // присваивает базовую часть