Title
Additional type-dependent expressions
Status
cd6
Section
13.8.3.3 [temp.dep.expr]
Submitter
Andrey Davydov

Created on 2018-08-20.00:00:00 last changed 3 months ago

Messages

Date: 2022-06-17.22:45:51

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
...
Date: 2022-07-15.00:00:00

[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:

    simple-type-specifier braced-init-list
    typename-specifier ( expression-listopt )
    typename-specifier braced-init-list
History
Date User Action Args
2022-08-19 07:54:33adminsetstatus: ready -> cd6
2022-06-17 22:45:51adminsetmessages: + msg6853
2022-06-17 22:45:51adminsetstatus: review -> ready
2022-06-11 20:21:09adminsetstatus: drafting -> review
2018-08-20 00:00:00admincreate