В чем проблема следующего фрагмента? Из спецификации (C++11 §5.3.5/3): Если статический тип подлежащего удалению объекта отличается от его динамического типа, статический тип должен быть базовым классом динамического типа подлежащего удалению объекта и иметь виртуальный деструктор или поведение undefined. ➡️ @cpp_geek