الدوال الافتراضية والـ VTable

جزء من قسم Object Oriented Programming في رحلة C++ على Coddy — الدرس 52 من 104.

الكلمة المفتاحية virtual تحل المشكلة التي رأيناها في الدرس السابق. فعندما تصرح عن دالة (method) كـ virtual، تحدد لغة C++ أي نسخة سيتم استدعاؤها بناءً على نوع الكائن الفعلي في وقت التشغيل (runtime)، وليس بناءً على نوع المؤشر (pointer).

class Animal {
public:
    virtual void speak() {
        std::cout << "Some sound" << std::endl;
    }
};

class Dog : public Animal {
public:
    void speak() override {
        std::cout << "Woof!" << std::endl;
    }
};

Dog d;
Animal* ptr = &d;
ptr->speak();  // الناتج: Woof!

الآن يتم استدعاء الطريقة الصحيحة! الكلمة المفتاحية override اختيارية ولكن يوصى بها. فهي تخبر المترجم (compiler) أنك تنوي تجاوز دالة افتراضية، مما يساعد في اكتشاف الأخطاء إذا لم تتطابق التواقيع.

كيف يعمل هذا؟ عندما تحتوي الفئة (class) على دوال افتراضية (virtual functions)، يقوم المترجم (compiler) بإنشاء جدول افتراضي (vtable). هذا جدول بحث مخفي يحتوي على مؤشرات (pointers) للدوال الافتراضية الخاصة بالفئة. يخزن كل كائن (object) يحتوي على دوال افتراضية مؤشرًا مخفيًا (vptr) إلى جدول الـ vtable الخاص بفئته.

عندما تستدعي دالة افتراضية (virtual function) من خلال مؤشر (pointer)، يبحث البرنامج عن عنوان الدالة الصحيح في الـ vtable في وقت التشغيل (runtime). يُسمى هذا الإرسال الديناميكي (dynamic dispatch). يضيف هذا عبئاً إضافياً صغيراً مقارنة باستدعاءات الدوال العادية، ولكنه يتيح سلوكاً قوياً لتعدد الأشكال (polymorphic behavior).

قاعدة مهمة واحدة: إذا كان الصنف (class) يحتوي على دالات افتراضية (virtual functions) وسيتم استخدامه كصنف أساسي (base class)، فيجب أن يكون المدمر (destructor) الخاص به افتراضياً أيضاً. يضمن ذلك عملية التنظيف السليمة عند حذف الكائنات المشتقة (derived objects) من خلال مؤشرات القاعدة (base pointers):

class Animal {
public:
    virtual ~Animal() {}  // مدمر افتراضي
    virtual void speak() {}
};

التحدي

سهل

لنقم ببناء نظام مشغل وسائط يوضح قوة الدوال الافتراضية (virtual functions) وتعدد الأشكال في وقت التشغيل (runtime polymorphism). ستقوم بإنشاء تسلسل هرمي لأنواع الوسائط حيث يتم تشغيل كل منها بشكل مختلف، وسترى كيف تمكن الدوال الافتراضية من تنفيذ السلوك الصحيح حتى عند الوصول إليها من خلال مؤشرات الفئة الأساسية (base class pointers).

ستقوم بتنظيم الكود الخاص بك عبر ثلاثة ملفات:

Media.h: قم بتعريف فئة أساسية Media تمثل أي وسائط قابلة للتشغيل:
- عضو محمي (protected) من نوع std::string title
- منشئ (constructor) يأخذ عنواناً ويقوم بتخزينه
- دالة virtual باسم play() تطبع: Playing media: <title>
- مُهدم افتراضي (virtual destructor) يطبع: Media [<title>] destroyed
AudioTrack.h: قم بتعريف فئة AudioTrack ترث علنًا من Media:
- عضو خاص (private) من نوع std::string artist
- منشئ يأخذ عنواناً وفناناً، ويمرر العنوان إلى الفئة الأساسية، ويخزن الفنان
- تجاوز (Override) للدالة play() باستخدام الكلمة المفتاحية override لطباعة: Playing audio: <title> by <artist>
- مُهدم يطبع: AudioTrack [<title>] destroyed
main.cpp: اقرأ ثلاثة مدخلات (كل منها في سطر منفصل):
1. عنوان المسار الصوتي (string)
2. اسم الفنان (string)
3. عنوان الفيديو (string)
قم بتعريف فئة VideoClip مباشرة في main.cpp ترث علنًا من Media:
- عضو خاص int duration (بالثواني)
- منشئ يأخذ عنواناً ومدة (اجعل المدة الافتراضية 120)
- تجاوز للدالة play() لطباعة: Playing video: <title> (<duration>s)
- مُهدم يطبع: VideoClip [<title>] destroyed
أنشئ مصفوفة من ثلاثة مؤشرات Media* داخل نطاق محدد (block scope). قم بالتخصيص الديناميكي لـ:
- كائن Media أساسي بالعنوان "Generic Media"
- كائن AudioTrack بالعنوان واسم الفنان المدخلين
- كائن VideoClip بعنوان الفيديو المدخل
قم بالمرور عبر المصفوفة واستدعاء play() على كل مؤشر. ثم احذف جميع الكائنات بترتيب عكسي. بعد انتهاء النطاق، اطبع: Playback complete!

