Допустимо ли на собеседовании объяснять, почему конструкторы C++ не являются виртуальными, используя порядок инициализац ⇐ C++

[Anonymous]

Я считаю, что конструкторы не могут быть объявлены виртуальными по следующей причине:
Для вызова виртуальной функции требуется, чтобы указатель vtable (vptr) уже был правильно инициализирован, чтобы он указывал на соответствующую таблицу виртуальных функций. Только тогда правильная функция может быть решена посредством виртуальной диспетчеризации. Однако правильная инициализация самого vptr происходит во время построения объекта. Если бы конструкторам было разрешено быть виртуальными, это привело бы к проблеме: вызов виртуального конструктора потребовал бы, чтобы vptr уже был правильно инициализирован, но инициализация vptr, в свою очередь, потребовала бы вызова конструктора, что привело бы к циклической зависимости.
Однако GPT утверждает, что утверждение «правильная инициализация vptr происходит в конструкторе» неверно. Согласно GPT, основная причина, по которой конструкторы не могут быть виртуальными, — это не ограничение реализации, а семантическое ограничение: семантика виртуальной диспетчеризации конфликтует с семантикой построения объекта. Поэтому конструкторам запрещено быть виртуальными, потому что виртуальная диспетчеризация во время строительства семантически неопределенна, а не потому, что ее технически невозможно реализовать.
Несколько дней назад в интервью интервьюер спросил меня, можно ли объявить конструктор виртуальным. Мой ответ был по сути тем же, что я описал выше. Я хочу знать, действительно ли мое объяснение проблематично. Будет ли такое заявление в интервью считаться серьезной ошибкой?

Подробнее здесь: https://stackoverflow.com/questions/798 ... -vptr-init