Title
Problems in description of potential exceptions
Status
nad
Section
14.5 [except.spec]
Submitter
Hubert Tong

Created on 2015-10-21.00:00:00 last changed 74 months ago

Messages

Date: 2016-06-15.00:00:00

Notes from the June, 2016 meeting:

This text will be replaced by the removal of dynamic exception specifications (P0003) and thus does not need to be changed at this time. The issue is placed in "review" status until document P0003 is adopted.

Rationale (February, 2017):

The issue is moot after the adoption of paper P0003.

Date: 2017-02-06.00:00:00

The description of the “set of potential exceptions of an expression” in 14.5 [except.spec] paragraph 15 does not appear to be fully recursive, so it can miss the effect of, e.g., a throw-expression as a subexpression. In addition, bullet 15.1.1, which reads,

  • If its postfix-expression is a (possibly parenthesized) id-expression (_N4567_.5.1.1 [expr.prim.general]), class member access (7.6.1.5 [expr.ref]), or pointer-to-member operation (7.6.4 [expr.mptr.oper]) whose cast-expression is an id-expression, S is the set of potential exceptions of the entity selected by the contained id-expression (after overload resolution, if applicable).

omits the case where the postfix-expression is a function call whose return type is a function pointer with an exception specification.

History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: review -> nad
2017-02-06 00:00:00adminsetmessages: + msg5749
2017-02-06 00:00:00adminsetstatus: open -> review
2015-10-21 00:00:00admincreate