std::is_array

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

Это UnaryTypeTrait.

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

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

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

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

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

template< class T >
inline constexpr bool is_array_v = is_array<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>

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

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

См. также

is_bounded_array (C++20)	проверяет, является ли тип массивом известной границы (шаблон класса)
is_unbounded_array (C++20)	проверяет, является ли тип массивом неизвестной границы (шаблон класса)
rank (C++11)	получает число измерений типа массива (шаблон класса)
extent (C++11)	получает размер типа массива по заданному измерению (шаблон класса)
remove_extent (C++11)	удаляет одно измерение из заданного типа массива (шаблон класса)
remove_all_extents (C++11)	удаляет все измерения из заданного типа массива (шаблон класса)

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