Дар кадом ҳолатҳо меросхӯрӣ дар барномасозӣ муфид аст ва дар кадом ҳолатҳо метавонад самаранок набошад?

Меросхоблик метавонад барои:

• Истифодаи такрорӣ кардани коди: Методҳо ва майдонҳои умумӣ дар синфи асосӣ муайян карда мешаванд ва дар субсинфҳо мерос мегиранд.
• Полиморфизм: Объектҳои субсинфҳоро метавон ҳамчун объектҳои синфи асосӣ ҳисоб кард, ки имкон медиҳад, ки интерфейси умумӣ барои иҷроишҳои гуногун истифода шавад.
• Эҷоди хирархияҳои намуд: Моделсозии муносибатҳои "ист" байни объектҳо.

Мерос метавонад дар ҳолатҳои зерин самаранок ё мушкил бошад:

• Таносуби сахт (tight coupling): Тағйирот дар синфи асосӣ метавонад ба ҳамаи субсинфҳо таъсир расонад, ки нигоҳдорӣ ва рефакторингро душвор месозад.
• Масъалаи нороҳатии диамант (diamond problem): Дар забонҳои бо мероси бисёр, вақте ки ду синф аз як синфи асосӣ мерос мегиранд ва синфи сеюм аз онҳо, дар вақти даъвати методҳо номуайянӣ пайдо мешавад. (ба таври мустақим дар Java/Kotlin татбиқ намешавад, аммо мушкили назариявӣ дар хирархияҳои полиморфӣ мебошад).
• Қаллобӣ аз принсипи LSP (Liskov Substitution Principle): Субсинф наметавонад дар ҷойи синфи асосӣ истифода шавад, бе тағир додани дурустии барнома. Ин одатан нишон медиҳад, ки истифодаи нодуруст аз мерос.
• Буридани синфи асосӣ (bloat): Синфи асосӣ хеле мураккаб мешавад ва функсияҳое дорад, ки танҳо баъзе субсинфҳо ниёз доранд.
• Камбуди синфи асосӣ: Тағйироти хурд дар синфи асосӣ метавонанд ба таври ғайриинтизор рафтори субсинфҳоро вайрон кунанд.

Роҳи алтернативӣ, ба монанди таркиб ("дор"-и муносибатҳо) ва интерфейсҳо, одатан барои ба даст овардани чандирӣ ва камтар бо ҳам пайваст шудан, афзалтар аст.