RAII كنمط

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

RAII (Resource Acquisition Is Initialization) أكثر من مجرد اصطلاح في C++؛ فهو نمط تصميم قوي يربط إدارة الموارد بعمر الكائن. لقد رأيت RAII من قبل مع المؤشرات الذكية، لكن هذا النمط ينطبق على أي مورد: مقابض file، network connections، كائنات mutex، أو معاملات قواعد البيانات.

الفكرة الأساسية بسيطة: acquire للموارد في constructor، وتحريرها في المدمّر. وبما أن C++ يضمن تشغيل المدمّرات عندما تخرج الكائنات من النطاق، يحدث التنظيف تلقائيًا - حتى عند حدوث الاستثناءات:

#include <iostream>
#include <fstream>

class FileGuard {
    std::ofstream file;
public:
    FileGuard(const std::string& filename) : file(filename) {
        if (!file.is_open()) {
            std::cout << "Failed to open file\n";
        }
    }
    
    void write(const std::string& text) {
        if (file.is_open()) file << text;
    }
    
    ~FileGuard() {
        if (file.is_open()) {
            file.close();
            std::cout << "File closed automatically\n";
        }
    }
};

int main() {
    {
        FileGuard guard("output.txt");
        guard.write("Hello RAII");
    }  // يُستدعى المُدمِّر هنا - أُغلق الملف
    
    std::cout << "After scope\n";
}

تتألق تقنية RAII عند إدارة الأقفال في التعليمات البرمجية متعددة الخيوط. تتبع std::lock_guard في المكتبة القياسية هذا النمط؛ إذ تستحوذ على كائن المزامنة عند الإنشاء وتحرره عند التدمير، مما يمنع حالات الجمود الناتجة عن نسيان إلغاء القفل.

عند تنفيذ فئات RAII، تذكّر أن تقوم إما بـ either delete أو بتنفيذ عمليات copy/move بشكل صحيح (قاعدة Five) لمنع مشكلات تكرار الموارد أو تحريرها مرتين. يحوّل RAII إدارة الموارد اليدوية المعرّضة للأخطاء إلى تنظيف آمن وتلقائي.

التحدي

سهل

لنبنِ Connection Pool Manager باستخدام RAII لإدارة اتصالات قاعدة البيانات بأمان. في التطبيقات الحقيقية، تُعد اتصالات قاعدة البيانات موارد مكلفة يجب الحصول عليها وتحريرها بشكل صحيح. ستنشئ غلافًا باستخدام RAII يضمن إعادة الاتصالات دائمًا إلى المجمّع، حتى في حال حدوث استثناءات أو تعقّد مسارات تنفيذ التعليمات البرمجية.

ستنظّم التعليمات البرمجية في ثلاثة ملفات:

ConnectionPool.h: أنشئ مجمّع اتصالات بسيطًا يدير عددًا محدودًا من الاتصالات.
يجب أن تتتبّع فئة ConnectionPool عدد الاتصالات المتاحة (ابدأ بسعة يتم تمريرها إلى constructor). نفّذ ما يلي:
- acquire() — إذا كان هناك اتصال متاح، فقلّل العدد واطبع Connection acquired (X available) حيث تمثل X العدد المتبقي؛ وأعد true عند النجاح، وfalse في حال عدم توفر أي اتصالات
- release() — زد العدد المتاح واطبع Connection released (X available)
- available() — تعيد العدد الحالي للاتصالات المتاحة
ConnectionGuard.h: ابنِ غلاف RAII يدير اتصالًا واحدًا بأمان.
تجسّد فئة ConnectionGuard نمط RAII. ويجب أن تقوم بما يلي:
- تأخذ مرجعًا إلى ConnectionPool في constructor الخاص بها وتحاول الحصول على اتصال
- تخزّن ما إذا كان الحصول على الاتصال قد نجح
- توفّر أسلوب isConnected() للتحقق مما إذا كان الحارس يحتفظ باتصال صالح
- تحرّر الاتصال تلقائيًا وتعيده إلى المجمّع في destructor (فقط إذا تم الحصول على اتصال)
- تحذف copy constructor وcopy assignment لمنع تكرار المورد (اعتبار Rule of Five)
عند تشغيل destructor، إذا كان هناك اتصال محتفَظ به، فاطبع Guard releasing connection قبل استدعاء release على المجمّع.
main.cpp: وضّح عملية التنظيف التلقائي في RAII من خلال النطاقات.
اقرأ مدخلين:
1. سعة المجمّع (عدد صحيح)
2. عدد الاتصالات المطلوب طلبها (عدد صحيح)
أنشئ ConnectionPool بالسعة المحددة. ثم داخل نطاق متداخل (باستخدام الأقواس المعقوفة curly braces)، أنشئ العدد المطلوب من كائنات ConnectionGuard المخزّنة في متجه. ولكل حارس، اطبع ما إذا كان قد اتصل بنجاح:
- إذا كان متصلًا: Guard N: Connected
- إذا لم يكن متصلًا: Guard N: Failed to connect
(حيث يبدأ N من 1)

بعد انتهاء النطاق (وبعد تدمير الحراس)، اطبع After scope: X connections available لإظهار الحالة النهائية للمجمّع.

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

Connection acquired (1 available)
Guard 1: Connected
Connection acquired (0 available)
Guard 2: Connected
Guard 3: Failed to connect
Guard releasing connection
Connection released (1 available)
Guard releasing connection
Connection released (2 available)
After scope: 2 connections available

وباستخدام المدخلين 3 و2:

Connection acquired (2 available)
Guard 1: Connected
Connection acquired (1 available)
Guard 2: Connected
Guard releasing connection
Connection released (2 available)
Guard releasing connection
Connection released (3 available)
After scope: 3 connections available

لاحظ كيف تُحرَّر الاتصالات تلقائيًا عندما يخرج الحراس من النطاق—فأنت لا تستدعي release صراحةً في تعليماتك البرمجية الرئيسية. تعمل destructors بترتيب عكسي للإنشاء (يُدمَّر آخر حارس أولًا)، ويُضمن إعادة كل اتصال تم الحصول عليه. هذه هي قوة RAII: يحدث تنظيف الموارد تلقائيًا وموثوقًا، بغض النظر عن كيفية انتهاء النطاق.

جرّب بنفسك

#include <iostream>
#include <vector>
#include "ConnectionPool.h"
#include "ConnectionGuard.h"

using namespace std;

int main() {
    // اقرأ المدخلات
    int capacity;
    int numConnections;
    cin >> capacity;
    cin >> numConnections;
    
    // TODO: أنشئ ConnectionPool بالسعة المعطاة
    
    // TODO: أنشئ نطاقاً متداخلاً باستخدام الأقواس المعقوفة
    {
        // TODO: أنشئ vector لتخزين كائنات ConnectionGuard
        // تلميح: ستحتاج إلى استخدام المؤشرات أو المؤشرات الذكية لأن ConnectionGuard
        // لديه منشئ نسخ محذوف
        
        // TODO: حلقة لإنشاء numConnections من الحراس
        // لكل حارس، اطبع إما:
        // "Guard N: Connected" or "Guard N: Failed to connect"
        // حيث يبدأ N من 1
        
    }
    // يتم تدمير الحراس هنا عند انتهاء النطاق
    
    // TODO: Print "After scope: X connections available"
    
    return 0;
}