21 Jul
2005
21 Jul
'05
12:16 a.m.
The documentation for the shared_ptr default constructor has the following sentence in the Effects clause: "Empty shared_ptr objects have an unspecified use_count." This is no longer true, since the default constructor now includes the postcondition that use_count() == 0. Joe Gottman