[temp.explicit] - C++11 → C++14

Files changed (1) hide show

tmp/tmpk3r3mh9d/{from.md → to.md} +50 -44

tmp/tmpk3r3mh9d/{from.md → to.md} RENAMED Viewed

@@ -1,13 +1,14 @@
 ### Explicit instantiation <a id="temp.explicit">[[temp.explicit]]</a>
-A class, a function or member template specialization can be explicitly
-instantiated from its template. A member function, member class or
-static data member of a class template can be explicitly instantiated
-from the member definition associated with its class template. An
-explicit instantiation of a function template or member function of a
-class template shall not use the `inline` or `constexpr` specifiers.
 The syntax for explicit instantiation is:
 ``` bnf
 explicit-instantiation:
@@ -27,17 +28,18 @@ a *template-name* or *operator-function-id*. The declaration may declare
 a *qualified-id*, in which case the *unqualified-id* of the
 *qualified-id* must be a *template-id*. If the explicit instantiation is
 for a member function, a member class or a static data member of a class
 template specialization, the name of the class template specialization
 in the *qualified-id* for the member name shall be a
-*simple-template-id*. An explicit instantiation shall appear in an
-enclosing namespace of its template. If the name declared in the
-explicit instantiation is an unqualified name, the explicit
-instantiation shall appear in the namespace where its template is
-declared or, if that namespace is inline ([[namespace.def]]), any
-namespace from its enclosing namespace set. Regarding qualified names in
-declarators, see  [[dcl.meaning]].
 ``` cpp
 template<class T> class Array { void mf(); };
 template class Array<char>;
 template void Array<int>::mf();
@@ -49,35 +51,36 @@ namespace N {
   template<class T> void f(T&) { }
 }
 template void N::f<int>(int&);
 ```
-A declaration of a function template, a member function or static data
-member of a class template, or a member function template of a class or
-class template shall precede an explicit instantiation of that entity. A
-definition of a class template, a member class of a class template, or a
-member class template of a class or class template shall precede an
-explicit instantiation of that entity unless the explicit instantiation
-is preceded by an explicit specialization of the entity with the same
-template arguments. If the *declaration* of the explicit instantiation
-names an implicitly-declared special member function (Clause
-[[special]]), the program is ill-formed.
 For a given set of template arguments, if an explicit instantiation of a
 template appears after a declaration of an explicit specialization for
 that template, the explicit instantiation has no effect. Otherwise, for
 an explicit instantiation definition the definition of a function
-template, a member function template, or a member function or static
-data member of a class template shall be present in every translation
-unit in which it is explicitly instantiated.
-An explicit instantiation of a class or function template specialization
-is placed in the namespace in which the template is defined. An explicit
-instantiation for a member of a class template is placed in the
-namespace where the enclosing class template is defined. An explicit
-instantiation for a member template is placed in the namespace where the
-enclosing class or class template is defined.
 ``` cpp
 namespace N {
   template<class T> class Y { void mf() { } };
 }
@@ -108,28 +111,31 @@ template void sort<>(Array<int>&);
 ```
 An explicit instantiation that names a class template specialization is
 also an explicit instantiation of the same kind (declaration or
 definition) of each of its members (not including members inherited from
-base classes) that has not been previously explicitly specialized in the
-translation unit containing the explicit instantiation, except as
-described below. In addition, it will typically be an explicit
-instantiation of certain implementation-dependent data about the class.
 An explicit instantiation definition that names a class template
 specialization explicitly instantiates the class template specialization
 and is an explicit instantiation definition of only those members that
 have been defined at the point of instantiation.
-Except for inline functions and class template specializations, explicit
-instantiation declarations have the effect of suppressing the implicit
-instantiation of the entity to which they refer. The intent is that an
-inline function that is the subject of an explicit instantiation
-declaration will still be implicitly instantiated when odr-used (
-[[basic.def.odr]]) so that the body can be considered for inlining, but
-that no out-of-line copy of the inline function would be generated in
-the translation unit.
 If an entity is the subject of both an explicit instantiation
 declaration and an explicit instantiation definition in the same
 translation unit, the definition shall follow the declaration. An entity
 that is the subject of an explicit instantiation declaration and that is

 ### Explicit instantiation <a id="temp.explicit">[[temp.explicit]]</a>
+A class, function, variable, or member template specialization can be
+explicitly instantiated from its template. A member function, member
+class or static data member of a class template can be explicitly
+instantiated from the member definition associated with its class
+template. An explicit instantiation of a function template or member
+function of a class template shall not use the `inline` or `constexpr`
+specifiers.
 The syntax for explicit instantiation is:
 ``` bnf
 explicit-instantiation:
 a *qualified-id*, in which case the *unqualified-id* of the
 *qualified-id* must be a *template-id*. If the explicit instantiation is
 for a member function, a member class or a static data member of a class
 template specialization, the name of the class template specialization
 in the *qualified-id* for the member name shall be a
