В этой статье C++ объясняется, как компилятор определяет подходящий оператор delete при замене подклассов. C++ использует виртуальные деструкторы для выбора соответствующей операции удаления в зависимости от динамического типа объекта, даже если на него ссылается указатель базового класса.