[meta.unary.comp] (original) (raw)
For any given type T, the result of applying one of these templates toT and to cv T shall yield the same result.
Table 53 — Composite type category predicates [tab:meta.unary.comp]
| 🔗Template | Condition | Comments |
|---|---|---|
| 🔗template<class T>struct is_reference; | T is an lvalue reference or an rvalue reference | |
| 🔗template<class T>struct is_arithmetic; | T is an arithmetic type ([basic.fundamental]) | |
| 🔗template<class T>struct is_fundamental; | T is a fundamental type ([basic.fundamental]) | |
| 🔗template<class T>struct is_object; | T is an object type ([basic.types.general]) | |
| 🔗template<class T>struct is_scalar; | T is a scalar type ([basic.types.general]) | |
| 🔗template<class T>struct is_compound; | T is a compound type ([basic.compound]) | |
| 🔗template<class T>struct is_member_pointer; | T is a pointer-to-member type ([basic.compound]) |