identifiers and id-expressions
Section [expr.prim.id.unqual]
Robert Haberlach

Created on 2016-03-17.00:00:00 last changed 20 months ago


Date: 2022-02-18.07:47:23

Proposed resolution, February, 2018:

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

An identifier is only an id-expression provided if it has been suitably declared ( Clause 9 [dcl.dcl]) or if it appears as part of a declarator-id (9.3 [dcl.decl]). [Note: For operator-function-ids, see...
Date: 2018-06-15.00:00:00

[Accepted as a DR at the June, 2018 (Rapperswil) meeting.]

According to [expr.prim.id.unqual] paragraph 1,

An identifier is an id-expression provided it has been suitably declared (Clause 9 [dcl.dcl]).

Not only is an identifier an id-expression by (grammatical) definition, declarator-id is defined in terms of id-expression, which makes this circular. If the intention was to disallow use of undeclared identifiers as primary expressions, this should be altered accordingly.

Date User Action Args
2020-12-15 00:00:00adminsetstatus: tentatively ready -> cd5
2018-02-27 00:00:00adminsetmessages: + msg5853
2018-02-27 00:00:00adminsetstatus: open -> tentatively ready
2016-03-17 00:00:00admincreate