21
Metaprogramming library
[meta]
21.3
Metaprogramming and type traits
[type.traits]
21.3.7
Type property queries
[meta.unary.prop.query]
Table 55 — Type property queries
[tab:meta.unary.prop.query]
π
Template
Value
π
template
<
class
T
>
struct
alignment_
of;
alignof
(
T
)
.
Mandates
:
alignof
(
T
)
is a valid expression (
[expr.
alignof]
)
π
template
<
class
T
>
struct
rank;
If
T
is an array type, an integer value representing the number of dimensions of
T
; otherwise, 0
.
π
template
<
class
T,
unsigned
I
=
0
>
struct
extent;
If
T
is not an array type, or if it has rank less than or equal to
I
, or if
I
is 0 and
T
has type βarray of unknown bound of
U
β, then 0; otherwise, the bound (
[dcl.
array]
) of the
I
th
dimension of
T
, where indexing of
I
is zero-based