std::is_unbounded_array

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

Это UnaryTypeTrait.

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

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

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

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

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

template< class T >
inline constexpr bool is_unbounded_array_v = is_unbounded_array<T>::value;

(с C++20)

Наследуется от 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_unbounded_array: std::false_type {};
 
template<class T>
struct is_unbounded_array<T[]> : std::true_type {};

Примечания

Макроопределения для проверки наличия возможностей	Значение	Стандарт	Функция
`__cpp_lib_bounded_array_traits`	201902L	(C++20)	`std::is_bounded_array`, `std::is_unbounded_array`

Пример

#include <type_traits>
 
class A {};
 
static_assert
(""
    && std::is_unbounded_array_v<A> == false
    && std::is_unbounded_array_v<A[]> == true
    && std::is_unbounded_array_v<A[3]> == false
    && std::is_unbounded_array_v<float> == false
    && std::is_unbounded_array_v<int> == false
    && std::is_unbounded_array_v<int[]> == true
    && std::is_unbounded_array_v<int[3]> == false
);
 
int main() {}

См. также

is_array (C++11)	проверяет, является ли тип массивом (шаблон класса)
is_bounded_array (C++20)	проверяет, является ли тип массивом с известной длиной (шаблон класса)
extent (C++11)	получает размер массива по заданному измерению (шаблон класса)

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