Zašto nasleđivanje u objektno-orijentisanom programiranju može biti nedostatak ili izazvati neprijatnosti?

Nasleđivanje može izazvati neprijatnosti iz sledećih razloga:

• Užičano povezivanje (Tight Coupling): Podklasa je usko povezana sa svojom superklasom. Promene u superklasi, čak i male, mogu uticati na mnoge podklase, zahtevajući njihovu modifikaciju ili izazivajući greške. To otežava održavanje i razvoj sistema.
• Problem "dijamanta" (Diamond Problem): Javlja se kod višestrukog nasleđivanja (koje je u Javi zabranjeno za klase, ali je moguće u drugim jezicima). Ako klasa D nasleđuje od B i C, a oba B i C nasleđuju od A, pristup članovima A preko D izaziva nejasnoću ako nije specificirano putem kojeg puta (B ili C) treba tražiti.
• Prekršaj LSP (Liskov Substitution Principle): Nasleđeni klasa ne može uvek biti potpuno zamenjiva sa roditeljskom klasom bez promene ispravnosti programa. To može dovesti do neočekivanog ponašanja i grešaka.
• Krcata hijerarhija osnovne klase (Fragile Base Class Problem): Male promene u osnovnoj klasi mogu dovesti do neočekivanog ponašanja u izvedenim klasama koje su zavisile od detalja implementacije osnovne klase, čak i ako ti detalji nisu deo otvorenog ugovora.
• Ograničena fleksibilnost: Klasa može proširiti samo jednu drugu klasu (jednostruko nasleđivanje). To ograničava mogućnost dobijanja ponašanja iz više izvora. Interfejsi delimično rešavaju ovaj problem, ali ne zamenjuju u potpunosti funkcionalnost nasleđivanja implementacije.
• Složenost razumevanja: Duboke hijerarhije nasleđivanja mogu učiniti kod teškim za čitanje i razumevanje. Za određivanje konačnog ponašanja metode, potrebno je pratiti njenu implementaciju kroz celu hijerarhiju.