[util.smartptr.weak.dest] (original) (raw)
20 Memory management library [mem]
20.3 Smart pointers [smartptr]
20.3.2 Shared-ownership pointers [util.sharedptr]
20.3.2.3 Class template weak_ptr [util.smartptr.weak]
20.3.2.3.3 Destructor [util.smartptr.weak.dest]
~weak_ptr();
Effects: Destroys this weak_ptr object but has no effect on the object its stored pointer points to.