+*simple-template-id*. If the explicit instantiation is for a variable,
+the *unqualified-id* in the declaration shall be a *template-id*. An
+explicit instantiation shall appear in an enclosing namespace of its
+template. If the name declared in the explicit instantiation is an
+unqualified name, the explicit instantiation shall appear in the
+namespace where its template is declared or, if that namespace is
+inline ([[namespace.def]]), any namespace from its enclosing namespace
+set. Regarding qualified names in declarators, see  [[dcl.meaning]].
 ``` cpp
 template<class T> class Array { void mf(); };
 template class Array<char>;
 template void Array<int>::mf();
   template<class T> void f(T&) { }
 }
 template void N::f<int>(int&);
 ```
+A declaration of a function template, a variable template, a member
+function or static data member of a class template, or a member function
+template of a class or class template shall precede an explicit
+instantiation of that entity. A definition of a class template, a member
+class of a class template, or a member class template of a class or
+class template shall precede an explicit instantiation of that entity
+unless the explicit instantiation is preceded by an explicit
+specialization of the entity with the same template arguments. If the
+*declaration* of the explicit instantiation names an implicitly-declared
+special member function (Clause  [[special]]), the program is
+ill-formed.
 For a given set of template arguments, if an explicit instantiation of a
 template appears after a declaration of an explicit specialization for
 that template, the explicit instantiation has no effect. Otherwise, for
 an explicit instantiation definition the definition of a function
+template, a variable template, a member function template, or a member
+function or static data member of a class template shall be present in
+every translation unit in which it is explicitly instantiated.
+An explicit instantiation of a class, function template, or variable
+template specialization is placed in the namespace in which the template
+is defined. An explicit instantiation for a member of a class template
+is placed in the namespace where the enclosing class template is
+defined. An explicit instantiation for a member template is placed in
+the namespace where the enclosing class or class template is defined.
 ``` cpp
 namespace N {
   template<class T> class Y { void mf() { } };
 }
 ```
 An explicit instantiation that names a class template specialization is
 also an explicit instantiation of the same kind (declaration or
 definition) of each of its members (not including members inherited from
+base classes and members that are templates) that has not been
+previously explicitly specialized in the translation unit containing the
+explicit instantiation, except as described below. In addition, it will
+typically be an explicit instantiation of certain
+implementation-dependent data about the class.
 An explicit instantiation definition that names a class template
 specialization explicitly instantiates the class template specialization
 and is an explicit instantiation definition of only those members that
 have been defined at the point of instantiation.
+Except for inline functions, declarations with types deduced from their
+initializer or return value ([[dcl.spec.auto]]), `const` variables of
+literal types, variables of reference types, and class template
+specializations, explicit instantiation declarations have the effect of
+suppressing the implicit instantiation of the entity to which they
+refer. The intent is that an inline function that is the subject of an
+explicit instantiation declaration will still be implicitly instantiated
+when odr-used ([[basic.def.odr]]) so that the body can be considered
+for inlining, but that no out-of-line copy of the inline function would
+be generated in the translation unit.
 If an entity is the subject of both an explicit instantiation
 declaration and an explicit instantiation definition in the same
 translation unit, the definition shall follow the declaration. An entity
 that is the subject of an explicit instantiation declaration and that is

Diff to HTML by rtfpessoa