Title
Specialization of <type_traits> variable templates should be prohibited
Status
c++17
Section
[meta.type.synop]
Submitter
Tim Song

Created on 2016-01-07.00:00:00 last changed 84 months ago

Messages

Date: 2016-02-07.20:24:45

Proposed resolution:

This wording is relative to N4567.

  1. Edit [meta.type.synop]/1 as indicated:

    -1- The behavior of a program that adds specializations for any of the class templates defined in this subclause is undefined unless otherwise specified.

Date: 2016-02-07.20:24:45

[ 2016-02, Issues Telecon ]

P0; move to Tentatively Ready.

Date: 2016-01-16.18:56:35

[meta.type.synop]/1 only prohibits adding specializations of class templates in <type_traits>. Now that we have _v variable templates, this prohibition should apply to them as well.

History
Date User Action Args
2017-07-30 20:15:43adminsetstatus: wp -> c++17
2016-03-07 04:11:48adminsetstatus: ready -> wp
2016-02-07 20:24:45adminsetmessages: + msg7970
2016-02-07 20:24:45adminsetstatus: new -> ready
2016-01-16 16:30:38adminsetmessages: + msg7679
2016-01-07 00:00:00admincreate