tmp/tmp2nurw7ij/{from.md → to.md}
RENAMED
|
@@ -15,10 +15,21 @@ If a function template or member function of a class template is called
|
|
| 15 |
in a way which uses the definition of a default argument of that
|
| 16 |
function template or member function, the point of instantiation of the
|
| 17 |
default argument is the point of instantiation of the function template
|
| 18 |
or member function specialization.
|
| 19 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
For a class template specialization, a class member template
|
| 21 |
specialization, or a specialization for a class member of a class
|
| 22 |
template, if the specialization is implicitly instantiated because it is
|
| 23 |
referenced from within another template specialization, if the context
|
| 24 |
from which the specialization is referenced depends on a template
|
|
|
|
| 15 |
in a way which uses the definition of a default argument of that
|
| 16 |
function template or member function, the point of instantiation of the
|
| 17 |
default argument is the point of instantiation of the function template
|
| 18 |
or member function specialization.
|
| 19 |
|
| 20 |
+
For an *exception-specification* of a function template specialization
|
| 21 |
+
or specialization of a member function of a class template, if the
|
| 22 |
+
*exception-specification* is implicitly instantiated because it is
|
| 23 |
+
needed by another template specialization and the context that requires
|
| 24 |
+
it depends on a template parameter, the point of instantiation of the
|
| 25 |
+
*exception-specification* is the point of instantiation of the
|
| 26 |
+
specialization that requires it. Otherwise, the point of instantiation
|
| 27 |
+
for such an *exception-specification* immediately follows the namespace
|
| 28 |
+
scope declaration or definition that requires the
|
| 29 |
+
*exception-specification*.
|
| 30 |
+
|
| 31 |
For a class template specialization, a class member template
|
| 32 |
specialization, or a specialization for a class member of a class
|
| 33 |
template, if the specialization is implicitly instantiated because it is
|
| 34 |
referenced from within another template specialization, if the context
|
| 35 |
from which the specialization is referenced depends on a template
|