Dave,

See (in the sandbox):

  boost/utility/safe_swap.hpp
  boost/utility/safe_assign.hpp

Unless there is a major bug lurking here, I think your assertion is
incorrect. (And please correct me if I'm wrong because it's very
important for boost::variant!)

 -Eric

-----Original Message-----
From: David Abrahams [mailto:dave@[...].com] 
Sent: Wednesday, August 07, 2002 12:05 AM
To: boost@[...].org
Subject: Re: [boost] Mini-review request: aligned_storage.hpp


From: "Eric Friedman" <ebf@[...].net> 


> 
>  Additional features of my boost::aligned_storage include:
> 
>   * aligned_storage::swap_as<T> and aligned_storage::assign_as<T> 
>  provide strong exception-safety guarantee

If those things are supposed to have the "obvious" semantics, well, I'll
believe it when I see it.

If you don't know something extra about T it isn't in general possible
to produce a strong guarantee swap or assignment.

-Dave



_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost