I was working on some graph code today and discovered a rather unfortunate issue with
The standard says
§ 126.96.36.199: The
shared_ptrclass template stores a pointer, usually obtained via new.
shared_ptrimplements semantics of shared ownership; the last remaining owner of the pointer is responsible for destroying the object, or otherwise releasing the resources associated with the stored pointer. A
shared_ptrobject is empty if it does not own a pointer.
Unfortunately, I was using cppreference.com instead of the standard, so I missed the warning provided by the first sentence in the standard.
In my program, I was constructing several
shared_ptrs through raw pointers to the same object. I expected that they would share ownership, and the object wouldn’t be destroyed until the last
shared_ptr was destroyed. I assumed there was some global look-up table allowing
shared_ptrs to find the control block for the object they point to. In reality, things are not so sophisticated. Each time a
shared_ptr is constructed from a raw pointer, it is considered to be the sole owner.
§ 188.8.131.52.1.5: Postconditions:
use_count() == 1 && get() == p
If you construct several
shared_ptrs to the object, it will be destroyed each time one of these