複数の継承

言語によって、こうした継承の繰り返しという問題に対処する方法は異なる。

• C# (C# 8.0 以降) では、デフォルトのインターフェイス メソッドの実装が許可されているため、Aインターフェイスを実装しIa、Ib同様のメソッドにデフォルト実装を持つクラスでは、同じシグネチャを持つ 2 つの「継承」メソッドを持つことになり、ダイヤモンド問題が発生します。この問題はA、メソッド自体を実装することを要求して曖昧さをなくすか、呼び出し元にAオブジェクトを適切なインターフェイスにキャストさせてそのメソッドのデフォルト実装を使用させる (例: ((Ia) aInstance).Method();) ことで軽減されます。
• C++はデフォルトでは各継承パスを別々に追跡します。したがって、ダイヤモンド問題の場合、Dオブジェクトには実際には 2 つの別々のAオブジェクトが含まれることになり、のメンバーの使用は適切に修飾する必要があります。からへAの継承とからへの継承の両方が " " (たとえば " ") とマークされている場合、C ++は1 つのオブジェクトのみを作成するように特別に注意し、のメンバーの使用は正しく機能します。仮想継承と非仮想継承が混在している場合、仮想の が 1 つと、への各非仮想継承パスに対して非仮想の が 1 つ存在します。C++ では、使用する機能がどの親クラスから呼び出されるかを明示的に指定する必要があります。つまり、です。C++ は、どのスーパークラスを使用するかを修飾する方法がないため (つまり、クラスが単一の派生リスト [ ] に複数回出現する)、明示的な繰り返し継承をサポートしていません。C++ では、仮想継承メカニズムを介して複数のクラスの単一のインスタンスを作成することもできます (つまり、とが同じオブジェクトを参照します)。ABACvirtualclass B : virtual public AAAAAAWorker::Human.ageclass Dog : public Animal, AnimalWorker::HumanMusician::Human
• Common Lisp CLOS は、妥当なデフォルト動作とそれをオーバーライドする機能の両方を提供しようとしています。簡単に言うと、デフォルトでは、D,B,C,Aクラス定義で B が C より前に記述されている場合、メソッドは でソートされます。最も具体的な引数クラスを持つメソッドが選択され (D>(B,C)>A)  、次にサブクラス定義で親クラスが命名されている順序 (B>C) で選択されます。ただし、プログラマは、特定のメソッド解決順序を指定したり、メソッドの組み合わせに関するルールを宣言したりすることで、これをオーバーライドできます。これはメソッドの組み合わせと呼ばれ、完全に制御できます。MOP (メタオブジェクトプロトコル) は、システムの安定性に影響を与えることなく、継承、動的ディスパッチ、クラスインスタンス化、およびその他の内部メカニズムを変更する手段も提供します。
• Curlでは、明示的に共有クラスとしてマークされたクラスのみが繰り返し継承できます。共有クラスは、クラス内の各通常コンストラクタに対してセカンダリコンストラクタを定義する必要があります。通常コンストラクタは、サブクラスのコンストラクタによって共有クラスの状態が最初に初期化されたときに呼び出され、セカンダリコンストラクタは他のすべてのサブクラスに対して呼び出されます。
• Eiffelでは、祖先の機能は select および rename ディレクティブによって明示的に選択されます。これにより、基底クラスの機能を子孫間で共有したり、それぞれに基底クラスの個別のコピーを与えたりすることができます。Eiffel では、祖先クラスから継承した機能を明示的に結合または分離することができます。Eiffel は、同じ名前と実装を持つ機能を自動的に結合します。クラス作成者は、継承した機能を分離するために名前を変更するオプションがあります。多重継承は Eiffel 開発でよく見られる現象です。たとえば、広く使用されている EiffelBase データ構造およびアルゴリズムライブラリのほとんどの有効なクラスは、2 つ以上の親を持っています。^{[ 7 ]}
• Go はコンパイル時にダイヤモンド問題を防止します。構造体がD2 つの構造体 と を埋め込みB、C両方の構造体がメソッド を持ちF()、インターフェース を満たす場合、 が呼び出されたとき、または のインスタンスが型の変数に代入されたときに、Aコンパイラは「あいまいなセレクタ」について警告します。とのメソッドは、または で明示的に呼び出すことができます。D.F()DABCD.B.F()D.C.F()
• Java 8 では、インターフェースにデフォルト メソッドが導入されました。A、BおよびCがインターフェースである場合、Bおよび はそれぞれ の抽象メソッドに対してC異なる実装を提供できるため、ダイヤモンド問題が発生します。 どちらのクラスもメソッドを再実装する必要があります ( の本体は、呼び出しをスーパークラスの実装のいずれかに転送するだけで済みます)。そうでない場合、曖昧さはコンパイル エラーとして拒否されます。^{[ 8 ]} Java 8 より前は、インターフェースのデフォルト メソッドが利用できなかったため、Java はダイヤモンド問題のリスクにさらされていませんでした。現在の最新バージョン 26 までのすべての Java バージョンは、多重継承を直接サポートしていません。クラスは単一のクラスのみを継承できますが、デフォルト メソッドを持つ複数のインターフェースを実装できます。AD
• JavaFX Scriptバージョン 1.2 では、ミックスインを使用して多重継承が可能です。競合が発生した場合、コンパイラは曖昧な変数または関数の直接使用を禁止します。継承された各メンバーには、オブジェクトを対象のミックスインにキャストすることでアクセスできます(individual as Person).printInfo();。例:
• Kotlinではインターフェースの多重継承が可能ですが、ダイヤモンド問題シナリオでは、子クラスは継承競合を引き起こすメソッドをオーバーライドし、どの親クラスの実装を使用するかを指定する必要があります。例： super<ChosenParentInterface>.someMethod()
• Logtalkは、インターフェースと実装の両方の多重継承をサポートしており、デフォルトの競合解決メカニズムによってマスクされるメソッドに対して、名前変更とアクセスを提供するメソッドエイリアスの宣言を可能にします。
• OCamlでは、親クラスはクラス定義の本体内で個別に指定されます。メソッド（および属性）は同じ順序で継承され、新しく継承されたメソッドは既存のメソッドを上書きします。OCamlは、曖昧さがある場合、クラス継承リストの最後に一致する定義を選択して、使用するメソッド実装を決定します。デフォルトの動作を上書きするには、メソッド呼び出しに目的のクラス定義を付加するだけです。
• Perl では、継承元のクラスのリストを順序付きリストとして使用します。コンパイラは、スーパークラス リストの深さ優先探索またはクラス階層のC3 線形化を使用して、最初に見つかったメソッドを使用します。さまざまな拡張機能により、代替のクラス構成スキームが提供されます。継承の順序はクラスのセマンティクスに影響します。上記の曖昧さでは、クラスBとその祖先がクラスとその祖先よりも先にチェックされるCため、のメソッドはをA介して継承されます。これはIoおよびPicolispBと共通です。Perl では、この動作は、または他のモジュールを使用してC3 線形化または他のアルゴリズムを使用することでオーバーライドできます。^{[ 9 ]}mro
• Python はPerl と同じ構造を持っていますが、Perl とは異なり、それを言語の構文に含めています。継承の順序はクラスの意味に影響します。Python は、すべて共通の祖先である新しいスタイルのクラスの導入時にこれに対処する必要がありました。Python は、 C3 線形化object(またはメソッド解決順序 (MRO)) アルゴリズムを使用してクラスのリストを作成します。このアルゴリズムは、2 つの制約を強制します。子は親より先に存在し、クラスが複数のクラスから継承している場合は、基底クラスのタプルで指定された順序で保持されます (ただし、この場合、継承グラフの上位にある一部のクラスは、グラフの下位にあるクラスより先に存在することができます[ ^{10 ] )}。したがって、メソッド解決順序は、、、、となります^{[ 11 ]}DBCA
• Rubyクラスは親モジュールを1つだけ持ちますが、複数のモジュールから継承することもできます。Rubyクラスの定義は実行され、メソッドの（再）定義は、実行時に既存の定義を上書きします。ランタイムメタプログラミングがない場合、これは右端優先探索とほぼ同じ意味を持ちます。
• Scala では、トレイトの複数インスタンス化が可能で、クラス階層とトレイト階層を区別することで多重継承が可能になります。クラスは単一のクラスからしか継承できませんが、必要なだけトレイトをミックスインできます。Scala は、拡張された「トレイト」の右優先深さ優先検索を使用してメソッド名を解決し、結果のリスト内の各モジュールの最後の出現以外をすべて削除します。したがって、解決順序は [ D, C, A, B, ] であり、これは [ , , , ]Aに縮小されます。DCBA
• Tclでは複数の親クラスが許可されており、クラス宣言における指定の順序は、C3線形化アルゴリズムを使用したメンバーの名前解決に影響します。^{[ 12 ]}

