Created on 2018-08-20.00:00:00 last changed 28 months ago
Proposed resolution (approved by CWG 2022-06-17):
Change in 13.8.3.3 [temp.dep.expr] paragraph 3 as follows:
Expressions of the following forms are type-dependent only if the type specified by the type-id, simple-type-specifier, typename-specifier, or new-type-id is dependent, even if any subexpression is type-dependent:simple-type-specifier ( expression-listopt ) simple-type-specifier braced-init-list typename-specifier ( expression-listopt ) typename-specifier braced-init-list ...
[Accepted at the July, 2022 meeting.]
According to 13.8.3.3 [temp.dep.expr] paragraph 3,
...Expressions of the following forms are type-dependent only if the type specified by the type-id, simple-type-specifier or new-type-id is dependent, even if any subexpression is type-dependent:
simple-type-specifier ( expression-list )
::opt new new-placementopt new-type-id new-initializeropt
::opt new new-placementopt ( type-id ) new-initializeropt
dynamic_cast < type-id > ( expression )
static_cast < type-id > ( expression )
const_cast < type-id > ( expression )
reinterpret_cast < type-id > ( expression )
( type-id ) cast-expression
This list is missing cases for:
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-08-19 07:54:33 | admin | set | status: ready -> cd6 |
| 2022-06-17 22:45:51 | admin | set | messages: + msg6853 |
| 2022-06-17 22:45:51 | admin | set | status: review -> ready |
| 2022-06-11 20:21:09 | admin | set | status: drafting -> review |
| 2018-08-20 00:00:00 | admin | create | |