Skip to content

Commit 2a492dd

Browse files
committed
Use template-parameter and template parameter more consistently
Try to use template-parameter only when we refer to a grammar construct, and to 'template parameter' everywhere else. Adopt the same logic to template-argument/template argument. This change might not be exhaustive. The aim is to editorially adopt some of the wording changes made in P2841R5 to ease its review in core.
1 parent d017ce4 commit 2a492dd

File tree

4 files changed

+92
-105
lines changed

4 files changed

+92
-105
lines changed

source/basic.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2097,8 +2097,8 @@
20972097
parameter types and return type.
20982098
Additionally, if the aforementioned overload set is named with
20992099
a \grammarterm{template-id}, its associated entities also include
2100-
its template \grammarterm{template-argument}{s} and
2101-
those associated with its type \grammarterm{template-argument}s.
2100+
its template template arguments and
2101+
those associated with its type template arguments.
21022102

21032103
\pnum
21042104
The \term{associated namespaces} for a call are

source/declarations.tex

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -773,7 +773,7 @@
773773
\indextext{class name!\idxcode{typedef}}%
774774
A \grammarterm{simple-template-id} is only a \grammarterm{typedef-name}
775775
if its \grammarterm{template-name} names
776-
an alias template or a template \grammarterm{template-parameter}.
776+
an alias template or a template template parameter.
777777
\begin{note}
778778
A \grammarterm{simple-template-id} that names a class template specialization
779779
is a \grammarterm{class-name}\iref{class.name}.
@@ -1652,8 +1652,8 @@
16521652
the specification of the structured binding declaration;
16531653

16541654
\item otherwise, if $E$ is an unparenthesized \grammarterm{id-expression}
1655-
naming a non-type \grammarterm{template-parameter}\iref{temp.param},
1656-
\tcode{decltype($E$)} is the type of the \grammarterm{template-parameter}
1655+
naming a non-type template parameter\iref{temp.param},
1656+
\tcode{decltype($E$)} is the type of the template parameter
16571657
after performing any necessary
16581658
type deduction\iref{dcl.spec.auto,dcl.type.class.deduct};
16591659

@@ -3994,7 +3994,7 @@
39943994
An abbreviated function template is equivalent to
39953995
a function template\iref{temp.fct}
39963996
whose \grammarterm{template-parameter-list} includes
3997-
one invented type \grammarterm{template-parameter}
3997+
one invented \grammarterm{type-parameter}
39983998
for each generic parameter type placeholder
39993999
of the function declaration, in order of appearance.
40004000
For a \grammarterm{placeholder-type-specifier} of the form \keyword{auto},
@@ -4004,7 +4004,7 @@
40044004
\grammarterm{type-constraint} \keyword{auto},
40054005
the invented parameter is a \grammarterm{type-parameter} with
40064006
that \grammarterm{type-constraint}.
4007-
The invented type \grammarterm{template-parameter} is
4007+
The invented \grammarterm{type-parameter} is
40084008
a template parameter pack
40094009
if the corresponding \grammarterm{parameter-declaration}
40104010
declares a function parameter pack.
@@ -4013,7 +4013,7 @@
40134013
The adjusted function parameters of an abbreviated function template
40144014
are derived from the \grammarterm{parameter-declaration-clause} by
40154015
replacing each occurrence of a placeholder with
4016-
the name of the corresponding invented \grammarterm{template-parameter}.
4016+
the name of the corresponding invented \grammarterm{type-parameter}.
40174017
\begin{example}
40184018
\begin{codeblock}
40194019
template<typename T> concept C1 = /* ... */;
@@ -4041,7 +4041,7 @@
40414041

40424042
\pnum
40434043
An abbreviated function template can have a \grammarterm{template-head}.
4044-
The invented \grammarterm{template-parameter}{s} are
4044+
The invented \grammarterm{type-parameter}{s} are
40454045
appended to the \grammarterm{template-parameter-list} after
40464046
the explicitly declared \grammarterm{template-parameter}{s}.
40474047
\begin{example}

source/overloading.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3113,8 +3113,7 @@
31133113
\item
31143114
an explicit type conversion\iref{expr.type.conv,expr.static.cast,expr.cast}, or
31153115
\item
3116-
a non-type
3117-
\grammarterm{template-parameter}\iref{temp.arg.nontype}.
3116+
a non-type template parameter\iref{temp.arg.nontype}.
31183117
\end{itemize}
31193118
The \grammarterm{id-expression} can be preceded by the \tcode{\&} operator.
31203119
\begin{note}
@@ -4098,7 +4097,8 @@
40984097
A \defnx{string literal operator template}{literal!operator!template string}
40994098
is a literal operator template whose \grammarterm{template-parameter-list}
41004099
comprises
4101-
a single non-type \grammarterm{template-parameter} of class type.
4100+
a single \grammarterm{parameter-declaration} that declares a
4101+
non-type template parameter of class type.
41024102
The declaration of a literal operator template
41034103
shall have an empty \grammarterm{parameter-declaration-clause}
41044104
and shall declare either a numeric literal operator template

0 commit comments

Comments
 (0)