Title
Missing specification of variable template partial specializations
Status
cd6
Section
13.7.6 [temp.spec.partial]
Submitter
Richard Smith

Created on 2013-07-08.00:00:00 last changed 19 months ago

Messages

Date: 2018-02-27.00:00:00

Additional note, July, 2017:

The term “primary template” appears not to be defined in the current wording; the resolution of this issue might be a good opportunity to add such a definition.

Date: 2020-11-15.00:00:00

[Accepted at the November, 2020 meeting as paper P2096R2.]

It appears that partial specializations of variable templates are intended to be supported, as 13.4.4 [temp.arg.template] paragraph 2 says,

Any partial specializations (13.7.6 [temp.spec.partial]) associated with the primary class template or primary variable template are considered when a specialization based on the template template-parameter is instantiated.

However, there is no explicit specification for how they are to be handled, and the wording in 13.7.6 [temp.spec.partial] and its subsections explicitly applies only to partial specializations of class templates.

History
Date User Action Args
2022-08-19 07:54:33adminsetstatus: wp -> cd6
2021-02-24 00:00:00adminsetstatus: accepted -> wp
2020-12-15 00:00:00adminsetstatus: drafting -> accepted
2018-02-27 00:00:00adminsetmessages: + msg5913
2014-03-03 00:00:00adminsetstatus: open -> drafting
2013-07-08 00:00:00admincreate