クラスが 1 つの基底クラスからのみ派生できる単一継承のみを許可する言語には、ダイヤモンド問題はありません。その理由は、このような言語では、メソッドの繰り返しや配置に関係なく、継承チェーンのどのレベルでもメソッドの実装が最大 1 つしかないためです。通常、これらの言語では、クラスが複数のプロトコルを実装できます。Java では、インターフェースと呼ばれます。これらのプロトコルはメソッドを定義しますが、具体的な実装は提供しません。この戦略は、 ActionScript、C#、D、Java、Nemerle、Object Pascal、Objective-C、Smalltalk、Swift、PHPで使用されています。^{[ 13 ]}これらの言語はすべて、クラスが複数のプロトコルを実装することを許可しています。

さらに、Ada、C#、Java、Object Pascal、Objective-C、Swift、PHPでは、インターフェース（Objective-CとSwiftではプロトコルと呼ばれる）の多重継承が可能です。インターフェースは、動作を実装せずにメソッドシグネチャを指定する抽象基底クラスのようなものです。（Javaバージョン7までの「純粋な」インターフェースでは、インターフェースに実装やインスタンスデータを含めることはできません。）ただし、複数のインターフェースが同じメソッドシグネチャを宣言している場合でも、継承チェーンのどこかでそのメソッドが実装（定義）されると、その上位のチェーン（スーパークラス）にあるそのメソッドの実装はすべて上書きされます。したがって、継承チェーンのどのレベルでも、メソッドの実装は最大で1つしか存在できません。そのため、単一継承のメソッド実装では、インターフェースの多重継承があっても、ダイヤモンド問題は発生しません。Java 8とC# 8でインターフェースのデフォルト実装が導入されたことで、ダイヤモンド問題が発生する可能性は依然としてありますが、これはコンパイル時エラーとしてのみ表示されます。