Re: Exception specifications unfortunate, and what about their future?

From:

"Nevin :-] Liber" <nevin@eviloverlord.com>

Newsgroups:

comp.lang.c++.moderated

Date:

Thu, 11 Dec 2008 13:11:48 CST

Message-ID:

<nevin-1D167C.11164411122008@chi.news.speakeasy.net>

In article
<a0aed6f8-e64f-421d-90b4-30177ea54660@t3g2000yqa.googlegroups.com>,
JoshuaMaurice@gmail.com wrote:

Proposal:
- The throws specification of a function can include the keyword auto.
Ex:
        void foo() throw(auto);
        void bar() throw(std::bad_alloc, auto);
        void baz() throw(auto, std::bad_alloc);

What is the difference between:

   void foo();
   void foo() throw(auto);
   void foo() throw(std::bad_alloc, auto);
   void foo() throw(auto, std::bad_alloc);

If this were the body of foo:

{
    static unsigned u;
    if (++u % 2)
        throw u;
    else
        throw std::bad_alloc();
}

I don't see any difference, either at compile time or run time, between
the four declarations.

Could you provide an example that shows the differences between the four
cases?

--
Nevin ":-)" Liber <mailto:nevin@eviloverlord.com> 773 961-1620

      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]