Forward changes for Motion 3

Author: tkoeppe

source/templates.tex

@@ -116,7 +116,8 @@
 In a function template declaration, the \grammarterm{unqualified-id} of the
 \grammarterm{declarator-id} shall be a name.
 \begin{note}
-In a class template declaration, if the \grammarterm{class-name}
+In a class or variable template declaration, if the
+declared name
 is a
 \grammarterm{simple-template-id},
 the declaration declares a partial specialization\iref{temp.spec.partial}.
@@ -135,8 +136,8 @@
 \indextext{template name!linkage of}%
 A specialization (explicit or implicit) of one template is
 distinct from all specializations of any other template.
-A template, a template explicit specialization\iref{temp.expl.spec}, and a class
-template partial specialization shall not have C language linkage.
+A template, an explicit specialization\iref{temp.expl.spec}, and a
+partial specialization shall not have C language linkage.
 \begin{note}
 Default arguments for function templates and for member functions of
 class templates are considered definitions for the purpose of template
@@ -149,7 +150,7 @@
 name bound in the same scope\iref{basic.scope.scope}, except
 that a function template can share a name with non-template
 functions\iref{dcl.fct} and/or function templates\iref{temp.over}.
-Specializations, including partial specializations\iref{temp.class.spec},
+Specializations, including partial specializations\iref{temp.spec.partial},
 do not reintroduce or bind names.
 Their target scope is the target scope of the primary template,
 so all specializations of a template belong to the same scope as it does.
@@ -2162,6 +2163,11 @@
 a \grammarterm{template-argument-list} is
 a partial specialization of
 the template named in the declaration\iref{temp.class.spec}.
+\begin{note}
+A \grammarterm{template-id}
+cannot be the declared name of a primary template declaration.
+However, this syntax is allowed in partial specializations\iref{temp.spec.partial}.
+\end{note}
 
 \pnum
 For purposes of name lookup and instantiation,
@@ -3129,23 +3135,21 @@
 
 \pnum
 \indextext{specialization!class template partial}%
-A partial specialization of a class template provides an alternative definition
+A partial specialization of a template provides an alternative definition
 of the template that is used instead of the primary definition when the
 arguments in a specialization match those given in the partial
-specialization\iref{temp.class.spec.match}.
-A declaration of the primary template shall precede any specialization of
+specialization\iref{temp.spec.partial.match}.
+A declaration of the primary template shall precede any partial specialization of
 that template.
-A partial specialization shall be reachable from any use of a class template
+A partial specialization shall be reachable from any use of a template
 specialization that would make use of the partial specialization as the result of
 an implicit or explicit instantiation; no diagnostic is required.
 
 \pnum
 Two partial specialization declarations declare the same entity
 if they are partial specializations of the same template and have equivalent
 \grammarterm{template-head}s and template argument lists\iref{temp.over.link}.
-Each class template partial specialization is a distinct template and
-definitions shall be provided for the members of a template partial
-specialization\iref{temp.class.spec.mfunc}.
+Each partial specialization is a distinct template.
 
 \pnum
 \begin{example}
@@ -3181,10 +3185,10 @@
 \end{example}
 
 \pnum
-The template parameters are specified in the angle bracket enclosed list
+The template parameters of a template are specified in the angle bracket enclosed list
 that immediately follows the keyword \keyword{template}.
 The template argument list of a partial specialization is
-the \grammarterm{template-argument-list} of the \grammarterm{ class-name}.
+the \grammarterm{template-argument-list} of the \grammarterm{class-name}.
 
 \pnum
 A partial specialization may be declared in any
@@ -3452,7 +3456,6 @@
 \rSec3[temp.spec.partial.member]{Members of class template partial specializations}
 
 \pnum
-A class template partial specialization is a distinct template.
 The members of the class template partial specialization are
 unrelated to the members of the primary template.
 Class template partial specialization members that are used in a way that
@@ -4789,8 +4792,8 @@
 the name of the nested class referenced as a member of the
 current instantiation, or
 \item
-in the definition of a partial specialization
-or a member of a partial specialization, the name of
+in the definition of a class template partial specialization
+or a member of a class template partial specialization, the name of
 the class template followed by a template argument list
 equivalent to that of the partial specialization\iref{temp.class.spec}
 enclosed in \tcode{<>} (or an equivalent template alias specialization).