std::is_compound

Определено в заголовке `<type_traits>`
template< class T > struct is_compound;		(с C++11)

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

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

Поведение программы, добавляющей специализации для std::is_compound или std::is_compound_v является неопределённым.

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

тип для проверки

Вспомогательная переменная-шаблон

template< class T >
inline constexpr bool is_compound_v = is_compound<T>::value;

(с C++17)

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

Члены-константы

value

[static]

true если T является составным типом, false в противном случае
(публичная статическая член-константа)

Члены-функции

operator bool	преобразует объект в bool, возвращает `value` (публичная член-функция)
operator() (C++14)	возвращает `value` (публичная член-функция)

Типы членов

Тип	Определение
`value_type`	bool
`type`	std::integral_constant<bool, value>

Примечания

Составные типы — это типы, построенные из фундаментальных типов. Любой тип C++ либо фундаментальный, либо составной.

Возможная реализация

template<class T>
struct is_compound : std::integral_constant<bool, !std::is_fundamental<T>::value> {};

Пример

#include <type_traits>
 
static_assert(not std::is_compound_v<int>);
static_assert(std::is_compound_v<int*>);
static_assert(std::is_compound_v<int&>);
 
void f();
static_assert(std::is_compound_v<decltype(f)>);
static_assert(std::is_compound_v<decltype(&f)>);
 
static_assert(std::is_compound_v<char['a']>);
 
class C {};
static_assert(std::is_compound_v<C>);
 
union U {};
static_assert(std::is_compound_v<U>);
 
enum struct E { e };
static_assert(std::is_compound_v<E>);
static_assert(std::is_compound_v<decltype(E::e)>);
 
struct S
{
    int i : 8;
    int j;
    void foo();
};
static_assert(not std::is_compound_v<decltype(S::i)>);
static_assert(not std::is_compound_v<decltype(S::j)>);
static_assert(std::is_compound_v<decltype(&S::j)>);
static_assert(std::is_compound_v<decltype(&S::foo)>);
 
int main() {}

См. также

is_fundamental (C++11)	проверяет, является ли тип фундаментальным типом (шаблон класса)
is_scalar (C++11)	проверяет, является ли тип скалярным типом (шаблон класса)
is_object (C++11)	проверяет, является ли тип типом объекта (шаблон класса)
is_array (C++11)	проверяет, является ли тип массивом (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/is_compound