Created on 2011-08-27.00:00:00 last changed 90 months ago
[Moved to DR at the October, 2012 meeting.]
Proposed resolution (February, 2012):
Change 9.3 [dcl.decl] paragraph 4 as follows:
A class-name has special meaning in a declaration of the class of that name and when qualified by that name using the scope resolution operator :: (, 11.4.5 [class.ctor], 11.4.7 [class.dtor]).
Change _N4567_.5.1.1 [expr.prim.general] paragraph 8 as follows:
...[Note: a class member can be referred to using a qualified-id at any point in its potential scope (6.4.6 [basic.scope.class]). —end note]
Where class-name :: class-name is used, and the two class-names refer to the same class, this notation names the constructor (11.4.5 [class.ctor]).Where class-name ::~ class-name is used...
Issue 147 changed the name lookup rules so that a lookup that would have found the injected-class-name of a class will refer to the constructor. However, there still appear to be vestiges of the earlier specification that were not removed by the resolution. For example, the grammar in 9.3 [dcl.decl] paragraph 4 contains,
It would seem that there is no longer any need for the second line, since a lookup for a declarator-id will not produce a class-name. Similarly, _N4567_.5.1.1 [expr.prim.general] paragraph 8 still contains the sentence,
Where class-name :: class-name is used, and the two class-names refer to the same class, this notation names the constructor (11.4.5 [class.ctor]).
|2014-03-03 00:00:00||admin||set||status: drwp -> cd3|
|2013-05-03 00:00:00||admin||set||status: dr -> drwp|
|2012-11-03 00:00:00||admin||set||messages: + msg4143|
|2012-11-03 00:00:00||admin||set||status: ready -> dr|
|2012-02-27 00:00:00||admin||set||messages: + msg3718|
|2012-02-27 00:00:00||admin||set||status: open -> ready|