-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 The default shared_ptr constructor, which creates an empty shared_ptr, gives "use_count() == 0" as a post condition. However, the documentation for use_count says it returns "an unspecified nonnegative value when *this is empty". I'd like it to return 0 for an empty shared_ptr, as that appears to be the only way to distinguish an empty shared_ptr from one sharing ownership of a null pointer. - -- Frank -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHkRr05vihyNWuA4URArScAKCpSzE1iBEP02fn5GJhs3n/rwoItwCgkAxf uRlugdHTVX9TIsZH5swMy70= =9uJe -----END PGP SIGNATURE-----