std::extent

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения (C++11)

Атомарные операции (C++11)

Потоки (C++11)

Файловая система (C++17)

Технические спецификации

 

Утилиты библиотеки

Поддежка типов (базовые типы, RTTI, type traits)

Динамическое управление памятью

Обработка ошибок

Управление жизненным циклом программы

Функции с переменным числом аргументов

Дата и время

Функциональные объекты

initializer_list Шаблон:lines

bitset

hash Шаблон:lines

Реляционные операторы

rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=

Пары и кортежи

pair

tuple Шаблон:lines

piecewise_construct_t Шаблон:lines

piecewise_construct Шаблон:lines

Обмен, передача и перемещение

swap

forward Шаблон:lines

move Шаблон:lines

move_if_noexcept Шаблон:lines

declval Шаблон:lines

 

Поддержка типов

Основные типы Оригинал: Basic types Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
ptrdiff_t size_t max_align_t Шаблон:lines	nullptr_t Шаблон:lines offsetof NULL
Числовые пределы Оригинал: Numeric limits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
numeric_limits
С числовым ограничивает интерфейс
Время тип информации Оригинал: Runtime type information Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
type_info type_index Шаблон:lines	bad_typeid bad_cast
Тип черты Оригинал: Type traits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа Оригинал: Primary type categories Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_void Шаблон:lines is_array Шаблон:lines is_pointer Шаблон:lines is_enum Шаблон:lines is_union Шаблон:lines is_class Шаблон:lines is_function Шаблон:lines	is_object Шаблон:lines is_scalar Шаблон:lines is_compound Шаблон:lines is_integral Шаблон:lines is_floating_point Шаблон:lines is_fundamental Шаблон:lines is_arithmetic Шаблон:lines
is_reference Шаблон:lines
is_lvalue_reference Шаблон:lines
is_rvalue_reference Шаблон:lines
is_member_pointer Шаблон:lines
is_member_object_pointer Шаблон:lines
is_member_function_pointer Шаблон:lines

Тип свойства Оригинал: Type properties Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_const Шаблон:lines is_volatile Шаблон:lines is_pod Шаблон:lines is_empty Шаблон:lines is_polymorphic Шаблон:lines is_abstract Шаблон:lines	is_trivial Шаблон:lines is_trivially_copyable Шаблон:lines is_standard_layout Шаблон:lines is_literal_type Шаблон:lines is_signed Шаблон:lines is_unsigned Шаблон:lines

Поддерживаемые операции Оригинал: Supported operations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_constructibleis_trivially_constructibleis_nothrow_constructible Шаблон:lines
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible Шаблон:lines
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible Шаблон:lines
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible Шаблон:lines
is_assignableis_trivially_assignableis_nothrow_assignable Шаблон:lines
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable Шаблон:lines
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable Шаблон:lines
is_destructibleis_trivially_destructibleis_nothrow_destructible Шаблон:lines
has_virtual_destructor Шаблон:lines
Отношения собственности и запросов Оригинал: Relationships and property queries Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_same Шаблон:lines is_base_of Шаблон:lines is_convertible Шаблон:lines	alignment_of Шаблон:lines rank Шаблон:lines extent Шаблон:lines
Тип модификаций Оригинал: Type modifications Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
remove_cvremove_constremove_volatile Шаблон:lines add_cvadd_constadd_volatile Шаблон:lines make_signed Шаблон:lines make_unsigned Шаблон:lines	remove_reference Шаблон:lines add_lvalue_referenceadd_rvalue_reference Шаблон:lines remove_pointer Шаблон:lines add_pointer Шаблон:lines remove_extent Шаблон:lines remove_all_extents Шаблон:lines
Тип преобразования Оригинал: Type transformations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
aligned_storage Шаблон:lines aligned_union Шаблон:lines decay Шаблон:lines enable_if Шаблон:lines	conditional Шаблон:lines common_type Шаблон:lines underlying_type Шаблон:lines result_of Шаблон:lines
Характеристики типов констант Оригинал: Type trait constants Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
integral_constant Шаблон:lines

 

Defined in header <type_traits>
template< class T, unsigned N = 0> struct extent;		(начиная с C++11)

Если T является типом массива, то предоставляет константу-член value, которая будет равна количеству элементов в N-ом измерении массива, если N входит в интервал [0, std::rank<T>::value). Для всех остальных типов или, если T является массивом с неизвестными границами для его первого измерения и N равно 0, то она равна 0.

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

template< class T, unsigned N = 0 > 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::integral_constant<std::size_t, std::extent<T, N-1>::value> {};   template<class T, std::size_t N> struct extent<T[N], 0> : std::integral_constant<std::size_t, N> {};   template<class T, std::size_t I, unsigned N> struct extent<T[I], N> : std::integral_constant<std::size_t, std::extent<T, N-1>::value> {};

Пример

Запустить этот код

#include <iostream>
#include <type_traits>
 
int main()
{
    std::cout << std::extent<int[3]>::value << '\n'; //< по умолчанию используется 0 измерение
    std::cout << std::extent<int[3][4], 0>::value << '\n';
    std::cout << std::extent<int[3][4], 1>::value << '\n';
    std::cout << std::extent<int[3][4], 2>::value << '\n';
    std::cout << std::extent<int[]>::value << '\n';
 
    const auto ext = std::extent<int[9]>{};
    std::cout << ext << '\n'; //< неявное преобразование в std::size_t
 
    const int ints[] = {1,2,3,4};
    std::cout << std::extent<decltype(ints)>::value << '\n'; //< размер массива
}

Вывод:

3
3
4
0
0
9
4

См. также

is_array (C++11)	Проверяет является ли тип типом массива или нет (шаблон класса)
rank (C++11)	Получает число измерений массива (шаблон класса)
remove_extent (C++11)	Удаляет одно измерение от данного типа массива (шаблон класса)
remove_all_extents (C++11)	Удаляет все измерения от данного типа массива (шаблон класса)
std::experimental::extent_v (library fundamentals TS)	Шаблонная переменная, являющая псевдонимом для std::extent::value (шаблонная переменная)