std::weak_ptr

למרות ש-std::shared_ptr שימושי ביותר, הסתמכות על בעלות משותפת בלבד יכולה להוביל לבעיה המכונה הפניה מעגלית (או תלות מחזורית).

אם שני אובייקטים או יותר כל אחד מכיל shared_ptr המצביע על השני, נוצרת לולאה סגורה. במצב זה, ספירת ההתייחסות של אף אחד מהאובייקטים לא תגיע לעולם לאפס, מה שמונע ביטול הקצאה וגורם לדליפת זיכרון.

מה זה std::weak_ptr

כדי לשבור מחזורי בעלות, הספרייה הסטנדרטית מציעה std::weak_ptr. זהו מצביע חכם שמתבונן באובייקט המנוהל על ידי shared_ptr, אך בלי להגדיל את ספירת הפניות.

היא אינה הבעלים של המשאב ישירות, ולכן היא אינה מונעת את השמדתו.

#include <memory>

std::shared_ptr<int> shared = std::make_shared<int>(42);
std::weak_ptr<int> weak = shared; // Does not increment reference count!

אימות וגישה למשאב

מכיוון ש-weak_ptr אינו הבעלים של המשאב, ניתן לבטל את הקצאת המשאב בכל עת (כאשר כל המופעים המשויכים shared_ptr יוצאים מהתחום).

כדי להשתמש במשאב הנצפה, עלינו:

1. בדוק אם הוא עדיין בתוקף באמצעות expired().
2. המר באופן זמני את weak_ptr ל-shared_ptr באמצעות שיטת lock(). אם המשאב עדיין פעיל, lock() מחזיר shared_ptr חוקי, אחרת הוא מחזיר מצביע null (nullptr).

if (!weak.expired()) {
    // lock() creates a temporary shared_ptr to ensure safe access
    if (std::shared_ptr<int> sharedAccess = weak.lock()) {
        std::cout << *sharedAccess << std::endl;
    }
} else {
    std::cout << "Resource deallocated!" << std::endl;
}

נסה זאת בעצמך