Этот код выглядит логичным — и он действительно логичен. Все работает, но посмотрите, как именно работает, ведь этот код является примером элегантного, важного и простого метода. При выходе из функции

объект класса (см. раздел 3.11), существующий в ней, уничтожается вполне корректно. Класс имеет член типа , у которого обязательно нужно вызвать деструктор, — класс занимает и освобождает память примерно так же, как и класс . Для объекта это просто; компилятор вызывает сгенерированный деструктор класса , как описано в разделе 17.5.1. А что можно сказать об объекте класса возвращаемом функцией ? Вызывающая функция понятия не имеет о том, что указатель ссылается на объект класса ; ей известно лишь, что он ссылается на объект класса . Как же инструкция сможет вызвать деструктор класса ?

В разделе 14.2.1 мы вскользь упомянули о том, что класс

имеет деструктор. Фактически в классе есть виртуальный деструктор. В этом все дело. Когда мы выполняем инструкцию , оператор анализирует тип указателя , чтобы увидеть, нужно ли вызывать деструктор, и при необходимости он его вызывает. Итак, инструкция вызывает деструктор класса . Однако деструктор является виртуальным, поэтому с помощью механизма вызова виртуальной функции (см. раздел 17.3.1) он вызывает деструктор класса, производного от класса , в данном случае деструктор . Если бы деструктор не был виртуальным, то деструктор не был бы вызван и член класса , имеющий тип , не был бы правильно уничтожен.

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

1. Если класс имеет виртуальную функцию, то, скорее всего, он будет использован в качестве базового.

2. Если класс является базовым, то его производный класс, скорее всего, будет использовать оператор

.

3. Если объект производного класса размещается в памяти с помощью оператора

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

Обратите внимание на то, что деструкторы вызываются неявно или косвенно с помощью оператора

. Они никогда не вызываются непосредственно. Это позволяет избежать довольно трудоемкой работы.

ПОПРОБУЙТЕ

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

Для того чтобы нам было удобно работать с классом

, нужно читать и записывать элементы. Для начала рассмотрим простые функции-члены и .

Функции

и обеспечивают доступ к элементам, применяя оператор к указателю .

Теперь мы можем создать вектор, состоящий из чисел типа

, и использовать его.

Результаты выглядят так:

Данный вариант класса

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