std::extent
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <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) не определено.
Вспомогательная шаблонная переменная
<tbody> </tbody> 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) |
удаляет все измерения из данного типа массива (шаблон класса) |