-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tuesday 29 April 2008 13:03 pm, Peter Dimov wrote:
We need to flesh out the specifications of the changes we are proposing.
One effect sp_accept_owner (and shared_from_this in constructors) have on the existing specifications is they put a big asterisk on the postconditions of some of the shared_ptr constructors. Really, all bets are off postcondition wise after sp_accept_owner has been called, unless restrictions are placed on what sp_accept_owner is allowed to do. Specifying that sp_accept_owner cannot modify its shared_ptr argument, as you suggested earlier, would allow some postconditions to be preserved, although not the ones involving "use_count() == 1". - -- Frank -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIF5hv5vihyNWuA4URAj4oAJ4wjSUPIUPJyGKiwKmpm8XkQinJlgCgiHC3 3M/KwUH+ymL/BAxUeO/Um+U= =AAaK -----END PGP SIGNATURE-----