Created on 2003-09-18.00:00:00 last changed 161 months ago
[Voted into WP at March 2004 meeting.]
Proposed Resolution (October 2003):
In 6.5.4 [basic.lookup.argdep], paragraph 2, bullet 8, replace
If T is a template-id ...with
If T is a class template specialization ...
Spun off from issue 384.
6.5.4 [basic.lookup.argdep] says:
If T is a template-id, its associated namespaces and classes are the namespace in which the template is defined; for member templates, the member template's class; the namespaces and classes associated with the types of the template arguments provided for template type parameters (excluding template template parameters); the namespaces in which any template template arguments are defined; and the classes in which any member templates used as template template arguments are defined. [Note: non-type template arguments do not contribute to the set of associated namespaces. ]There is a problem with the term "is a template-id". template-id is a syntactic construct and you can't really talk about a type being a template-id. Presumably, this is intended to mean "If T is the type of a class template specialization ...".
|2008-10-05 00:00:00||admin||set||status: wp -> cd1|
|2004-04-09 00:00:00||admin||set||messages: + msg1001|
|2004-04-09 00:00:00||admin||set||status: ready -> wp|
|2003-11-15 00:00:00||admin||set||messages: + msg908|
|2003-11-15 00:00:00||admin||set||status: open -> ready|