Підсумки

Висновки

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

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

1. Чи успадковуються конструктори?
2. Коли потрібний явний super з параметрами?
3. Чому не слід викликати перевизначуваний метод у конструкторі?
4. Як працює protected між пакетами?
5. Що перевіряє анотація Override?
6. Чим приховування static відрізняється від перевизначення?
7. Який тип визначає реалізацію екземплярного методу?
8. Чому instanceof безпечніший за неперевірене приведення?
9. Який зв’язок між equals і hashCode?
10. Коли композиція краще виражає контракт?