From: Frank Mori Hess (frank.hess_at_[hidden])
Date: 2008-01-18 16:32:36
-----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-----