. На самом деле стандартом это условие не регламентировано, но во всех известных реализациях языка оно выполняется. Следует подчеркнуть, что класс с виртуальной функцией имеет один скрытый член, обеспечивающий виртуальные вызовы (см. раздел 14.3.1).
A.12.3. Создание, уничтожение и копирование
Определить
смысл инициализации объекта класса можно, определив один или несколько конструкторов (constructors). Конструктор — это функция-член, не имеющая возвращаемого значения, имя которой совпадает с именем класса.
class Date {
public:
Date(int yy,int mm,int dd):y(yy),m(mm),d(dd) { }
// ...
private:
int y,m,d;
};
Date d1(2006,11,15); // OK: инициализация с помощью конструктора
Date d2; // ошибка: нет инициализации
Date d3(11,15); // ошибка: неправильная инициализация
// (требуются три инициализатора)
Обратите внимание на то, что данные-члены могут быть инициализированы с помощью списка инициализации в конструкторе. Члены класса инициализируются в порядке их определения в классе.
Конструкторы обычно используются для установления инвариантов класса и получения ресурсов (см. разделы 9.4.2 и 9.4.3).
Объекты класса создаются снизу вверх, начиная с объектов базового класса (см. раздел 14.3.1) в порядке их объявления. Затем в порядке объявления создаются члены класса, после чего следует код самого конструктора. Если программист не сделает чего-нибудь очень странного, это гарантирует, что каждый объект класса будет создан до своего использования.
Если конструктор с одним аргументом не объявлен с помощью ключевого слова
explicit
, то он определяет неявное преобразование типа своего аргумента в свой класс.
class Date {
public:
Date(string);
explicit Date(long); // используется целочисленное
// представление даты
// ...
};
void f(Date);
Date d1 = "June 5, 1848"; // OK
f("June 5, 1848"); // OK
Date d2 = 2007*12*31+6*31+5; // ошибка: Date(long) — явный
члены производного класса не требуют явных аргументов и в классе нет других конструкторов, то автоматически генерируется конструктор по умолчанию (default constructor). Этот конструктор инициализирует каждый объект базового класса и каждый член, имеющий конструктор по умолчанию (оставляя члены, не имеющие конструкторы по умолчанию, неинициализированными). Рассмотрим пример.
struct S {
string name, address;
int x;
};
Этот класс
S
имеет неявный конструктор
S
, инициализирующий члены name и
address
, но не
x
.
A.12.3.1. Деструкторы
Смысл операции удаления объекта (т.е. что произойдет, когда объект выйдет за пределы области видимости) можно определить с помощью деструктора (destructor). Имя деструктора состоит из символа
~
(оператор дополнения), за которым следует имя класса.
class Vector { // вектор чисел типа double
public:
explicit Vector(int s):sz(s),p(new double[s]) { }
// конструктор
~Vector { delete[] p; }
// деструктор
// ...
private:
int sz;
double* p;
};
void f(int ss)
{
Vector v(s);
// ...
} // при выходе из функции f объект v будет уничтожен;
// для этого будет вызван деструктор класса Vector
Деструкторы, вызывающие деструкторы членов класса, могут генерироваться компилятором. Если класс используется как базовый, он обычно должен иметь виртуальный деструктор (см. раздел 17.5.2).
Деструкторы, как правило, используются для “очистки” и освобождения ресурсов. Объекты класса уничтожаются сверху вниз, начиная с кода самого деструктора, за которым следуют члены в порядке их объявления, а затем — объекты базового класса в порядке их объявления, т.е. в порядке, обратном их созданию (см. раздел A.12.3.1).