Waarom kan erfenis in objectgeoriënteerd programmeren een nadeel zijn of ongemakken veroorzaken?

Erfelijkheid kan ongemakken veroorzaken om de volgende redenen:

• Strakke koppeling (Tight Coupling): De subklasse is nauw verbonden met zijn superklasse. Wijzigingen in de superklasse, zelfs kleine, kunnen veel subklassen beïnvloeden, waardoor ze moeten worden aangepast of fouten veroorzaken. Dit bemoeilijkt het onderhoud en de ontwikkeling van het systeem.
• Het "diamant"-probleem (Diamond Problem): Voorkomt bij meervoudige overerving (die in Java verboden is voor klassen, maar mogelijk in andere talen). Als klasse D erft van B en C, en beide B en C erft van A, ontstaat er ambiguïteit bij toegang tot leden van A via D, tenzij wordt gespecificeerd via welk pad (B of C) ze moeten worden gezocht.
• Overschrijding van het LSP (Liskov Substitutieprincipe): De afgeleide klasse kan niet altijd volledig worden uitgewisseld met de basisklasse zonder de correctheid van het programma te beïnvloeden. Dit kan leiden tot onverwacht gedrag en fouten.
• Fragiele basisklasse (Fragile Base Class Problem): Kleine wijzigingen in de basisklasse kunnen leiden tot onverwacht gedrag in afgeleide klassen die afhankelijk waren van implementatiedetails van de basisklasse, zelfs als deze details geen deel uitmaakten van het open contract.
• Beperkte flexibiliteit: Een klasse kan slechts één andere klasse uitbreiden (enkelvoudige overerving). Dit beperkt de mogelijkheid om gedrag van meerdere bronnen te verkrijgen. Interfaces lossen dit probleem gedeeltelijk op, maar vervangen niet volledig de functionaliteit van implementatie-overerving.
• Complexiteit van begrip: Diepe overervingshiërarchieën kunnen de code moeilijk leesbaar en te begrijpen maken. Om het uiteindelijke gedrag van een methode te bepalen, moet je de implementatie ervan volgen door de hele hiërarchie.