David Abrahams wrote:
At Sun, 15 Aug 2010 16:08:47 -0700, Emil Dotchevski wrote:
If I keep careful control over my exception types---for example, if I only throw PODs---I can reasonably expect that "throw x;" throws x You can reasonably expect that even for non-PODs. By the time you end up getting a std::bad_alloc, I don't think it matters much whether it is emitted from some operator new or from a throw (possibly indirectly, from an exception object which allocates memory in its consturctor)
My point is that whether that matters to the application is not for you---the library author---to decide.
<snip> Sorry to be a little late to chime in, but this issue has been brought up before. Here's a thread to a discussion that Emil and my had back in May 2009 http://thread.gmane.org/gmane.comp.lib.boost.user/47930 Andy.