Created on2014-05-05.00:00:00 last changed109 months ago
[Moved to DR at the May, 2015 meeting.]
Proposed resolution (November, 2014):
Change 13.2 [temp.param] paragraph 10 as follows:
The set of defaulttemplate-arguments available forusewith a template declaration or definitionisobtained by merging the default arguments fromthedefinition (if in scope) andallpriordeclarationsin scopeof the templatein the same way default function arguments are(9.3.4.7 [dcl.fct.default]). [Example:...
Use of the injected-class-name of a class template with atemplate-argument-list that relies on default arguments isnot clearly specified in the current wording of the Standard. Inparticular, according to 13.2 [temp.param] paragraph 10,
The set of defaulttemplate-arguments available for use with atemplate declaration or definition is obtained by merging the defaultarguments from the definition (if in scope) and all declarations in scopein the same way default function arguments are(9.3.4.7 [dcl.fct.default]).
However, the injected-class-name hides the template declarations,so it is not clear whether the default arguments are available atthat point or not.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-02-06 00:00:00 | admin | set | status: drwp -> cd4 |
| 2015-11-10 00:00:00 | admin | set | status: dr -> drwp |
| 2015-05-25 00:00:00 | admin | set | messages: +msg6058 |
| 2015-05-25 00:00:00 | admin | set | status: tentatively ready -> dr |
| 2014-11-24 00:00:00 | admin | set | messages: +msg5168 |
| 2014-11-24 00:00:00 | admin | set | status: drafting -> tentatively ready |
| 2014-07-07 00:00:00 | admin | set | status: open -> drafting |
| 2014-05-05 00:00:00 | admin | create | |