Re: [boost] The noexcept Specifier & Block

Alexander Terekhov wrote:

http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2009/n2855.html#noexcept

I gather that

noexcept void f() { throw 0; }

is supposed to be ill-formed versus well-formed

noexcept void f() { noexcept { throw 0; } }

invoking undefined behaviour.

Well, this is not helpful.

Yes it is. The noexcept block is the programmer's way of telling the compiler, "Trust me, I know what I'm doing." If the programmer doesn't, that's not the compiler's fault.

Both forms shall be well-formed with defined behaviour: invocation of unexpected() at throw point.

We don't need noexcept for that; that's what an empty throw declaration does. Sebastian