Title
"denotes a destructor" is missing specification
Status
review
Section
7.5.5.2 [expr.prim.id.unqual]
Submitter
Jim X

Created on 2022-05-22.00:00:00 last changed 18 months ago

Messages

Date: 2023-06-15.20:13:43

Proposed resolution:

Change in 7.5.5.2 [expr.prim.id.unqual] paragraph 1 as follows:

A type-name or decltype-specifier prefixed by ~ denotes the destructor of the named type; see 7.5.5.5 [expr.prim.id.dtor]. [Note 1: For operator-function-ids, see 12.4 [over.oper]; for conversion-function-ids, see 11.4.8.3 [class.conv.fct]; for literal-operator-ids, see 12.6 [over.literal]; for template-ids, see 13.3 [temp.names]. A type-name or decltype-specifier prefixed by ~ denotes the destructor of the type so named; see 7.5.5.5 [expr.prim.id.dtor]. Within the definition of a non-static member function, an identifier that names a non-static member is transformed to a class member access expression (11.4.3 [class.mfct.non.static]). —end note]
Date: 2022-05-22.00:00:00

Subclause 7.5.5.2 [expr.prim.id.unqual] paragraph 1 has a note that lacks a corresponding normative specification:

[Note 1: For operator-function-ids, see 12.4 [over.oper]; for conversion-function-ids, see 11.4.8.3 [class.conv.fct]; for literal-operator-ids, see 12.6 [over.literal]; for template-ids, see 13.3 [temp.names]. A type-name or decltype-specifier prefixed by ~ denotes the destructor of the type so named; see 7.5.5.5 [expr.prim.id.dtor]. Within the definition of a non-static member function, an identifier that names a non-static member is transformed to a class member access expression (11.4.3 [class.mfct.non.static]). —end note]
History
Date User Action Args
2023-06-15 20:13:43adminsetstatus: open -> review
2023-05-27 12:23:59adminsetmessages: + msg7298
2022-05-22 00:00:00admincreate