21
Metaprogramming library
[meta]
21.3
Metaprogramming and type traits
[type.traits]
21.3.5
Unary type traits
[meta.unary]
21.3.5.1
General
[meta.unary.general]
1
#
Subclause
[meta.
unary]
contains templates that may be used to query the properties of a type at compile time
.
2
#
Each of these templates shall be a
Cpp17UnaryTypeTrait
(
[meta.
rqmts]
) with a base characteristic of
true_
type
if the corresponding condition is
true
, otherwise
false_
type
.