Created on2014-01-25.00:00:00 last changed109 months ago
[Moved to DR at the November, 2014 meeting.]
Proposed resolution (February, 2014):
Change 7.6.16 [expr.cond] paragraph 2 as follows (this assumesthe revised wording of the resolution ofissue 1299as the base text):
If either the second or the third operand has typevoid, one ofthe following shall hold:
The second or the third operand (but not both) is a (possiblyparenthesized)throw-expression (14.2 [except.throw]); theresult is of the type and value category of the other operand. Theconditional-expression is a temporary expression if that operandis a temporary expressionand is a bit-field if that operand is abit-field.
...
Presumably the result of something like
b ? x : throw y
is a bit-field ifx is, but the current wording does notsay that.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-02-06 00:00:00 | admin | set | status: drwp -> cd4 |
| 2015-05-25 00:00:00 | admin | set | status: dr -> drwp |
| 2015-04-13 00:00:00 | admin | set | messages: +msg5351 |
| 2014-11-24 00:00:00 | admin | set | status: ready -> dr |
| 2014-03-03 00:00:00 | admin | set | messages: +msg4814 |
| 2014-01-25 00:00:00 | admin | create | |