14.2.3. Копирующий конструктор

14.2.3. Копирующий конструктор

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

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

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

inline Account::

Account( const Account &rhs )

: _balance( rhs._balance )

{

_name = new char[ strlen(rhs._name) + 1 ];

strcpy( _name, rhs._name );

// копировать rhs._acct_nmbr нельзя

_acct_nmbr = get_unique_acct_nmbr();

}

Когда мы пишем:

Account acct2( acct1 );

компилятор определяет, объявлен ли явный копирующий конструктор для класса Account. Если он объявлен и доступен, то он и вызывается; а если недоступен, то определение acct2 считается ошибкой. В случае, когда копирующий конструктор не объявлен, выполняется почленная инициализация по умолчанию. Если впоследствии объявление копирующего конструктора будет добавлено или удалено, никаких изменений в программы пользователей вносить не придется. Однако перекомпилировать их все же необходимо. (Более подробно почленная инициализация рассматривается в разделе 14.6.)

Упражнение 14.1

* Какие из следующих утверждений ложны? Почему? У класса должен быть хотя бы один конструктор.

* Конструктор по умолчанию - это конструктор с пустым списком параметров.

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

* Если в классе нет конструктора по умолчанию, то компилятор генерирует его автоматически и инициализирует каждый член значением по умолчанию для соответствующего типа.

Упражнение 14.2

Предложите один или несколько конструкторов для данного множества членов. Объясните свой выбор:

class NoName {

public:

// здесь должны быть конструкторы

// ...

protected:

char *pstring;

int ival;

double dval;

};

Упражнение 14.3

* Выберите одну из следующих абстракций (или предложите свою собственную). Решите, какие данные (задаваемые пользователем) подходят для представляющего эту абстракцию класса. Напишите соответствующий набор конструкторов. Объясните свое решение. Книга Дата Служащий Транспортное средство Объект Дерево

Упражнение 14.4

Пользуясь приведенным определением класса:

class Account {

public:

Account();

explicit Account( const char*, double=0.0 );

// ...

};

объясните, что происходит в результате следующих определений:

(a) Account acct;

(b) Account acct2 = acct;

(c) Account acct3 = "Rena Stern ";

(d) Account acct4( "Anna Engel ", 400.00 );

(e) Account acct5 = Account( acct3 );

Упражнение 14.5

Параметр копирующего конструктора может и не быть константным, но обязан быть ссылкой. Почему ошибочна такая инструкция:

Account::Account( const Account rhs );