Section: 184.108.40.206.1 [namespace.std] Status: C++11 Submitter: LWG Opened: 2009-06-28 Last modified: 2016-01-28 10:19:27 UTC
Priority: Not Prioritized
View all other issues in [namespace.std].
View all issues with C++11 status.
Addresses UK 175
Local types can now be used to instantiate templates, but don't have external linkage.
Remove the reference to external linkage.
We accept the proposed solution. Martin will draft an issue.
[ 2009-07-28 Alisdair provided wording. ]
[ 2009-10 Santa Cruz: ]
Moved to Ready.
Strike "of external linkage" in p1 and p2:
-1- The behavior of a C++ program is undefined if it adds declarations or definitions to namespace std or to a namespace within namespace std unless otherwise specified. A program may add a concept map for any standard library concept or a template specialization for any standard library template to namespace std only if the declaration depends on a user-defined type
of external linkageand the specialization meets the standard library requirements for the original template and is not explicitly prohibited.179
-2- The behavior of a C++ program is undefined if it declares
- an explicit specialization of any member function of a standard library class template, or
- an explicit specialization of any member function template of a standard library class or class template, or
- an explicit or partial specialization of any member class template of a standard library class or class template.
A program may explicitly instantiate a template defined in the standard library only if the declaration depends on the name of a user-defined type
of external linkageand the instantiation meets the standard library requirements for the original template.