Created on 2009-03-03.00:00:00 last changed 178 months ago
[Voted into WP at March, 2010 meeting as paper N3050.]
Proposed resolution (September, 2009):
See paper PL22.16/09-0162 = WG21 N2972.
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:00 | admin | set | messages: + msg2694 |
| 2010-03-29 00:00:00 | admin | set | status: review -> cd2 |
| 2009-09-29 00:00:00 | admin | set | messages: + msg2305 |
| 2009-09-29 00:00:00 | admin | set | status: drafting -> review |
| 2009-03-03 00:00:00 | admin | create | |