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