tmp/tmpnfej7h3o/{from.md → to.md}
RENAMED
|
@@ -4,20 +4,21 @@ The behavior of a C++program is undefined if it adds declarations or
|
|
| 4 |
definitions to namespace `std` or to a namespace within namespace `std`
|
| 5 |
unless otherwise specified. A program may add a template specialization
|
| 6 |
for any standard library template to namespace `std` only if the
|
| 7 |
declaration depends on a user-defined type and the specialization meets
|
| 8 |
the standard library requirements for the original template and is not
|
| 9 |
-
explicitly prohibited.[^
|
| 10 |
|
| 11 |
The behavior of a C++program is undefined if it declares
|
| 12 |
|
| 13 |
- an explicit specialization of any member function of a standard
|
| 14 |
library class template, or
|
| 15 |
- an explicit specialization of any member function template of a
|
| 16 |
standard library class or class template, or
|
| 17 |
- an explicit or partial specialization of any member class template of
|
| 18 |
-
a standard library class or class template
|
|
|
|
| 19 |
|
| 20 |
A program may explicitly instantiate a template defined in the standard
|
| 21 |
library only if the declaration depends on the name of a user-defined
|
| 22 |
type and the instantiation meets the standard library requirements for
|
| 23 |
the original template.
|
|
|
|
| 4 |
definitions to namespace `std` or to a namespace within namespace `std`
|
| 5 |
unless otherwise specified. A program may add a template specialization
|
| 6 |
for any standard library template to namespace `std` only if the
|
| 7 |
declaration depends on a user-defined type and the specialization meets
|
| 8 |
the standard library requirements for the original template and is not
|
| 9 |
+
explicitly prohibited.[^21]
|
| 10 |
|
| 11 |
The behavior of a C++program is undefined if it declares
|
| 12 |
|
| 13 |
- an explicit specialization of any member function of a standard
|
| 14 |
library class template, or
|
| 15 |
- an explicit specialization of any member function template of a
|
| 16 |
standard library class or class template, or
|
| 17 |
- an explicit or partial specialization of any member class template of
|
| 18 |
+
a standard library class or class template, or
|
| 19 |
+
- a deduction guide for any standard library class template.
|
| 20 |
|
| 21 |
A program may explicitly instantiate a template defined in the standard
|
| 22 |
library only if the declaration depends on the name of a user-defined
|
| 23 |
type and the instantiation meets the standard library requirements for
|
| 24 |
the original template.
|