Leonid KudryavtsevА если у меня достаточно сложный алгоритм инициализации/убийства и я хочуГоре от ума.

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

В конструкторах виртуальный метод может вызвать метод (далёкого) потомка до вызова конструктора этого потомка.
В лучшем случае вы будете манипулировать неинициализированными полями, в худшем - просто мусором.
Аналогично, в деструкторах, виртуальный метод потомка может манипулировать объектом, для предка которого уже вызван деструктор.

Поэтому - всё как обычно: вместо того, чтобы бороться с последствиями проблемы, проблему просто не надо создавать.

Таким образом, комитет по стандартизации озадачился проблемой настолько, что таблица виртуальных методов специальном образом "хачится" в конструкторах/деструкторах, чтобы, не дай бог, не дёрнуть метод из иерархии предков.

Кто там чего говорил про безопасность и понятность вызова виртальных методов в фазе инициализации и разрушения объектов?

Для множественного наследования есть более-менее нетривиальные правила, которые можно запомнить и научиться применять: в конце-концов, мы знаем, на что идём.

Для виртуальных методов в конструкторах/деструкторах "знать" - просто невозможно.
Или вы будете работать с полусозданными (полуразрушенными) объектами или вы изменяете механизм виртуализации вызова методов в конструкторах и деструкторах.

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

BarloneBasil A. Sidorov, ну ведь кто-то должен проинициализировать указатель на vmt. Вот он в конструкторе и инициализируется. Тут все вполне логично.Это всё понятно.

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

Но, видимо, эстеты от программирования представляют достаточную опасность, чтобы в стандарте заложились на максимально безопасное поведение, не ограничиваясь простым предупреждением о неопределённом поведении.

rdb_devпроктостоматология, проктостоматология!... У вас есть другое определение для использования виртуальных методах в конструкторах и деструкторах?