نمط Pimpl

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

إن نمط Pimpl (المؤشر إلى التنفيذ - Pointer to Implementation) هو تقنية تخفي تفاصيل تنفيذ الفئة (class) عن طريق نقلها إلى فئة منفصلة ومصرح عنها مسبقاً (forward-declared). يقلل هذا من تبعيات التجميع (compilation dependencies) ويحافظ على الأعضاء الخاصين (private members) مخفيين تماماً عن ملف الرأس (header file).

الفكرة الأساسية بسيطة: بدلاً من التصريح عن private members مباشرة في الـ class الخاص بك، فإنك تقوم بالتصريح عن pointer إلى implementation class يتم تعريفه فقط في ملف المصدر:

// Widget.h
#include <memory>

class Widget {
public:
    Widget();
    ~Widget();
    void doSomething();
    
private:
    class Impl;  // إعلان مسبق (Forward declaration)
    std::unique_ptr<Impl> pImpl;
};

// Widget.cpp
#include "Widget.h"
#include <iostream>

class Widget::Impl {
public:
    int data = 42;
    void process() { std::cout << "Processing: " << data << "\n"; }
};

Widget::Widget() : pImpl(std::make_unique<Impl>()) {}
Widget::~Widget() = default;

void Widget::doSomething() { pImpl->process(); }

الفوائد الرئيسية هي جدار حماية التصريف (compilation firewall) و التوافق الثنائي (binary compatibility). عندما تقوم بتغيير فئة Impl، يحتاج ملف المصدر فقط إلى إعادة التصريف - وليس كل ملف يتضمن الترويسة (header). هذا يسرع أوقات البناء بشكل كبير في المشاريع الكبيرة.

لاحظ أن المدمر (destructor) يجب أن يتم تعريفه في ملف المصدر (حتى لو كان افتراضياً) لأن unique_ptr يحتاج إلى النوع الكامل لـ Impl ليتمكن من حذفه. هذا فخ شائع عند استخدام Pimpl لأول مرة.

التحدي

سهل

لنقم ببناء معالج رسائل آمن باستخدام نمط Pimpl لإخفاء تفاصيل تنفيذ التشفير عن ملف الرأس (header file). يوضح هذا كيف ينشئ Pimpl "جدار حماية للتجميع" (compilation firewall) — حيث لن يرى أي شخص يضمن ملف الرأس الخاص بك الآليات الداخلية لمعالجة الرسائل.

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

SecureMessage.h: حدد الواجهة العامة لفئة SecureMessage الخاصة بك.
يجب أن تحتوي فئتك على إعلان مسبق (forward-declared) لفئة Impl و std::unique_ptr يشير إليها. يجب أن تتضمن الواجهة العامة ما يلي:
- منشئ (constructor) يأخذ const std::string& للرسالة الأصلية
- مدمر (destructor) (يجب التصريح عنه هنا، وتعريفه في ملف .cpp)
- طريقة setKey(int key) لتعيين مفتاح التشفير
- طريقة getEncrypted() تعيد الرسالة المشفرة كـ std::string
- طريقة getOriginal() تعيد الرسالة الأصلية
يجب أن يظهر ملف الرأس الواجهة العامة فقط — لا ينبغي أن تكون أي تفاصيل تنفيذ حول كيفية عمل التشفير مرئية هنا.
SecureMessage.cpp: حدد فئة Impl المتداخلة وقم بتنفيذ جميع الطرق.
يجب أن تقوم فئة Impl بتخزين الرسالة الأصلية، ومفتاح التشفير (القيمة الافتراضية 0)، ومعالجة منطق التشفير الفعلي. استخدم شفرة سيزار (Caesar cipher) بسيطة للتشفير: قم بإزاحة كل حرف بمقدار قيمة المفتاح. على سبيل المثال، مع المفتاح 3، يصبح الحرف 'a' هو 'd'، ويلتف الحرف 'z' ليصبح 'c'.

يجب أن يؤثر التشفير فقط على الأحرف الصغيرة (a-z)، مع ترك جميع الأحرف الأخرى دون تغيير. تذكر تعريف المدمر هنا (حتى لو كان افتراضيًا) لأن unique_ptr يحتاج إلى نوع Impl الكامل.
main.cpp: اقرأ مدخلين:
1. سلسلة نصية للرسالة (قد تحتوي على مسافات)
2. مفتاح تشفير (عدد صحيح)
قم بإنشاء كائن SecureMessage، وعيّن المفتاح، واعرض النتائج:
1. اطبع Original: متبوعًا بالرسالة الأصلية
2. اطبع Encrypted: متبوعًا بالرسالة المشفرة

على سبيل المثال، مع المدخلات hello world و 3:

Original: hello world
Encrypted: khoor zruog

مع المدخلات xyz abc و 5:

Original: xyz abc
Encrypted: cde fgh

لاحظ كيف لا يكشف ملف الرأس أي شيء عن تنفيذ شفرة سيزار — هذه هي قوة Pimpl. إذا قمت لاحقًا بالتغيير إلى خوارزمية تشفير مختلفة، فسيحتاج ملف SecureMessage.cpp فقط إلى إعادة التجميع، وليس أي ملف يتضمن ملف الرأس.

ورقة مرجعية

يخفي نمط Pimpl (مؤشر إلى التنفيذ) تفاصيل التنفيذ عن طريق نقلها إلى فئة منفصلة يتم تعريفها فقط في ملف المصدر، مما يؤدي إلى إنشاء جدار حماية للتجميع.

الهيكل الأساسي مع التصريح المسبق (forward declaration) في الترويسة:

// Widget.h
#include <memory>

class Widget {
public:
    Widget();
    ~Widget();  // يجب التصريح عنه في الترويسة، وتعريفه في ملف .cpp
    void doSomething();
    
private:
    class Impl;  // تصريح مسبق
    std::unique_ptr<Impl> pImpl;
};

التنفيذ في ملف المصدر:

// Widget.cpp
#include "Widget.h"

class Widget::Impl {
public:
    int data = 42;
    void process() { /* التنفيذ */ }
};

Widget::Widget() : pImpl(std::make_unique<Impl>()) {}
Widget::~Widget() = default;  // يجب تعريفه في ملف .cpp

void Widget::doSomething() { pImpl->process(); }

نقاط رئيسية:

يجب تعريف المدمر (destructor) في ملف المصدر (حتى لو كان افتراضياً) لأن unique_ptr يحتاج إلى النوع الكامل لـ Impl لحذفه
التغييرات في Impl تتطلب فقط إعادة تجميع ملف المصدر، وليس الملفات التي تتضمن الترويسة
يوفر جدار حماية للتجميع و توافقاً ثنائياً

جرّب بنفسك

#include <iostream>
#include <string>
#include "SecureMessage.h"

int main() {
    // قراءة الرسالة (قد تحتوي على مسافات)
    std::string message;
    std::getline(std::cin, message);
    
    // قراءة مفتاح التشفير
    int key;
    std::cin >> key;
    
    // TODO: إنشاء كائن SecureMessage مع الرسالة
    
    // TODO: تعيين مفتاح التشفير
    
    // TODO: طباعة "Original: " متبوعة بالرسالة الأصلية
    
    // TODO: طباعة "Encrypted: " متبوعة بالرسالة المشفرة
    
    return 0;
}