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