std::is_union

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

Это унарный тип-трейт.

Проверяет, является ли T типом-объединением. Предоставляет статическое член-константу value, которая равна true, если T является типом-объединением. В противном случае value равно false.

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

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

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

Вспомогательный шаблон переменной

template< class T >
inline constexpr bool is_union_v = is_union<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>

Пример

#include <iostream>
#include <type_traits>
 
struct A {};
 
typedef union
{
    int a;
    float b;
} B;
 
struct C { B d; };
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_union<A>::value << '\n';
    std::cout << std::is_union<B>::value << '\n';
    std::cout << std::is_union<C>::value << '\n';
    std::cout << std::is_union<int>::value << '\n';
}

Вывод:

false
true
false
false

См. также

is_class

(C++11)

проверяет, является ли тип классом, не являющимся типом-объединением
(шаблон класса)

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