Эти шаблоны предоставляют удобные композиции категорий первичного типа, соответствующие описаниям, приведенным в разделе [basic.types].
Для любого данного типа Tрезультат применения одного из этих шаблонов к T и к cv T должен дать одинаковый результат.
| Шаблон | Состояние | Комментарии |
|
template <class T> struct is_reference; | T ссылка lvalue или ссылка rvalue | |
|
template <class T> struct is_arithmetic; | T является arithmetic type | |
|
template <class T> struct is_fundamental; | T это fundamental type | |
|
template <class T> struct is_object; | T является object type | |
|
template <class T> struct is_scalar; | T это scalar type | |
|
template <class T> struct is_compound; | T это compound type | |
|
template <class T> struct is_member_pointer; | T является указателем на нестатический член данных или нестатическую функцию-член |