พหุรูปคืออะไร?

Question

พหุรูปคืออะไร?

Accepted Answer

**พหุรูป** ("หลายรูปแบบ") ช่วยให้อินเทอร์เฟซเดียวทำงานกับประเภทพื้นฐานที่แตกต่างกัน *การเรียกเดียวกัน* รันโค้ดที่*แตกต่างกัน*ขึ้นอยู่กับวัตถุจริง — เลือกในเวลาทำงาน นี่คือ**พหุรูปประเภทย่อย**

## การเรียกเดียว พฤติกรรมหลายแบบ

```java
class Animal { String speak() { return "..."; } }
class Dog extends Animal { String speak() { return "Woof"; } }
class Cat extends Animal { String speak() { return "Meow"; } }

Animal[] zoo = { new Dog(), new Cat() };
for (Animal a : zoo) {
    System.out.println(a.speak());   // Woof, then Meow
}                                    // same call, different result per type
```

ลูปเรียก `a.speak()` โดยไม่สนใจว่าเป็นสัตว์ตัวไหน — เวลาทำงานจะส่งไปยังการแทนที่ที่ถูกต้อง

## ทำไมมันจึงมีประสิทธิ์

คุณสามารถเพิ่มประเภทย่อย `Animal` ใหม่ในภายหลัง และลูปด้านบนยังคงทำงานได้ด้วย**การเปลี่ยนแปลงเป็นศูนย์** โค้ดขึ้นอยู่กับประเภทนามธรรม ไม่ใช่คลาสที่เป็นรูปธรรม

```text
caller → Animal.speak()  ──dispatch──▶  Dog.speak()  OR  Cat.speak()
            (one interface)                  (many implementations)
```

## ข้อเสีย

อย่าสับสนกับการโอเวอร์โหลด (ชื่อเมธอดเดียวกัน *พารามิเตอร์ที่*แตกต่างกัน ตัดสินใจในเวลาคอมไพล์) พหุรูปที่แท้จริง (ประเภทย่อย) ตัดสินใจในเวลาทำงาน*ตามวัตถุ

## ทำไมมันจึงสำคัญ

พหุรูปคือสิ่งที่ทำให้ OOP สามารถขยายได้: พฤติกรรมใหม่มาเป็นคลาสใหม่ ไม่ใช่การแก้ไขที่กระจายตัวอยู่ในห่วงโซ่ `if/else`

นี่คือกลไกเบื้องหลัง Open/Closed Principle และรูปแบบการออกแบบส่วนใหญ่ — คุณเขียนโปรแกรมไปยังอินเทอร์เฟซและปล่อยให้เวลาทำงานเลือกการใช้งาน