- Title
- Template parameter packs in class template partial specializations
- Status
- c++11
- Section
- 13.2 [temp.param]
- Submitter
- Doug Gregor
Created on 2008-04-09.00:00:00 last changed 142 months ago
Messages
Date: 2010-08-23.00:00:00
[Voted into WP at August, 2010 meeting.]
Date: 2010-02-15.00:00:00
Proposed resolution (February, 2010):
Change 13.2 [temp.param] paragraph 11 as follows:
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 primary class template is a template parameter pack, it shall be the last template-parameter. [Note: These are not requirements for function templates or class template partial specializations because template argumentsmightcan be deduced (13.10.3 [temp.deduct]). [Example:...
Date: 2008-04-09.00:00:00
13.2 [temp.param] paragraph 11 currently says,
If a template-parameter of a class template is a template parameter pack, it shall be the last template-parameter. [Note: These are not requirements for function templates because template arguments might be deduced (13.10.3 [temp.deduct])...
This restriction was only meant to apply to primary class templates, not partial specializations.
Suggested resolution:
If a template-parameter of a primary class template is a template parameter pack, it shall be the last template-parameter. [Note: These are not requirements for function templates or class template partial specializations because template arguments might be deduced (13.10.3 [temp.deduct])...
| 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 | status: wp -> fdis |
| 2010-11-29 00:00:00 | admin | set | status: dr -> wp |
| 2010-08-23 00:00:00 | admin | set | messages: + msg2920 |
| 2010-08-23 00:00:00 | admin | set | status: ready -> dr |
| 2010-03-29 00:00:00 | admin | set | status: review -> ready |
| 2010-02-16 00:00:00 | admin | set | messages: + msg2552 |
| 2010-02-16 00:00:00 | admin | set | status: drafting -> review |
| 2008-06-29 00:00:00 | admin | set | status: open -> drafting |
| 2008-04-09 00:00:00 | admin | create | |