On Sat, May 28, 2011 at 8:05 PM, Mostafa wrote:

On Sat, 28 May 2011 18:56:23 -0700, Emil Dotchevski wrote:

...

On Sat, May 28, 2011 at 6:27 PM, Mostafa wrote:

<snip>

...

If you want to use the error info or exception_ptr functionality, the exception being thrown must derive from boost::exception.

The feature I'm only interested in is using Boost.Exception to enable my exceptions to be "thread-safe" without explicitly or implicitly deriving from boost::exception.

How do you define thread safety for exception objects? The only thread safety guarantees provided by Boost Exception relate to boost::exception_ptr objects. All of the Boost Exception functionality works only if the exceptions derive from boost::exception. Your only two choices are to do it explicitly or to call boost::throw_exception which does it for you. Emil Dotchevski Reverge Studios, Inc. http://www.revergestudios.com/reblog/index.php?n=ReCode

On Sat, May 28, 2011 at 8:37 PM, Mostafa wrote:

...

All of the Boost Exception functionality works only if the exceptions derive from boost::exception. Your only two choices are to do it explicitly or to call boost::throw_exception which does it for you.

It seems that some functionality doesn't, namely boost::enable_current_exception, and I was hoping to leverage such functionality to achieve my aforementioned goal.

boost::enable_current_exception enables the boost::current_exception/boost::exception_ptr support by returning an object that derives from boost::exception *and* the type of the passed object. Therefore: throw boost::enable_current_exception(my_exception()); satisfies the requirement for deriving from boost::exception without requiring my_exception to derive from boost::exception. Emil Dotchevski Reverge Studios, Inc. http://www.revergestudios.com/reblog/index.php?n=ReCode

On Sat, 28 May 2011 21:50:44 -0700, Mostafa wrote:

On Sat, 28 May 2011 21:01:56 -0700, Emil Dotchevski wrote:

...

On Sat, May 28, 2011 at 8:37 PM, Mostafa wrote:

...

...

All of the Boost Exception functionality works only if the exceptions derive from boost::exception. Your only two choices are to do it explicitly or to call boost::throw_exception which does it for you.

It seems that some functionality doesn't, namely boost::enable_current_exception, and I was hoping to leverage such functionality to achieve my aforementioned goal.

boost::enable_current_exception enables the boost::current_exception/boost::exception_ptr support by returning an object that derives from boost::exception *and* the type of the passed object.

Therefore:

throw boost::enable_current_exception(my_exception());

satisfies the requirement for deriving from boost::exception without requiring my_exception to derive from boost::exception.

If that is so, then that fact is omitted from the documentation for boost::enable_current_exception, please see:

http://www.boost.org/doc/libs/1_46_1/libs/exception/doc/enable_current_excep...

and the Note at the bottom of the said url seems to imply otherwise, by stating "it is preferable to call boost::throw_exception. This is guaranteed to throw an exception that derives from boost::exception". Can you please add this fact to the above documentation?

The documentation for boost::throw_exception is more clear that it derives from the user defined type and boost::exception, see http://tinyurl.com/3ks92g8, where it mentions "... boost::throw_exception(e) is equivalent to throw boost::enable_current_exception(boost::enable_error_info(e)) ...", and the documentation for boost::enable_error_info (http://tinyurl.com/3zo3yu7) makes it explicit that "... the returned object is of an unspecified type that derives publicly from both T and boost::exception.". Hence, the reason for my confusion on this matter.

Thanks,

Mostafa

Correction: s/"Can you please add this fact to the above documentation?"/"Can you please add what you just mentioned to the above documentation?" Thanks, Mostafa

On Sat, 28 May 2011 21:57:34 -0700, Emil Dotchevski wrote:

On Sat, May 28, 2011 at 9:50 PM, Mostafa wrote:

...

On Sat, 28 May 2011 21:01:56 -0700, Emil Dotchevski wrote:

...

On Sat, May 28, 2011 at 8:37 PM, Mostafa wrote:

...

...

All of the Boost Exception functionality works only if the exceptions derive from boost::exception. Your only two choices are to do it explicitly or to call boost::throw_exception which does it for you.

It seems that some functionality doesn't, namely boost::enable_current_exception, and I was hoping to leverage such functionality to achieve my aforementioned goal.

boost::enable_current_exception enables the boost::current_exception/boost::exception_ptr support by returning an object that derives from boost::exception *and* the type of the passed object.

Therefore:

throw boost::enable_current_exception(my_exception());

satisfies the requirement for deriving from boost::exception without requiring my_exception to derive from boost::exception.

If that is so, then that fact is omitted from the documentation for boost::enable_current_exception, please see:

Ah right, my mistake! It returns a type that derives from an unspecified type and T. The documentation is correct.

I do try to do my homework before posting here. :) Now, back to the original purpose of my postings: My Requirements: ---------------- To use Boost.Exception tools to make my exceptions transportable between threads without explicitly or implicitly deriving from Boost.Exception. So it seems I'm halfway there with "throw boost::enable_current_exception(my_exception());". Now I would like to rethrow from some catch site, it is my understanding then that I would need to use boost::rethrow_exception() (in order to stay within the parameters of my requirements). But boost::rethrow_exception requires a boost::exception_ptr reference (which seems can only be gotten via boost::current_exception). Now, does using "throw boost::enable_current_exception(my_exception());" with class my_exception which does not derive from boost::exception support the exception_ptr functionality that is need for boost::rethrow_exception? Thanks, Mostafa

On Sat, 28 May 2011 22:25:08 -0700, Emil Dotchevski wrote:

On Sat, May 28, 2011 at 10:21 PM, Mostafa wrote:

...

My Requirements: ---------------- To use Boost.Exception tools to make my exceptions transportable between threads without explicitly or implicitly deriving from Boost.Exception.

So it seems I'm halfway there with "throw boost::enable_current_exception(my_exception());". Now I would like to rethrow from some catch site, it is my understanding then that I would need to use boost::rethrow_exception() (in order to stay within the parameters of my requirements). But boost::rethrow_exception requires a boost::exception_ptr reference (which seems can only be gotten via boost::current_exception). Now, does using "throw boost::enable_current_exception(my_exception());" with class my_exception which does not derive from boost::exception support the exception_ptr functionality that is need for boost::rethrow_exception?

Yes.

Thank you. Now, may the above fact be added as a special section to Boost.Exception documentation so others don't have to go through the same long-winded discussion that I did? And the reason for my caution and me posting here was the Note at the bottom of the documentation for boost::enable_current_exception (see http://tinyurl.com/3tqsqw6): "Note: Instead of using the throw keyword directly, it is preferable to call boost::throw_exception. This is guaranteed to throw an exception that derives from boost::exception and supports the exception_ptr functionality." Which to the casual reader implies that boost::enable_current_exception does not support the boost::exception_ptr functionality. Maybe taking out "and supports the exception_ptr functionality" or explicitly stating that boost::enable_current_exception also supports such functionality will alleviate any confusion or potential confusion on the part of the users. Thanks, Mostafa