9
Declarations
[dcl.dcl]
9.2
Specifiers
[dcl.spec]
9.2.9
Type specifiers
[dcl.type]
9.2.9.4
Pack indexing specifier
[dcl.type.pack.index]
pack-index-specifier
:
typedef-name
.
.
.
[
constant-expression
]
1
#
The
typedef-name
P
in a
pack-index-specifier
shall denote a pack
.
2
#
The
constant-expression
shall be a converted constant expression (
[expr.
const]
) of type
std
::
size_
t
whose value
V
, termed the index, is such that
0
≤
V
<
sizeof
.
.
.
(
P
)
.
3
#
A
pack-index-specifier
is a pack expansion (
[temp.
variadic]
)
.
4
#
[
Note
1
:
The
pack-index-specifier
denotes the type of the
V
th
element of the pack
.
—
end note
]