std::is_object
Материал из cppreference.com
| Определён в заголовочном файле <type_traits>
|
||
| template< class T > struct is_object; |
(начиная с C++11) | |
Если T является объектным типом (типы с возможными cv-квалификаторами , отличные от функций, ссылок или void) предоставляет константу-член value, которая будет равна true. Для других типов value будет равна false.
Содержание |
[править] Аргументы шаблона
| T | — | Тип для проверки |
[править] Вспомогательная шаблонная переменная
| template< class T > constexpr bool is_object_v = is_object<T>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы-члены
| value [static] |
true, если T является объектным типом , иначе false (public static константа-член) |
Функции-члены
| operator bool |
Преобразует объект в bool, возвращается value (public функция-член) |
| operator() (C++14) |
Возвращает value (public функция-член) |
Типы-члены
| Тип | Определение |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
[править] Возможная реализация
template< class T> struct is_object : std::integral_constant<bool, std::is_scalar<T>::value || std::is_array<T>::value || std::is_union<T>::value || std::is_class<T>::value> {}; |
[править] Пример
Запустить этот код
Вывод:
true false true false
[править] См. также
| (C++11) |
Проверяет является ли тип скалярным или нет (шаблон класса) |
| (C++11) |
Проверяет является ли тип типом массива или нет (шаблон класса) |
| (C++11) |
Проверяет является ли тип типом объединения или нет (шаблон класса) |
| (C++11) |
Проверяет является ли тип типом класса (но не объединения) или нет (шаблон класса) |
| (library fundamentals TS) |
Шаблонная переменная, являющая псевдонимом для std::is_object::value (шаблонная переменная) |

