Підсумки

Висновки

Публічне наслідування задає контракт підстановки. Віртуальний виклик залежить від фактичного типу. Володіння та поліморфізм потребують окремих рішень. Зрізання змінює сам об’єкт, а не лише шлях виклику.

Питання для самоперевірки

1. Коли відношення «є» виправдовує наслідування?
2. Чим статичний тип відрізняється від динамічного?
3. Навіщо потрібен віртуальний деструктор?
4. Чому vector не зберігає похідну частину?
5. Що перевіряє override?
6. Яку поведінку має virtual у конструкторі бази?
7. У якому порядку знищується ієрархія?
8. Чим protected-метод кращий за відкритий доступ до поля?
9. Як відрізняється невдалий dynamic_cast вказівника та посилання?
10. Чому винятки перехоплюють за const-посиланням?
11. Що означає final для класу й методу?
12. Які ризики має static_cast до похідного типу?
13. Чому vtable-схема не є гарантією ABI?
14. Як using Base::Base впливає на нові поля?
15. Коли dynamic_cast підказує змінити інтерфейс?

Корисні посилання

• https://learn.microsoft.com/cpp/cpp/inheritance-cpp
• https://learn.microsoft.com/cpp/cpp/virtual-functions
• https://learn.microsoft.com/cpp/cpp/dynamic-cast-operator