ปัญหาเพชรในการสืบทอดหลายทางคืออะไร?

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 แก้ไขปัญหานี้อย่างกำหนดได้โดยใช้ **Method Resolution Order (MRO)** ผ่านการเชื่อมเชิงเส้น C3 และ `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 ที่มีลำดับการเชื่อมเชิงเส้นที่กำหนด