Ownership and Single-Owner Lifetime Management¶

When exactly one entity "owns" a resource, its lifetime is deterministic - the resource is released when the owner goes out of scope. This eliminates use-after-free and double-free errors by construction.

Tension Addressed¶

Convenience vs. Control; Safety vs. Flexibility

Recognizable As¶

RAII pattern (resource acquisition is initialization); move semantics vs. copy semantics; unique_ptr/Box types; compiler-enforced single ownership; "moved value" errors

Canonical Sources¶

Stroustrup, The C++ Programming Language (ownership via RAII); Rust Book, Chapter on Ownership (2015+); Weimer & Necula, "Finding and Preventing Run-Time Error Handling Mistakes" (2004)

Transfers To¶

File handle management, database connection pools, any resource with cleanup requirements, distributed system resource leases

Ownership is not merely a language feature but a fundamental pattern for resource management. By ensuring exactly one owner, lifetime becomes deterministic without garbage collection. The pattern applies to any resource with cleanup semantics: files, connections, locks, subscriptions.