Re: [boost] [smart_ptr] trunk versionof enable_shared_from_thisincompatible with TR1

From: Frank Mori Hess (frank.hess_at_[hidden])
Date: 2008-04-29 17:51:42

-----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-----