Proč může být dědičnost v objektově orientovaném programování nevýhodou nebo způsobovat nepříjemnosti?

Dědičnost může způsobit nepříjemnosti z následujících důvodů:

• Těsná vazba (Tight Coupling): Podtřída je úzce spojena se svou nadtřídou. Změny v nadtřídě, i malé, mohou ovlivnit mnoho podtříd, což vyžaduje jejich úpravu nebo způsobuje chyby. To ztěžuje údržbu a rozvoj systému.
• Problém "diamantu" (Diamond Problem): Vzniká při vícenásobném dědění (které v Javě je zakázáno pro třídy, ale je možné v jiných jazycích). Pokud třída D dědí od B a C, a oba B a C dědí od A, vzniká při přístupu k členům A přes D nejasnost, pokud není specifikováno, kterou cestou (B nebo C) je třeba hledat.
• Porušení principu LSP (Liskov Substitution Principle): Dědící třída nemusí být vždy plně zaměnitelná s rodičovskou třídou bez změny správnosti programu. To může vést k neočekávanému chování a chybám.
• Křehká hierarchie základní třídy (Fragile Base Class Problem): Malé změny v základní třídě mohou vést k neočekávanému chování odvozených tříd, které závisely na detailech implementace základní třídy, i když tyto detaily nebyly součástí otevřené smlouvy.
• Omezená flexibilita: Třída může rozšiřovat pouze jinou třídu (jednoduché dědění). To omezuje možnost získat chování z více zdrojů. Rozhraní částečně řeší tento problém, ale úplně nenahrazuje funkčnost dědění implementace.
• Složitost porozumění: Hluboké hierarchie dědění mohou ztížit čtení a pochopení kódu. Pro určení konečného chování metody je třeba sledovat její implementaci napříč celou hierarchií.