Boost logo

Boost :

Subject: [boost] The noexcept Specifier & Block
From: Alexander Terekhov (terekhov_at_[hidden])
Date: 2009-04-16 15:28:38


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.

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

regards,
alexander.


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk