Kodėl objektinio programavimo paveldėjimas gali būti trūkumas arba sukelti nepatogumų?

Paveldėjimas gali sukelti nepatogumų dėl šių priežasčių:

• Siaura susiejimas (Tight Coupling): Paveldu klasė yra glaudžiai susijusi su savo tėvų klase. Pakeitimai tėvų klasėje, net jei jie yra nedideli, gali paveikti daugelį paveldimų klasių ir reikalauti jų modifikacijos arba sukelti klaidas. Tai apsunkina sistemos palaikymą ir plėtrą.
• "Deimanto" problema (Diamond Problem): Kyla daugialypio paveldėjimo atveju (kuris Java yra draudžiamas klasėms, bet galimas kitose kalbose). Jei D klasė paveldi iš B ir C, o B ir C paveldi iš A, tada prieigos prie A narių per D metu kyla neaiškumų, nes nėra aišku, kuriuo keliu (B ar C) juos ieškoti.
• LSP (Liskov Substitution Principle) pažeidimas: Paveldinti klasė ne visada gali būti visiškai pakeičiama su tėvų klase be programos teisingumo pažeidimo. Tai gali sukelti netikėtą elgesį ir klaidas.
• Lūžusi ir hierarchija (Fragile Base Class Problem): Maži pakeitimai tėvų klasėje gali sukelti netikėtą elgesį paveldėjusiose klasėse, kurios priklauso nuo tėvų klasės įgyvendinimo detalių, net jei šios detalės nėra atviros sutarties dalis.
• Apribota lankstumas: Klasė gali išplėsti tik vieną kitą klasę (vienkartinis paveldėjimas). Tai riboja galimybę gauti elgesį iš kelių šaltinių. Interfeisai iš dalies sprendžia šią problemą, bet visiškai nepakeičia paveldėjimo funkcionalumo.
• Sunkumai suprasti: Giliai paveldėjimo hierarchijos gali padaryti kodą sunkiai skaitomą ir sudėtingą suprasti. Norint nustatyti galutinį metodo elgesį, reikia sekti jo įgyvendinimą per visą hierarchiją.

Dažnai pirmenybė teikiama kompozicijai prieš paveldėjimą, nes ji užtikrina didesnį lankstumą ir sumažina klasių tarpusavio susiejimą.