Однако в приведённом примере не решена важная проблема: функции Alloc и Free по-прежнему надо вызывать вручную. Другая проблема данного примера — опасность оператора присваивания.

Для решения этих проблем в язык были введены конструкторы и деструкторы. Конструктор вызывается каждый раз, когда создаётся объект данного типа; деструктор — при уничтожении. При преобразованиях типов с участием экземпляров классов тоже вызываются конструкторы и деструкторы.

С конструкторами и деструктором класс выглядит так:

class Array {
public:
 Array() : len(0), val(NULL) {}
 Array(int _len) : len(_len) {val = new double[_len];}
 Array(const Array& a);
 ~Array() { Free(); }
 inline double Elem(int i);
 inline void ChangeElem(int i, double x);
protected:
 void Alloc(int _len);
 void Free();
 int len;
 double* val;
};
 
Array::Array(const Array& a) : len(a.len)
{
 val = new double[len];
 for (int i=0; i<len; i++)
 val[i] = a.val[i];
}

Здесь Array::Array — конструктор, а Array::~Array — деструктор. Конструктор копирования (copy constructor) Array::Array(const Array&) вызывается при создании нового объекта, являющегося копией уже существующего объекта. Теперь объект класса Array нельзя испортить: как бы мы его ни создавали, что бы мы ни делали, его значение будет хорошим, потому что конструктор вызывается автоматически. Все опасные операции с указателями спрятаны в закрытые функции.

Array a(5); // вызывается Array::Array(int)
Array b; // вызывается Array::Array()
Array c(a); // вызывается Array::Array(const Array&)
Array d=a; // то же самое
b=c; // происходит вызов оператора =
 // если он не определён (как в данном случае), то вызывается оператор присваивания по умолчанию, который
 // осуществляет копирование базовых подобъектов и почленное копирование нестатических членов-данных.
 // как правило конструктор копий и оператор присваивания переопределяются попарно

Оператор new тоже вызывает конструкторы, а delete — деструкторы.

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

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