Classical logic lets you copy and discard premises freely. Remove those abilities and you get the logic of resources — linear, affine, relevant, ordered. RAII, move semantics, and unique_ptr are fragments of this theory. C++ is a substructural language and doesn't know it.
Posts tagged “move-semantics” (2)
C++ doesn't have a garbage collector. It has something better — a type system that makes ownership explicit.