Created on 2010-03-27.00:00:00 last changed 130 months ago
[Voted into the WP at the March, 2011 meeting.]
Proposed resolution (January, 2011):
Change 13.2 [temp.param] paragraph 11 as follows:
If a template-parameter of a class template or alias template has a default template-argument, each subsequent template-parameter shall either have a default template-argument supplied or be a template parameter pack. If a template-parameter of a primary class template or alias template is a template parameter pack, it shall be the last template-parameter. [Note:...
Since there appear to be no restrictions against it, it would appear that default arguments and template parameter packs can be used with template aliases just as with other templates. If that is the case, then, the current wording in 13.2 [temp.param] paragraph 11 requires adjustment:
If a template-parameter of a class template has a default template-argument, each subsequent template-parameter shall either have a default template-argument supplied or be a template parameter pack. If a template-parameter of a class template is a template parameter pack, it shall be the last template-parameter.
Presumably these restrictions should also apply to template aliases, but as written, they only apply to class templates.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2014-03-03 00:00:00 | admin | set | status: fdis -> c++11 |
| 2011-04-10 00:00:00 | admin | set | messages: + msg3379 |
| 2011-04-10 00:00:00 | admin | set | status: tentatively ready -> fdis |
| 2011-02-28 00:00:00 | admin | set | messages: + msg3236 |
| 2011-02-28 00:00:00 | admin | set | status: drafting -> tentatively ready |
| 2010-08-23 00:00:00 | admin | set | status: open -> drafting |
| 2010-03-27 00:00:00 | admin | create | |