Підсумки

Висновки

Наслідування задає зв’язок типів і може повторно використати реалізацію. Поліморфізм дозволяє клієнтові працювати зі спільною роллю. ABC робить частину вимог явними під час створення, Protocol описує структурний контракт для аналізатора. MRO визначає порядок пошуку, а композиція дозволяє незалежно замінювати частини поведінки. Дизайн перевіряється підстановкою і тестами контракту, а не лише правильно намальованою стрілкою.

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

1. Як оголосити похідний клас і викликати базову ініціалізацію?
2. Що означає super у множинному наслідуванні?
3. Чим відрізняються isinstance та точна перевірка типу?
4. Яку проблему розв’язує поліморфний цикл?
5. Чому однакової назви методу недостатньо для контракту?
6. Коли ABC забороняє створити екземпляр?
7. Як оголосити абстрактну властивість?
8. Що є шаблонним методом?
9. Чим номінальна типізація відрізняється від структурної?
10. Чого не перевіряє runtime_checkable?
11. Що змінює register, а що залишається незмінним?
12. Які гарантії дають override і final під час виконання?
13. Як C3 упорядковує ромбоподібну ієрархію?
14. Який контракт повинен мати міксин?
15. Коли квадрат не може замінити змінюваний прямокутник?

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

1. ABC: https://docs.python.org/3.14/library/abc.html.
2. Протоколи: https://peps.python.org/pep-0544/.
3. Колекції: https://docs.python.org/3.14/library/collections.abc.html.
4. MRO: https://docs.python.org/3.14/howto/mro.html.