Программирование. Принципы и практика использования C++ Исправленное издание

Определить смысл инициализации объекта класса можно, определив один или несколько конструкторов (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) — явный
  // конструктор
 f(2007*12*31+6*31+5); // ошибка: Date(long) — явный конструктор

 Date d3(2007*12*31+6*31+5); // OK
 Date d4 = Date(2007*12*31+6*31+5); // OK
 f(Date(2007*12*31+6*31+5)); // OK

Если базовые классы или члены производного класса не требуют явных аргументов и в классе нет других конструкторов, то автоматически генерируется конструктор по умолчанию (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).

A.12.3.2. Копирование

Можно определить суть копирования объекта класса.

 class Vector { // вектор чисел типа double
 public:
  explicit Vector(int s):sz(s), p(new double[s]) { }
  // конструктор
  ~Vector { delete[] p; } // деструктор
  Vector(const Vector&); // копирующий конструктор
  Vector& operator=(const Vector&); // копирующее присваивание
  // ...
 private:
  int sz;
  double* p;
 };

 void f(int ss)
 {
  Vector v(s);
  Vector v2 = v; // используем копирующий конструктор
  // ...
  v = v2; // используем копирующее присваивание
  // ...
 }

По умолчанию (т.е. если вы не определили копирующий конструктор и копирующее присваивание) компилятор сам генерирует копирующие операции. По умолчанию копирование производится почленно (см. также разделы 14.2.4 и 18.2).

A.12.4. Производные классы

Класс можно определить производным от других классов. В этом случае он наследует члены классов, от которых происходит (своих базовых классов).