C++ Language/Templates/Traits/UnaryPredicateTraits

A "predicate trait" is a boolean value based on some characteristic of a type. C++ provides many built-in "dummy templates" for a variety of these characteristics (e.g.,  resolves to   at compile-time).

Additional information about unary predicate traits (includes interactive examples)