على سبيل المثال، مع المدخلات Bohemian Rhapsody، و Queen، و Nature Documentary:

Playing media: Generic Media
Playing audio: Bohemian Rhapsody by Queen
Playing video: Nature Documentary (120s)
VideoClip [Nature Documentary] destroyed
Media [Nature Documentary] destroyed
AudioTrack [Bohemian Rhapsody] destroyed
Media [Bohemian Rhapsody] destroyed
Media [Generic Media] destroyed
Playback complete!

لاحظ كيف أن استدعاء play() من خلال مؤشرات Media* يستدعي دالة الفئة المشتقة الصحيحة بفضل الدوال الافتراضية. لاحظ أيضاً كيف يضمن المُهدم الافتراضي التنظيف السليم — حيث يتم تشغيل كل من مُهدم الفئة المشتقة والأساسية عند الحذف من خلال مؤشر الفئة الأساسية.

ورقة مرجعية

تُمكّن الكلمة المفتاحية virtual تعدد الأشكال في وقت التشغيل (runtime polymorphism) من خلال تحديد الطريقة التي سيتم استدعاؤها بناءً على نوع الكائن الفعلي، وليس نوع المؤشر:

class Animal {
public:
    virtual void speak() {
        std::cout << "Some sound" << std::endl;
    }
};

class Dog : public Animal {
public:
    void speak() override {
        std::cout << "Woof!" << std::endl;
    }
};

Dog d;
Animal* ptr = &d;
ptr->speak();  // Output: Woof!

تعتبر الكلمة المفتاحية override اختيارية ولكن يُوصى بها. فهي تخبر المترجم أنك تنوي تجاوز دالة افتراضية، مما يساعد في اكتشاف الأخطاء إذا لم تتطابق تواقيع الدوال.

كيفية عمل الدوال الافتراضية: يقوم المترجم بإنشاء جدول افتراضي (vtable) يحتوي على مؤشرات للدوال الافتراضية للفئة. يخزن كل كائن يحتوي على دوال افتراضية مؤشراً مخفياً (vptr) إلى جدول vtable الخاص بفئته. عند استدعاء دالة افتراضية من خلال مؤشر، يبحث البرنامج عن عنوان الدالة الصحيح في vtable في وقت التشغيل. يسمى هذا الإرسال الديناميكي (dynamic dispatch).

المدمرات الافتراضية (Virtual destructors): إذا كانت الفئة تحتوي على دوال افتراضية وسيتم استخدامها كفئة أساسية، فيجب أن يكون المدمر الخاص بها افتراضياً أيضاً. يضمن ذلك التنظيف السليم للموارد عند حذف الكائنات المشتقة من خلال مؤشرات الفئة الأساسية:

class Animal {
public:
    virtual ~Animal() {}  // مدمر افتراضي
    virtual void speak() {}
};

جرّب بنفسك

#include <iostream>
#include <string>
#include "Media.h"
#include "AudioTrack.h"

using namespace std;

// TODO: قم بتعريف فئة VideoClip هنا التي ترث بشكل علني من Media
// - عضو int duration خاص (بالثواني)
// - يأخذ المنشئ title و duration (القيمة الافتراضية لـ duration هي 120)
// - قم بتجاوز play() لطباعة: Playing video: <title> (<duration>s)
// - يقوم المدمر بطباعة: VideoClip [<title>] destroyed

class VideoClip : public Media {
private:
    int duration;

public:
    // TODO: قم بتنفيذ المنشئ
    VideoClip(const std::string& t, int d = 120) : Media(t) {
        // TODO: قم بتخزين duration
    }

    // TODO: قم بتجاوز دالة play()
    void play() override {
        // TODO: قم بتنفيذ هذه الدالة
    }

    // TODO: قم بتنفيذ المدمر
    ~VideoClip() {
        // TODO: قم بتنفيذ هذا المدمر
    }
};

int main() {
    // قراءة المدخلات
    string audioTitle;
    string artist;
    string videoTitle;
    
    getline(cin, audioTitle);
    getline(cin, artist);
    getline(cin, videoTitle);

    // TODO: قم بإنشاء نطاق كتلة (block scope) باستخدام الأقواس المتعرجة
    // داخل الكتلة:
    // 1. قم بإنشاء مصفوفة من ثلاثة مؤشرات Media*
    // 2. قم بالتخصيص الديناميكي لـ:
    //    - كائن Media أساسي بالعنوان "Generic Media"
    //    - كائن AudioTrack بالعنوان والفنان المدخلين
    //    - كائن VideoClip بعنوان الفيديو المدخل
    // 3. قم بالمرور عبر المصفوفة واستدعاء play() على كل مؤشر
    // 4. قم بحذف جميع الكائنات بترتيب عكسي

    // TODO: بعد الكتلة، اطبع: Playback complete!
    
    return 0;
}