std::is_array
Материал из cppreference.com
Определено в заголовочном файле <type_traits> | ||
template<class T > struct is_array; | (начиная с C++11) | |
std::is_array является UnaryTypeTrait.
Проверяет, является ли T типом массива. Предоставляет константу-элемент value, которая равна true, если T является типом массива. Иначе value равно false.
Поведение программы, добавляющей специализации для std::is_arrayили std::is_array_v(начиная с C++17) не определено.
Содержание |
[править]Параметры шаблона
| T | — | тип для проверки |
[править]Шаблон вспомогательной переменной
template<class T > inlineconstexprbool is_array_v = is_array<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_array :std::false_type{}; template<class T>struct is_array<T[]>:std::true_type{}; template<class T, std::size_t N>struct is_array<T[N]>:std::true_type{}; |
[править]Пример
Запустить этот код
#include <array>#include <iostream>#include <type_traits> class A {}; int main(){std::cout<<std::boolalpha;std::cout<< std::is_array<A>::value<<'\n';std::cout<< std::is_array<A[]>::value<<'\n';std::cout<< std::is_array<A[3]>::value<<'\n';std::cout<< std::is_array<float>::value<<'\n';std::cout<< std::is_array<int>::value<<'\n';std::cout<< std::is_array<int[]>::value<<'\n';std::cout<< std::is_array<int[3]>::value<<'\n';std::cout<< std::is_array<std::array<int, 3>>::value<<'\n';}
Вывод:
false true true false false true true false
[править]Смотрите также
(C++20) | проверяет, является ли тип типом массива с известной границей (шаблон класса) |
(C++20) | проверяет, является ли тип типом массива с неизвестной границей (шаблон класса) |
(C++11) | получает количество измерений типа, являющегося массивом (шаблон класса) |
(C++11) | получает размер типа массива по указанному измерению (шаблон класса) |
(C++11) | удаляет одну размерность из данного типа массива (шаблон класса) |
(C++11) | удаляет все измерения из данного типа массива (шаблон класса) |
