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., std::is_floating_point<int>::value
resolves to false
at compile-time).
Additional information about unary predicate traits (includes interactive examples)