Boost logo

Boost :

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


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk