多重继承中的菱形问题是什么？

Question

多重继承中的菱形问题是什么？

Accepted Answer

**菱形问题**出现在当一个类从两个拥有共同祖先的类继承时，这会产生歧义：如果两个中间类都重写了一个方法（或持有一个字段），那么底部的类会得到哪个版本？

## 菱形结构

```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` 继承来共享一个基类 |
| Java/C# | **禁止**多重类继承；允许多个 *接口*（无状态，因此不会产生数据菱形） |
| Python | 允许多重继承；通过 MRO (C3) 解决 |
| Scala | **Traits** 具有定义好的线性化顺序 |

## 陷阱

即使有 MRO，*状态*的多重继承也会很快变得令人困惑 — 重复的基类初始化、令人惊讶的 `super()` 调用链。接口/traits（行为，非状态）可以避免大多数问题。

## 为什么这很重要

它解释了一个主要的语言设计分歧：Java 和 C# 特意禁止多重类继承以避免这种歧义，转而提供接口。

理解 MRO 在 Python 中很实用：协作型 `super()` 和 mixin 排序只有在你看到菱形如何被线性化后才有意义。

语言	方式
C++	允许多重继承；歧义会导致编译错误，除非你进行明确修饰，或使用 `virtual` 继承来共享一个基类
Java/C#	禁止多重类继承；允许多个接口（无状态，因此不会产生数据菱形）
Python	允许多重继承；通过 MRO (C3) 解决
Scala	Traits 具有定义好的线性化顺序