Ответ.

История вопроса:

Полиморфизм стал одной из ключевых характеристик объектно-ориентированного программирования еще на этапе раннего развития C++. Цель — возможность обращаться к объектам через базовый интерфейс, не заботясь о конкретном типе. Это значительно расширяет выразительность и гибкость кода.

Проблема:

Без полиморфизма код становится негибким: приходится явно узнавать типы объектов, использовать switch/case, ручное приведение типов. Это усложняет поддержку и расширяемость приложения — добавление новых типов становится дорогостоящим или невозможным без изменения существующего кода.

Решение:

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

Пример кода:

#include <iostream>

class Animal {
public:
    virtual void speak() const { std::cout << "Some animal sound
"; }
    virtual ~Animal() {}
};

class Dog : public Animal {
public:
    void speak() const override { std::cout << "Woof!
"; }
};

void makeSound(const Animal& a) {
    a.speak();
}

int main() {
    Dog dog;
    makeSound(dog); // Outputs: Woof!
}

Ключевые особенности:

• Виртуальные функции должны быть объявлены с ключевым словом virtual в базовом классе.
• Для безопасности используйте виртуальный деструктор в полиморфной иерархии.
• Для явного переопределения используйте override — это повышает безопасность кода.

Вопросы с подвохом.

Если не объявить деструктор базового класса виртуальным, что произойдёт?

Удаление объекта через указатель на базовый класс вызовет только деструктор базового класса, а деструктор производного класса не будет вызван, что приведёт к утечке ресурсов.

Пример кода:

class Base { public: ~Base() { /*...*/ } };
class Derived : public Base { public: ~Derived() { /*...*/ } };
Base* obj = new Derived();
delete obj; // UB: Derived::~Derived не будет вызван

Можно ли объявить только частично виртуальные методы, а деструктор оставить невиртуальным?

Нет, если класс полиморфный (есть хотя бы одна виртуальная функция), деструктор должен быть виртуальным, чтобы избежать утечек памяти или ресурсов.

Работают ли виртуальные функции для членов, объявленных как static?

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

Типовые ошибки и анти-паттерны

• Отсутствие виртуального деструктора в иерархии с виртуальными методами.
• Забыли пометить метод override в дочернем классе, что приводит к ошибочному перекрытию метода.
• Вызовы виртуальных функций из конструкторов/деструкторов, когда динамического связывания быть не должно.

Пример из жизни

Негативный кейс

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

Плюсы: Проект строится быстро, минимум виртуальных вызовов.

Минусы: Утечки памяти, неправильное уничтожение. Крайне сложно поддерживать и дорабатывать.

Позитивный кейс

Продуманная полиморфная иерархия, базовый класс имеет виртуальные функции и виртуальный деструктор. Используется ключевое слово override и принципы RAII.

Плюсы: Безопасная работа с ресурсами, простое расширение, тестируемость.

Минусы: Чуть ниже производительность из-за vtable- lookup, вакцина к "over- engineering" если наследование применяется без необходимости.