Лекции

Разбираем динамический полиморфизм в C++: зачем базовому классу нужны virtual-методы, как работает «виртуальный вызов» через Base &/ Base *, чем отличается статический тип от реального, и почему override — это защита от «почти совпавшей» сигнатуры. В конце — прикладной пример с действиями ( Action) и разбор типичных ошибок.

Разбираем, что такое object slicing в C++: почему конструкция «объект базового типа по значению» ( Base ← Derived) «срезает» наследника и выключает виртуальные вызовы, где slicing прячется в параметрах и контейнерах (например, std::vector<Base>), и как правильно проектировать интерфейсы и хранение через const Base & и std::unique_ptr.

Разбираем, почему деструктор — часть контракта класса, и что происходит при уничтожении объекта через базовый указатель/владение: delete по Base* и std::unique_ptr<Base> обязаны вызывать правильную цепочку разрушения. Показываем опасный кейс без virtual деструктора, формулируем правило virtual ~Base() = default, добавляем диаграмму выбора и разбираем типичные ошибки и дисциплину override.

Разбираем, зачем в C++ использовать final для классов и виртуальных методов: как запрет наследования защищает инварианты, почему связка override final фиксирует контракт, как проектировать иерархии в стиле «база расширяемая — листья final», и почему final не отменяет необходимость virtual-деструктора при владении через std::unique_ptr< Command>. В конце — типичные ошибки и практический пример CLI-команд.

Разбираем «стоимость» динамического полиморфизма в C++: чем виртуальный вызов через Base&/ Base* отличается от обычного, почему вместе с virtual почти неизбежно приходят владение и время жизни (например, std::unique_ptr), как базовый контракт связывает код и удорожает сопровождение, и когда полиморфизм действительно оправдан. В конце сравниваем альтернативы: enum class + switch, передача поведения лямбдой через std::function, и закрытые наборы типов через std::variant.