std::extent
Материал из cppreference.com
| Определено в заголовочном файле <type_traits>
|
||
| template< class T, unsigned N = 0 > struct extent; |
(начиная с C++11) | |
Если T является типом массива, предоставляет константу-элемент value, равную количеству элементов в Nом измерении массива, если N входит в интервал [0, std::rank<T>::value). Для любого другого типа или если T является массивом с неизвестными границами для его первого измерения, а N равно {c|0}}, value равна {c|0}}.
Поведение программы, добавляющей специализации для std::extent или std::extent_v (начиная с C++17) не определено.
Содержание |
[править] Вспомогательная шаблонная переменная
| template< class T, unsigned N = 0 > inline constexpr std::size_t extent_v = extent<T, N>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы элементы
| value [static] |
количество элементов по N-му измерению T (public static константа-элемент) |
Функции-элементы
| operator std::size_t |
преобразует объект в std::size_t, возвращает value (public функция-элемент) |
| operator() (C++14) |
возвращает value (public функция-элемент) |
Типы элементы
| Тип | Определение |
value_type
|
std::size_t |
type
|
std::integral_constant<std::size_t, value> |
[править] Возможная реализация
template<class T, unsigned N = 0> struct extent : std::integral_constant<std::size_t, 0> {}; template<class T> struct extent<T[], 0> : std::integral_constant<std::size_t, 0> {}; template<class T, unsigned N> struct extent<T[], N> : std::extent<T, N-1> {}; template<class T, std::size_t I> struct extent<T[I], 0> : std::integral_constant<std::size_t, I> {}; template<class T, std::size_t I, unsigned N> struct extent<T[I], N> : std::extent<T, N-1> {}; |
[править] Пример
Запустить этот код
#include <iostream> #include <type_traits> int main() { static_assert( std::extent_v<int[3]> == 3 && //< default dimension is 0 std::extent_v<int[3], 0> == 3 && //< the same as above std::extent_v<int[3][4], 0> == 3 && std::extent_v<int[3][4], 1> == 4 && std::extent_v<int[3][4], 2> == 0 && std::extent_v<int[]> == 0 ); const auto ext = std::extent<int['*']>{}; std::cout << ext << '\n'; //< неявное преобразование в std::size_t const int ints[] = {1,2,3,4}; static_assert(std::extent_v<decltype(ints)> == 4); //< размер массива [[maybe_unused]] int ary[][3]={{1,2,3}}; // ary[0] является ссылочным типом 'int[3]', поэтому размер // не может быть правильно рассчитан и возвращает 0 static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>); static_assert(std::extent_v<decltype(ary[0])> == 0); // удаление ссылки даст правильное значение размера 3 static_assert(std::extent_v<std::remove_cvref_t<decltype(ary[0])>> == 3); }
Вывод:
42
[править] Смотрите также
| (C++11) |
проверяет, является ли тип типом массива (шаблон класса) |
| (C++11) |
получает количество измерений типа, являющегося массивом (шаблон класса) |
| (C++11) |
удаляет одну размерность из данного типа массива (шаблон класса) |
| (C++11) |
удаляет все измерения из данного типа массива (шаблон класса) |
