Annex A
(informative)
Grammar summary
[gram]
A.11
Templates
[gram.temp]
template-declaration
:
template-head
declaration
template-head
concept-definition
template-head
:
template
<
template-parameter-list
>
requires-clause
o
p
t
template-parameter-list
:
template-parameter
template-parameter-list
,
template-parameter
requires-clause
:
requires
constraint-logical-or-expression
constraint-logical-or-expression
:
constraint-logical-and-expression
constraint-logical-or-expression
|
|
constraint-logical-and-expression
constraint-logical-and-expression
:
primary-expression
constraint-logical-and-expression
&
&
primary-expression
template-parameter
:
type-parameter
parameter-declaration
type-tt-parameter
variable-tt-parameter
concept-tt-parameter
type-parameter
:
type-parameter-key
.
.
.
o
p
t
identifier
o
p
t
type-parameter-key
identifier
o
p
t
=
type-id
type-constraint
.
.
.
o
p
t
identifier
o
p
t
type-constraint
identifier
o
p
t
=
type-id
type-parameter-key
:
class
typename
type-constraint
:
nested-name-specifier
o
p
t
concept-name
nested-name-specifier
o
p
t
concept-name
<
template-argument-list
o
p
t
>
type-tt-parameter
:
template-head
type-parameter-key
.
.
.
o
p
t
identifier
o
p
t
template-head
type-parameter-key
identifier
o
p
t
type-tt-parameter-default
type-tt-parameter-default
:
=
nested-name-specifier
o
p
t
template-name
=
nested-name-specifier
template
template-name
variable-tt-parameter
:
template-head
auto
.
.
.
o
p
t
identifier
o
p
t
template-head
auto
identifier
o
p
t
=
nested-name-specifier
o
p
t
template-name
concept-tt-parameter
:
template
<
template-parameter-list
>
concept
.
.
.
o
p
t
identifier
o
p
t
template
<
template-parameter-list
>
concept
identifier
o
p
t
=
nested-name-specifier
o
p
t
template-name
simple-template-id
:
template-name
<
template-argument-list
o
p
t
>
template-id
:
simple-template-id
operator-function-id
<
template-argument-list
o
p
t
>
literal-operator-id
<
template-argument-list
o
p
t
>
template-name
:
simple-template-name
pack-index-template-name
pack-index-template-name
:
simple-template-name
.
.
.
[
constant-expression
]
simple-template-name
:
identifier
template-argument-list
:
template-argument
.
.
.
o
p
t
template-argument-list
,
template-argument
.
.
.
o
p
t
template-argument
:
template-argument-name
constant-expression
type-id
braced-init-list
template-argument-name
:
nested-name-specifier
o
p
t
identifier
nested-name-specifier
template
identifier
constraint-expression
:
logical-or-expression
deduction-guide
:
explicit-specifier
o
p
t
simple-template-name
(
parameter-declaration-clause
)
-
>
simple-template-id
requires-clause
o
p
t
;
concept-definition
:
concept
concept-name
attribute-specifier-seq
o
p
t
=
constraint-expression
;
concept-name
:
identifier
typename-specifier
:
typename
nested-name-specifier
identifier
typename
nested-name-specifier
template
o
p
t
simple-template-id
explicit-instantiation
:
extern
o
p
t
template
declaration
explicit-specialization
:
template
<
>
declaration