Лекції

Розбираємо динамічний поліморфізм у 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.