سلامة الموارد عبر حدود الملكية

#include <iostream>
#include <memory>
struct Resource { int id; };
struct Release {
    int* closed;
    void operator()(Resource* resource) const noexcept {
        ++*closed;
        delete resource;
    }
};
int main() {
    int closed{};
    {
        std::unique_ptr<Resource, Release> owner(new Resource{7}, Release{&closed});
        std::cout << owner->id << "\n";
    }
    std::cout << closed << "\n";
}

7
1

يُقرأ المورد أثناء ملكيته ويُحرر مرة عند مغادرة النطاق. يبقى closed حيًا حتى ينتهي الحاذف.

#include <functional>
#include <iostream>
#include <memory>
#include <optional>
int main() {
    std::function<std::optional<int>()> observe;
    {
        auto owner = std::make_shared<int>(42);
        observe = [weak = std::weak_ptr<int>{owner}]() -> std::optional<int> {
            if (auto locked = weak.lock()) { return *locked; }
            return std::nullopt;
        };
        std::cout << observe().value() << "\n";
    }
    std::cout << (observe().has_value() ? "live" : "expired") << "\n";
}

42
expired

لا يملك الالتقاط الضعيف العدد. يحمي المالك المؤقت المقفل القراءة، ويبلغ الاستدعاء اللاحق عن انتهاء العمر.