Title
Limit permission to specialize variable templates to program-defined types
Status
new
Section
[namespace.std]
Submitter
Johel Ernesto Guerrero Peña

Created on 2018-12-11.00:00:00, last changed 2018-12-21.15:26:00.

Messages

Date: 2018-12-21.15:26:00

Proposed resolution:

This wording is relative to N4791.

  1. Change [namespace.std] as indicated:

    -2- Unless explicitly prohibited, a program may add a template specialization for any standard library class template to namespace std provided that (a) the added declaration depends on at least one program-defined type and (b) the specialization meets the standard library requirements for the original template.(footnote 174)

    -3- The behavior of a C++ program is undefined if it declares an explicit or partial specialization of any standard library variable template, except where explicitly permitted by the specification of that variable template, provided that the added declaration depends on at least one program-defined type.

Date: 2018-12-21.00:00:00

[ 2018-12-21 Reflector prioritization ]

Set Priority to 3

Date: 2018-12-11.00:00:00

The permission denoted by [namespace.std]/3 should be limited to program-defined types.

History
Date User Action Args
2018-12-21 15:26:00adminsetmessages: + msg10266
2018-12-16 12:00:40adminsetmessages: + msg10260
2018-12-11 00:00:00admincreate