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