Title
Redundant restriction on partial specialization argument
Status
cd4
Section
_N4868_.13.7.6 [temp.class.spec]
Submitter
CWG

Created on 2014-11-04.00:00:00 last changed 49 months ago

Messages

Date: 2015-09-15.00:00:00

Proposed resolution (September, 2015):

Delete bullet 8.3 of _N4868_.13.7.6 [temp.class.spec]:

  • The argument list of the specialization shall not be identical to the implicit argument list of the primary template.

Date: 2016-02-15.00:00:00

[Adopted at the February, 2016 meeting.]

Bullets 8.3 and 8.4 of _N4868_.13.7.6 [temp.class.spec] say,

Within the argument list of a class template partial specialization, the following restrictions apply:

  • ...

  • The argument list of the specialization shall not be identical to the implicit argument list of the primary template.

  • The specialization shall be more specialized than the primary template (_N4868_.13.7.6.3 [temp.class.order]).

  • ...

The former is implied by the latter and should be omitted.

(See also issues 1315, 1647, and 2127.)

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