компилятор определяет, объявлен ли явный копирующий конструктор для класса 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 );
14.3. Деструктор класса
Одна из целей, стоящих перед конструктором, - обеспечить автоматическое выделение ресурса. Мы уже видели в примере с классом Account конструктор, где с помощью оператора new выделяется память для массива символов и присваивается уникальный номер счету. Можно также представить ситуацию, когда нужно получить монопольный доступ к разделяемой памяти или к критической секции потока. Для этого необходима симметричная операция, обеспечивающая автоматическое освобождение памяти или возврат ресурса по завершении времени жизни объекта, - деструктор. Деструктор - это специальная определяемая пользователем функция-член, которая автоматически вызывается, когда объект выходит из области видимости или когда к указателю на объект применяется операция delete. Имя этой функции образовано из имени класса с предшествующим символом "тильда" (~). Деструктор не возвращает значения и не принимает никаких параметров, а следовательно, не может быть перегружен. Хотя разрешается определять несколько таких функций-членов, лишь одна из них будет применяться ко всем объектам класса. Вот, например, деструктор для нашего класса Account:
class Account {
public:
Account();
explicit Account( const char*, double=0.0 );
Account( const Account& );
~Account();
// ...
private:
char *_name;
unsigned int _acct_nmbr;
double _balance;
};
inline
Account::~Account()
{
delete [] _name;
return_acct_number( _acct_nnmbr );
}
Обратите внимание, что в нашем деструкторе не сбрасываются значения членов:
inline
Account::~Account()
{
// необходимо
delete [] _name;
return_acct_number( _acct_nnmbr );
// необязательно
_name = 0;
_balance = 0.0;
_acct_nmbr = 0;
}
Делать это необязательно, поскольку отведенная под члены объекта память все равно будет освобождена. Рассмотрим следующий класс:
class Point3d {
public:
// ...
private:
float x, y, z;
};