This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 117a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-04-13
[Moved to DR at October 2002 meeting.]
Although 9.3.4 [dcl.meaning] requires that a declaration ofaqualified-id refer to a member of the specified namespace orclass and that the member not have been introduced by ausing-declaration, it applies only to names declared in adeclarator. It is not clear whether there is existing wordingenforcing the same restriction forqualified-ids inclass-specifiers andelaborated-type-specifiers orwhether additional wording is required. Once such wording isfound/created, the proposed resolution ofissue 275 must be modified accordingly.
Notes from 10/01 meeting:
The sentiment was that this should be required on class definitions, butnot on elaborated type specifiers in general (which are references, notdeclarations). We should also make sure we consider explicit instantiations,explicit specializations, and friend declarations.
Proposed resolution (10/01):
Add after the end of 11.3 [class.name] paragraph 3:
When anested-name-specifier is specified in aclass-head or in anelaborated-type-specifier, the resulting qualified nameshall refer to a previously declared member of the class or namespace towhich thenested-name-specifier refers, andthe member shall not have been introduced by ausing-declaration in the scope of the class or namespacenominated by thenested-name-specifier.