std::is_class
Материал из cppreference.com
Определено в заголовочном файле <type_traits> | ||
template<class T > struct is_class; | (начиная с C++11) | |
std::is_class является UnaryTypeTrait.
Проверяет, является ли T типом класса не объединения. Предоставляет константу-элемент value, которая равна true, если T является типом класса (но не объединением). Иначе value равна false.
Поведение программы, добавляющей специализации для std::is_classили std::is_class_v(начиная с C++17) не определено.
Содержание |
[править]Параметры шаблона
| T | — | тип для проверки |
[править]Шаблон вспомогательной переменной
template<class T > inlineconstexprbool is_class_v = is_class<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> |
[править]Возможная реализация
namespace detail {template<class T>std::integral_constant<bool, !std::is_union<T>::value> test(int T::*); template<class>std::false_type test(...);} template<class T>struct is_class : decltype(detail::test<T>(nullptr)){}; |
[править]Пример
Запустить этот код
#include <iostream>#include <type_traits> struct A {}; class B {}; enumclass E {}; union U {class UC {};}; static_assert(not std::is_class_v<U>); static_assert(std::is_class_v<U::UC>); int main(){std::cout<<std::boolalpha;std::cout<< std::is_class<A>::value<<": A\n";std::cout<< std::is_class_v<B><<": B \n";std::cout<< std::is_class_v<B*><<": B* \n";std::cout<< std::is_class_v<B&><<": B& \n";std::cout<< std::is_class_v<const B><<": const B \n";std::cout<< std::is_class<E>::value<<": E\n";std::cout<< std::is_class_v<int><<": int\n";std::cout<< std::is_class_v<struct S><<": struct S (неполный)\n";std::cout<< std::is_class_v<class C><<": class C (неполный)\n";}
Вывод:
true: A true: B false: B* false: B& true: const B false: E false: int true: struct S (неполный) true: class C (неполный)
[править]Смотрите также
(C++11) | проверяет, является ли тип типом объединения (шаблон класса) |
