Issue 2581: Specialization of <type_traits> variable templates should be prohibited

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 90 months ago

Messages

msg7970 (view)

Date: 2016-02-07.20:24:45

Proposed resolution:

This wording is relative to N4567.

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.

msg7679 (view)

Date: 2016-02-07.20:24:45

[ 2016-02, Issues Telecon ]

P0; move to Tentatively Ready.

msg7678 (view)

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:43	admin	set	status: wp -> c++17
2016-03-07 04:11:48	admin	set	status: ready -> wp
2016-02-07 20:24:45	admin	set	messages: + msg7970
2016-02-07 20:24:45	admin	set	status: new -> ready
2016-01-16 16:30:38	admin	set	messages: + msg7679
2016-01-07 00:00:00	admin	create