std::is_unbounded_array

template< class T >
struct is_unbounded_array;

std::is_unbounded_array — это унарный типовой признак.

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

Если программа добавляет специализации для std::is_unbounded_array или std::is_unbounded_array_v, поведение не определено.

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

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

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

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

template<class T>
struct is_unbounded_array: std::false_type {};

template<class T>
struct is_unbounded_array<T[]> : std::true_type {};

Примечания

Пример

#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() {}

См. также