ما هو تعدد الأشكال (Polymorphism)؟

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)
```

## المزلة

لا تخلط بينه وبين الحمل الزائد (نفس اسم الدالة، *معاملات* مختلفة، يتم حلها في وقت الترجمة). تعدد الأشكال الحقيقي (من نوع فرعي) يتم حله في *وقت التشغيل* بناءً على الكائن.

## لماذا يهم

تعدد الأشكال هو ما يجعل البرمجة الموجهة للكائنات قابلة للتوسع: السلوك الجديد يصل كفئة جديدة، وليس كتعديلات متناثرة في سلاسل `if/else`.

إنها الآلية وراء مبدأ Open/Closed وأغلب أنماط التصميم — تبرمج للواجهة والعملية يختار التطبيق.