[Dewhurst03] §51, §59 • [Keffer95] pp.13-14 • [Meyers97] §12 • [Murray93] §2.1.31 • [Sutter00] §8, §47 • [Sutter02] §18

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

В C++ полный объект конструируется по одному базовому классу за раз.

Пусть у нас есть базовый класс

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

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

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

• Перекладывание ответственности. Можно просто документировать необходимость вызова в пользовательском коде постконструктора после создания объекта.

• Отложенная постинициализация. Можно выполнять постинициализацию при первом вызове функции-члена, для чего использовать в базовом классе флаг типа

, который показывает, был уже вызван постконструктор или нет.

• Использование семантики базового класса. Правила языка требуют, чтобы конструктор наиболее производного класса определял, какой из конструкторов базовых классов будет вызван. Вы можете использовать это правило в своих целях (см. [Taligent94]).

• Использование функции-фабрики. Таким способом вы можете легко обеспечить принудительный вызов функции-постконструктора (см. примеры к данной рекомендации).

Ни одна из методик постконструирования не является идеальной. Наихудшее, что можно сделать, — это потребовать, чтобы пользователь класса вручную вызывал постконструктор. Однако даже наилучшие способы решения данной задачи требуют отличного от обычного синтаксиса конструирования объекта (что легко проверяется в процессе компиляции) и/или сотрудничества с авторами производных классов (что невозможно проверить в процессе компиляции).

Пример. Использование функции-фабрики для принудительного вызова постконструктора. Рассмотрим следующий код:

Этот не вполне надежный дизайн основан на ряде компромиссов.

• Производные классы, такие как

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

• Создание объекта использует оператор

, который, однако, может быть перекрыт классом (см. рекомендации 45 и 46).

• Класс

обязательно должен определить конструктор с теми же параметрами, что и у конструктора класса . Смягчить проблему может наличие нескольких перегрузок функции ; эти перегрузки могут даже быть шаблонами.