مفهوم الـ Opaque Pointers

حتى الآن، عندما نقوم بتعريف struct في ملف رأس (header file)، يمكن لأي شخص يقوم بتضمين ذلك الرأس رؤية جميع أعضائه والوصول إليها مباشرة. هذا يكسر مبدأ التغليف (encapsulation) — وهو المبدأ القائل بإخفاء التفاصيل الداخلية عن الكود الخارجي.

توفر لغة C تقنية قوية تسمى المؤشرات غير الشفافة (opaque pointers) لحل هذه المشكلة. الفكرة بسيطة: صرّح بأن الـ struct موجود في ملف الرأس (header)، ولكن لا تكشف عما بداخله. يتم ذلك باستخدام نوع غير مكتمل (incomplete type):

// wallet.h
typedef struct Wallet Wallet;  // تصريح فقط - بدون محتوى!

Wallet *create_wallet(int initial_balance);
void free_wallet(Wallet *w);

لاحظ عدم وجود أقواس متعرجة - فنحن لا نحدد أبدًا ما يحتويه Wallet. يعرف المترجم أن النوع موجود، ولكن ليس حجمه أو أعضاءه. وهذا يعني أن الكود الذي يتضمن هذا الـ header لا يمكنه العمل إلا مع مؤشرات (pointers) إلى Wallet، وليس مع الـ struct نفسه مباشرةً.

لماذا يهم هذا؟ لأن تعريف الـ struct الفعلي يظل مخفياً في ملف الـ .c، فإن أي كود يستخدم ملف الترويسة (header) الخاص بك لا يمكنه كتابة w->balance أو sizeof(Wallet). يجب عليهم استخدام الدوال التي توفرها. أنت تتحكم في كل عمليات الوصول إلى البيانات، ويمكنك تغيير الهيكل الداخلي لاحقاً دون كسر أي كود يعتمد على ملف الترويسة الخاص بك.

في الدرس القادم، ستتدرب على تعريف جسم الـ struct الفعلي داخل ملف المصدر، مكملاً بذلك نمط المؤشر المعتم (opaque pointer pattern).