Re: [boost] The noexcept Specifier & Block

Subject: Re: [boost] The noexcept Specifier & Block
From: Sebastian Redl (sebastian.redl_at_[hidden])
Date: 2009-04-17 12:33:33

Alexander Terekhov wrote:
> To repeat:
>
>   noexcept void f() {
>     throw 0;
>   }
>
> is supposed to be ill-formed versus well-formed
>
>   noexcept void f() {
>     noexcept { throw 0; }
>   }
>
> invoking undefined behaviour.
>
> My point is that both forms shall be well-formed with defined behaviour:
> invocation of unexpected() at throw point.
>   

What's the point of the noexcept block then? If you want to submit your
proposal, have it remove that block entirely, since it doesn't change
anything.

Sebastian