Title
Attribute to indicate that a function throws nothing
Status
cd2
Section
9.12 [dcl.attr]
Submitter
US

Created on 2009-03-03.00:00:00 last changed 143 months ago

Messages

Date: 2010-03-15.00:00:00

[Voted into WP at March, 2010 meeting as paper N3050.]

Date: 2009-09-15.00:00:00

Proposed resolution (September, 2009):

See paper PL22.16/09-0162 = WG21 N2972.

Date: 2009-11-08.00:00:00
N2800 comment USĀ 40

A function with an exception-specification of throw() must be given a catch(...) clause to enforce its contract, i.e., to call std::unexpected() if it exits with an exception. It would be useful to have an attribute indicating that the function really does throw nothing and thus that the catch(...) clause need not be generated.

(See also issue 830.)

History
Date User Action Args
2010-03-29 00:00:00adminsetmessages: + msg2694
2010-03-29 00:00:00adminsetstatus: review -> cd2
2009-09-29 00:00:00adminsetmessages: + msg2305
2009-09-29 00:00:00adminsetstatus: drafting -> review
2009-03-03 00:00:00admincreate