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

Base2() = default;

Base2(const std::string&);

Base2(int);

};

// ошибка: D1 пытается унаследовать D1::D1(const string&) от обоих

// базовых классов

struct D1: public Base1, public Base2 {

using Base1::Base1; // наследует конструкторы от Base1

using Base2::Base2; // наследует конструкторы от Base2

};

Класс, унаследовавший тот же конструктор от нескольких базовых классов, должен определить собственную версию этого конструктора:

struct D2: public Base1, public Base2 {

using Base1::Base1; // наследует конструкторы от Base1

using Base2::Base2; // наследует конструкторы от Base2

// D2 должен определить собственный конструктор, получающий string

D2(const string &s) : Base1(s), Base2(s) { }

D2() = default; // необходимо, поскольку D2 определяет собственный

// конструктор

};

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

Деструкторы всегда выполняются в порядке, обратном вызову конструкторов. В данном примере порядок вызова деструкторов будет следующим: ~Panda(), ~Endangered(), ~Bear(), ~ZooAnimal().

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

Например, если класс Pandaиспользует синтезируемые функции-члены, то инициализация объекта ling_lingвызовет конструктор копий класса Bear, который в свою очередь вызовет конструктор копий класса ZooAnimalпрежде, чем выполнить конструктор копий класса Bear:

Panda ying_yang("ying_yang");

Panda ling_ling = ying_yang; // использует конструктор копий

Как только часть Bearобъекта ling_lingсоздана, выполняется конструктор копий класса Endangered, создающий соответствующую часть объекта. И наконец, выполняется конструктор копий класса Panda. Аналогично для синтезируемого конструктора перемещения.

Синтезируемый оператор присвоения копии ведет себя так же, как и конструктор копий. Сначала он присваивает часть Bear(и его часть ZooAnimal) объекта, затем часть Endangeredи наконец часть Panda. Оператор присвоения при перемещении ведет себя подобным образом.

Упражнение 18.21. Объясните следующие объявления. Найдите все ошибки и объясните их причину:

(a) class CADVehicle : public CAD, Vehicle { ... };

(b) class DblList: public List, public List { ... };

(c) class iostream: public istream, public ostream { ... };

Упражнение 18.22. С учетом следующей иерархии класса, в которой у каждого класса определен стандартный конструктор:

class A { ... };

class B : public A { ... };

class C : public B { ... };

class X { ... };

class Y { ... };

class Z : public X, public Y { ... };

class MI : public C, public Z { ... };

Каков порядок выполнения конструкторов при создании следующего объекта?

MI mi;

При одиночном наследовании указатель или ссылка на производный класс могут быть автоматически преобразованы в указатель или ссылку на базовый класс (см. раздел 15.2.2 и раздел 15.5). Это справедливо и для множественного наследования. Указатель или ссылка на производный класс могут быть преобразованы в указатель или ссылку на любой из его базовых классов. Например, указатель или ссылка на класс ZooAnimal, Bearили Endangeredможет указывать или ссылаться на объект класса Panda.

// функции, получающие ссылки на класс, базовый для класса Panda

void print(const Bear&);

void highlight(const Endangered&);

ostream& operator<<(ostream&, const ZooAnimal&);

Panda ying_yang("ying_yang");