Vícenásobná dědičnost

Různé programovací jazyky mají různé způsoby jak se vypořádat s problémy souvisejícími s mnohonásobnou dědičností.

• C++ defaultně pohlíží na společného předka A jako na dva rozdílné. Tedy předek třídy B je z tohoto pohledu úplně jiná třída A než třída A jakožto předek třídy C. Pokud dědičnost ze třídy A do obou tříd B i C je deklarována jako virtuální pak C++ vytvoří pouze jeden objekt A a zajistí jeho správné používání. Pokud jsou virtuální a nevirtuální dědičnosti namíchány, pak C++ vytvoří společný jeden objekt A pro virtuální dědičnost a jeden pro každou nevirtuální. Při volání metod musíme v C++ explicitně určit, která rodičovská třída bude při volání použita.

• Java od verze Java 8 zavedla výchozí metodu pro interface (rozhraní). Když tedy interface B a C jsou potomky interface A a oba implementují jeho abstraktní metodu. Třída D, která implementuje („je potomkem“) B a C musí poskytovat vlastní implementaci dané metody, jinak vznikne chyba při překladu. Implementovat takovou metodu také může znamenat pohopouhé zavolání super metody. Tedy jedné z výchozích metod z interface B nebo C nebo obě dvě. Předchozí verze Javy nebyly vystaveny diamantovému problému, protože Java podporovala pouze jednonásobnou dědičnost. Se zavedením výchozích metod do interfejsů ve verzi 8 tak nově v Javě může vzniknout kolize implementace. Java překladač však obsahuje určitá pravidla, která brání vzniku diamantového problému. Například, pokud dědíte implementaci ze třídy a zároveň z interface, má přednost ta ze třídy. Pokud třída implementuje interface B, který překrývá metodu z interface A, pro třídu se použije ta bližší implementace, tedy z interface B.

• JavaFX Script od verzi 1.2 podporuje mnohonásobnou dědičnost prostřednictvím koncepce mixin. Pokud se objeví konflikt, překladač nepovolí použití přímého zdědění proměnné nebo metody. Na každého „předka“ takové třídy se můžeme odkázat pomocí přetypování objektu na daný typ. Například (individual as Person).printInfo();

• Scala podporuje princip vícenásobné dědičnosti pomocí trait, které umožňují mnohonásobnou dědičnost přidáním odlišností mezi hierarchií tříd a hierarchií traitů. Třída může dědit pouze z jedné třídy, ale může provést mixin traitů podle potřeby. Scala řeší kolizi jmen metod pravidlem – upřednostňuje dědění zprava a z hlubších (bližších) tříd přičemž redukuje nadbytečnosti. Takže v našem příkladu by výsledkem bylo pořadí: [D, C, A, B, A], které se posléze zredukuje na [D, C, B, A].

• Ruby třídy mají právě jednoho rodiče, ale mohou zároveň dědit z více modulů. To znamená, že mnohonásobná dědičnost jako taková sice v Ruby podporována není, ale používá mixin, čímž velmi elegantně obchází diamantový problém.

• Common Lisp nabízí implicitní řešení, ale ponechává programátorovi možnost, toto chování přepsat podle individuálních potřeb. Ve výchozím stavu se volají metody podle toho, v jakém pořadí jsou rodičovské třídy napsány v definici potomka. Programátor však může toto chování přepsat, tím, že určí přesné pořadí pro jednotlivé metody nebo stanoví pravidla pro kombinování metod. Pro řízení dědičnosti lze rovněž použít prostředky jako MOP (metaobject protocol), dynamický výběr a další vnitřní mechanizmy bez ohrožení stability systému.

• Perl používá seznam, podle kterého určuje, jakým způsobem bude dědění probíhat. Překladač upřednostňuje dědění z hlubších (bližších) tříd a použije první metodu, kterou najde. Pořadí, ve kterém jsou rodičovské třídy zapsány, tedy ovlivňuje sémantiku třídy potomka. Změníme-li tedy pořadí zápisu rodičovských tříd, změní se nám struktura schématu rodičovských tříd. V ukázkovém příkladu by třída B byla prohlížena před třídou C což by fakticky znamenalo, že metody a atributy ze třídy A jsou děděny prostřednictvím B. Pro Perl platí, že můžeme toto výchozí nastavení přepsat pomocí C3 linearizace od verze 5. A od verze 6 má již C3 linearizace přednost před těmito pravidly.

• Python má stejnou strukturu jako Perl. Sémantika třídy je rovněž ovlivněna pořadím zápisu rodičovských tříd. Na rozdíl od něj však řešení problémů vícenásobné dědičnosti podporuje přímo v syntaxi jazyka. Python se s tímto vypořádal pomocí tříd nového typu, které všechny mají shodného předka třídu Object. Python vytváří seznam tříd za použití C3 linearizačního algoritmu. Tento algoritmus zajistí dvě podmínky: potomek uvádí svého předka a když třída dědí z více tříd je dbáno na pořadí. V našem případě by tedy pořadí tříd bylo: D, B, C, A.

Jazyky, které používají pouze jednoduchou dědičnost, tedy takové, kde třída může dědit pouze z jednoho předka, nemusí diamantový problém vůbec řešit. Důvodem pro to je, že takové jazyky mají nejvýše jedinou implementaci jakékoliv metody na jakékoliv úrovni dědičnosti bez ohledu na opakování nebo umístění metod. Je běžné, že tyto jazyky dovolují, aby třídy byly implementovány rozhraními (interface). Interface obsahuje deklaraci metod, ale již ne jejich implementaci. Tento přístup používá například ActionScript, C#, D, Java, Nemerle, Object Pascal (Delphi), Objective-C, Smalltalk, Swift a další. Kromě Smalltalku dovolují všechny zmíněné jazyky mnohonásobnou implementaci rozhraní.