21 Jul
                
                    2005
                
            
            
                21 Jul
                
                '05
                
            
            
            
        
    
                2: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