Created on 2008-09-19.00:00:00 last changed 143 months ago
[Voted into WP at October, 2009 meeting.]
Proposed resolution (June, 2009):
Change Clause 6 [basic] paragraph 4 as follows:
A name is a use of an identifier (5.10 [lex.name]), operator-function-id (12.4 [over.oper]), conversion-function-id (18.104.22.168 [class.conv.fct]), or template-id (13.3 [temp.names]) that denotes an entity or label (8.7.6 [stmt.goto], 8.2 [stmt.label]).
Change _N4567_.5.1.1 [expr.prim.general] paragraph 3 as follows:
The operator :: followed by an identifier, a qualified-id,
oran operator-function-id is a primary-expression. Its type is specified by the declaration of the identifier, qualified-id, oroperator-function-id. The result is the entity denoted by the identifier, qualified-id, oroperator-function-id. The result is an lvalue if the entity is a function or variable. The identifier, qualified-id, oroperator-function-id shall have global namespace scope or be visible in global scope because of a using-directive (9.8.4 [namespace.udir])...
Add the following production to the grammar for qualified-id in _N4567_.5.1.1 [expr.prim.general] paragraph 7:
Add the following production to the grammar for template-id in 13.3 [temp.names] paragraph 1:
Change 13.3 [temp.names] paragraph 3 as follows:
After name lookup (6.5 [basic.lookup]) finds that a name is a template-name, or that an operator-function-id refers to a set of overloaded functions any member of which is a function template...
Change 13.6 [temp.type] paragraph 1 bullet 1 as follows:
refer to the same template, and
When user-defined literals were added, a new form of operator function was created. Presumably many of the existing specifications that deal with operator-function-ids (the definition of name, for instance, in paragraph 4 of Clause 6 [basic]) should also apply to literal-operator-ids.
|2010-03-29 00:00:00||admin||set||status: dr -> cd2|
|2009-11-08 00:00:00||admin||set||messages: + msg2421|
|2009-11-08 00:00:00||admin||set||status: ready -> dr|
|2009-08-03 00:00:00||admin||set||status: review -> ready|
|2009-06-19 00:00:00||admin||set||messages: + msg2036|
|2009-06-19 00:00:00||admin||set||status: drafting -> review|
|2009-03-23 00:00:00||admin||set||status: open -> drafting|