多重継承におけるダイヤモンド問題とは何ですか?

Question

Accepted Answer

**ダイヤモンド問題**は、あるクラスが共通の祖先を持つ2つのクラスから継承する場合に発生し、曖昧性が生じます。両方の中間クラスがメソッドをオーバーライドしている場合（またはフィールドを保持している場合）、下位のクラスはどちらのバージョンを取得するのでしょうか?

## ダイヤモンド

```text
        A  (defines greet())
       / \
      B   C   (each may override greet())
       \ /
        D   ← inherits from B and C: which greet()?
```

## Python（多重継承を許可）

```python
class A:
    def greet(self): return "A"
class B(A):
    def greet(self): return "B"
class C(A):
    def greet(self): return "C"
class D(B, C):                  # multiple inheritance
    pass

print(D().greet())             # "B"  — resolved by MRO, not ambiguous
print(D.__mro__)               # D → B → C → A → object  (C3 linearization)
```

PythonはC3線形化を使用した**メソッド解決順序（MRO）**で決定論的に解決し、`super()`がその順序と協調します。

## 言語がこれを処理する方法

| 言語 | アプローチ |
|---|---|
| C++ | これを許可します。曖昧性はコンパイルエラーです。修飾するか、`virtual`継承を使用して1つのベースを共有する場合を除きます |
| Java/C# | **禁止**複数クラス継承。複数の*インターフェース*を許可（状態がないため、データのダイヤモンドはありません） |
| Python | これを許可します。MRO（C3）で解決 |
| Scala | **Traits**定義された線形化順序で |

## 落とし穴

MROがあっても、*状態*の多重継承は急速に複雑になります — 重複したベース初期化、驚くべき`super()`チェーン。インターフェース/traits（動作、状態ではない）はほとんどの問題を回避します。

## なぜ重要なのか

これは言語設計の主要な分岐を説明しています。JavaとC#はこの曖昧性を避けるために複数クラス継承を明確に禁止し、代わりにインターフェースを提供しています。

MROを理解することはPythonで実用的です。協調的な`super()`とミックスイン順序は、ダイヤモンドがどのように線形化されるかを見たときにのみ意味があります。

言語	アプローチ
C++	これを許可します。曖昧性はコンパイルエラーです。修飾するか、`virtual`継承を使用して1つのベースを共有する場合を除きます
Java/C#	禁止複数クラス継承。複数のインターフェースを許可（状態がないため、データのダイヤモンドはありません）
Python	これを許可します。MRO（C3）で解決
Scala	Traits定義された線形化順序で