From: Joe Gottman (jgottman_at_[hidden])
Date: 2005-07-20 19:16:09
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