Title
Default template-arguments of variable templates
Status
cd4
Section
17.1 [temp.param]
Submitter
CWG

Created on 2014-11-03.00:00:00, last changed 2017-02-06.00:00:00.

Messages

Date: 2015-09-15.00:00:00

Proposed resolution (September, 2015):

Change 17.1 [temp.param] paragraph 11 as follows:

If a template-parameter of a class template, variable 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, primary variable template, or alias template is a template parameter pack, it shall be the last template-parameter. A template parameter pack...
Date: 2016-02-15.00:00:00

[Adopted at the February, 2016 meeting.]

According to 17.1 [temp.param] paragraph11,

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.

These requirements should apply to variable templates as well.

History
Date User Action Args
2017-02-06 00:00:00adminsetstatus: tentatively ready -> cd4
2015-11-10 00:00:00adminsetmessages: + msg5607
2015-11-10 00:00:00adminsetstatus: drafting -> tentatively ready
2015-05-25 00:00:00adminsetstatus: open -> drafting
2014-11-03 00:00:00admincreate