Issue2249

Title 2249. identifiers and id-expressions
Status tentatively ready Section 8.1.4.1 [expr.prim.id.unqual]
Submitter Robert Haberlach

Created on 2016-03-17.00:00:00 by admin, last changed by admin.

Messages
msg5973 (view) Date: 2018-02-27.00:00:00

Proposed resolution, February, 2018:

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

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

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

An identifier is an id-expression provided it has been suitably declared (Clause 10 [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.

History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: open -> tentatively ready
section: 5.1.4.1 [expr.prim.id.unqual] -> 8.1.4.1 [expr.prim.id.unqual]
2018-02-27 00:00:00adminsetmessages: + msg5973
2016-03-17 00:00:00admincreate