std::is_object — cppreference.com

Материал из cppreference.com


`template< class T > struct is_object;`		(начиная с C++11)

std::is_object является UnaryTypeTrait.

Если T является объектным типом (то есть любым, возможно, cv-квалифицированным типом, отличным от типов функций, ссылок или void), предоставляет константу элемент value равную true. Для любого другого типа value равна false.

Поведение программы, добавляющей специализации для std::is_object или std::is_object_v (начиная с C++17) не определено.

Параметры шаблона

Шаблон вспомогательной переменной

`template< class T > inline constexpr bool is_object_v = is_object<T>::value;`		(начиная с C++17)

Унаследован от std::integral_constant

Константы элементы

true, если T это объектный тип, false иначе
(public static константа-элемент)

Функции-элементы

	преобразует объект в `bool`, возвращает `value` (public функция-элемент)
	возвращает `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> {};

Пример

#include <iomanip>
#include <iostream>
#include <type_traits>
 
#define IS_OBJECT(...) \
    std::cout << std::boolalpha << std::left << std::setw(9) << #__VA_ARGS__ \
              << (std::is_object_v<__VA_ARGS__> ? " объект\n" \
                                                : " не объект\n")

int main()
{
    class cls {};

    IS_OBJECT( void );
    IS_OBJECT( int );
    IS_OBJECT( int& );
    IS_OBJECT( int* );
    IS_OBJECT( int*& );
    IS_OBJECT( cls );
    IS_OBJECT( cls& );
    IS_OBJECT( cls* );
    IS_OBJECT( int() );
    IS_OBJECT( int(*)() );
    IS_OBJECT( int(&)() );
}

Вывод:

void      не объект
int       объект
int&      не объект
int*      объект
int*&     не объект
cls       объект
cls&      не объект
cls*      объект
int()     не объект
int(*)()  объект
int(&)()  не объект

Смотрите также

	проверяет, является ли тип целочисленным типом (шаблон класса) [править]
	проверяет, является ли тип типом массива (шаблон класса) [править]
	проверяет, является ли тип типом объединения (шаблон класса) [править]
	проверяет, является ли тип типом класса не объединения (шаблон класса) [править]

Категории: