In welke gevallen is erfelijkheid in programmeren nuttig en in welke kan het inefficiënt zijn?

Overerving is nuttig voor:

• Herbruikbaarheid van code: Gemeenschappelijke methoden en velden worden gedefinieerd in de basisklasse en geërfd door subklassen.
• Polymorfisme: Objecten van subklassen kunnen worden beschouwd als objecten van de basisklasse, waardoor een gemeenschappelijk interface voor verschillende implementaties mogelijk is.
• Het creëren van type-hiërarchieën: Modelleren van "is-een"-relaties tussen entiteiten.

Overerving kan inefficiënt of problematisch zijn in de volgende gevallen:

• Strakke koppeling (tight coupling): Wijzigingen in de basisklasse kunnen alle subklassen beïnvloeden, wat onderhoud en refactoring bemoeilijkt.
• Diamantprobleem (diamond problem): In talen met meervoudige overerving, wanneer twee klassen erven van een gemeenschappelijke basisklasse, en een derde klasse hiervan erft, ontstaat er ambiguïteit bij het aanroepen van methoden. (niet direct toepasbaar in Java/Kotlin, maar een conceptueel probleem in polymorfe hiërarchieën).
• Overschrijding van het LSP (Liskov Substitutieprincipe): Subklasse kan niet zonder meer worden gebruikt in plaats van de basisklasse zonder de correctheid van het programma te beïnvloeden. Vaak wijst dit op verkeerd gebruik van overerving.
• Bloat van de basisklasse (base class bloat): De basisklasse wordt te complex en bevat functies die slechts door sommige subklassen nodig zijn.
• Kwetsbaarheid van de basisklasse: Kleine wijzigingen in de basisklasse kunnen onzichtbaar het gedrag van subklassen breken.

Alternatieve benaderingen, zoals compositie ("heeft-een"-relaties) en interfaces, worden vaak als beter beschouwd dan overerving om flexibiliteit en losgekoppeldheid te bereiken.