Re: [boost] [function] function wrapping with no exception safety guarantee
On Tuesday, October 12, 2010, Emil Dotchevski <emil@revergestudios.com> wrote:
On Tue, Oct 12, 2010 at 4:04 PM, Daniel Walker <daniel.j.walker@gmail.com> wrote:
Formally, boost::function invocation has strong exception safety if invoking the target function has strong exception safety.
This makes no sense at all. Invoking boost::function always has strong exception safety guarantee. In no way it can make the state of the boost::function object inconsistent, because it does not modify its state.
Sounds like you're talking about the basic guarantee here.
_____________________________________________
-- Dave Abrahams BoostPro Computing http://www.boostpro.com
On Tue, Oct 12, 2010 at 4:36 PM, Dave Abrahams <dave@boostpro.com> wrote:
On Tuesday, October 12, 2010, Emil Dotchevski <emil@revergestudios.com> wrote:
On Tue, Oct 12, 2010 at 4:04 PM, Daniel Walker <daniel.j.walker@gmail.com> wrote:
Formally, boost::function invocation has strong exception safety if invoking the target function has strong exception safety.
This makes no sense at all. Invoking boost::function always has strong exception safety guarantee. In no way it can make the state of the boost::function object inconsistent, because it does not modify its state.
Sounds like you're talking about the basic guarantee here.
Yes I'm sorry I meant basic. Emil Dotchevski Reverge Studios, Inc. http://www.revergestudios.com/reblog/index.php?n=ReCode
participants (2)
-
Dave Abrahams -
Emil Dotchevski