Расширения для диапазонов

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

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

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

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

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

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

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

Указатель символов

Внешние библиотеки

 

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

Библиотека файловой системы (ТС файловой системы)

Основы библиотеки (ТС основ библиотеки)

Основы библиотеки 2 (ТС основ библиотеки v2)

Основы библиотеки 3 (ТС основы библиотеки v3)

Расширения для параллелизма (ТС параллелизма)

Расширения для параллелизма 2 (ТС параллелизма v2)

Расширения для конкуренции 2 (ТС конкуренции v2)

Концепты (ТС концепций)

Диапазоны (ТС диапазонов)

Рефлексия (ТС рефлексии)

Специальные математические функции (ТО специальные функции)

 

Диапазоны

Концепты

Основные утилиты

Итераторы

Диапазоны

Алгоритмы

 

Расширения C++ для Диапазонов, ISO/IEC ТС 21425:2017, определяют одну модификацию ядра языка и определяют новые компоненты для стандартной библиотеки C++, перечисленные на этой странице.

ТС Диапазонов основана на стандарте C++14, изменённом ТС Концептов.

Изменения ядра языка

ТС Диапазонов изменяет спецификацию основанного на диапазоне цикла for, чтобы разрешить начальный и конечный итераторы разных типов. Это изменение разрешает использование ограничителей и также присутствует в C++17.

Концепты

Концепты ядра языка
Определены в заголовочном файле <experimental/ranges/concepts>
Определены в пространстве имён std::experimental::ranges
Same	указывает, что тип совпадает с другим типом (концепт)
DerivedFrom	указывает, что тип является производным от другого типа (концепт)
ConvertibleTo	указывает, что тип неявно преобразуется в другой тип (концепт)
CommonReference	указывает, что два типа имеют общий ссылочный тип (концепт)
Common	указывает, что два типа имеют общий тип (концепт)
Integral	указывает, что тип является целочисленным типом (концепт)
SignedIntegral	указывает, что тип является целочисленным типом со знаком (концепт)
UnsignedIntegral	указывает, что тип является целочисленным типом без знака (концепт)
Assignable	указывает, что тип может быть присвоен из другого типа (концепт)
SwappableSwappableWith	указывает, что тип можно обменять или что два типа можно поменять местами друг с другом (концепт)
Концепты сравнения
Определены в заголовочном файле <experimental/ranges/concepts>
Определены в пространстве имён std::experimental::ranges
Boolean	указывает, что тип может использоваться в Логических контекстах (концепт)
WeaklyEqualityComparableWith	указывает, что два типа можно сравнивать на равенство с помощью операторов == и != (концепт)
EqualityComparableEqualityComparableWith	указывает, что оператор == является отношением эквивалентности (концепт)
StrictTotallyOrderedStrictTotallyOrderedWith	указывает, что операторы сравнения для типа дают общий порядок (концепт)
Концепты объектов
Определены в заголовочном файле <experimental/ranges/concepts>
Определены в пространстве имён std::experimental::ranges
Destructible	указывает, что объект данного типа может быть уничтожен (концепт)
Constructible	указывает, что переменная типа может быть создана из набора типов аргументов или привязана к ним (концепт)
DefaultConstructible	указывает, что объект типа может быть сконструирован по умолчанию (концепт)
MoveConstructible	указывает, что объект типа может быть сконструирован перемещением (концепт)
CopyConstructible	указывает, что объект типа может быть создан путём копирования и перемещения (концепт)
Movable	указывает, что объект типа можно перемещать и менять местами (концепт)
Copyable	указывает, что объект типа можно копировать, перемещать и менять местами (концепт)
Semiregular	указывает, что объект типа можно копировать, перемещать, менять местами и создавать по умолчанию (концепт)
Regular	указывает, что тип является регулярным, то есть одновременно и Semiregular и EqualityComparable (концепт)
Вызываемые концепты
Определены в заголовочном файле <experimental/ranges/concepts>
Определены в пространстве имён std::experimental::ranges
InvocableRegularInvocable	указывает, что вызываемый тип может быть вызван с заданным набором типов аргументов (концепт)
Predicate	указывает, что вызываемый тип является логическим предикатом (концепт)
Relation	указывает, что вызываемый тип является бинарным отношением (концепт)
StrictWeakOrder	указывает, что Relation налагает строгий слабый порядок (концепт)
Концепты генератора случайных чисел
Определены в заголовочном файле <experimental/ranges/random>
Определены в пространстве имён std::experimental::ranges
UniformRandomNumberGenerator	указывает, что тип квалифицируется как универсальный генератор случайных чисел (концепт)

Основные утилиты

Утилиты компонентов
Определены в заголовочном файле <experimental/ranges/utility>
Определены в пространстве имён std::experimental::ranges
swap	меняет местами значения двух объектов (объект точки настройки)
exchange	заменяет аргумент новым значением и возвращает его предыдущее значение (шаблон функции)
Объекты функции
Определены в заголовочном файле <experimental/ranges/functional>
Определены в пространстве имён std::experimental::ranges
invoke	вызывает объект Callable с заданными аргументами (шаблон функции)
equal_to	объект функция, реализующий x == y (шаблон класса)
not_equal_to	объект функция, реализующий x != y (шаблон класса)
greater	объект функция, реализующий x > y (шаблон класса)
less	объект функция, реализующий x < y (шаблон класса)
greater_equal	объект функция, реализующий x >= y (шаблон класса)
less_equal	объект функция, реализующий x <= y (шаблон класса)
identity	объект функция, который возвращает свой аргумент без изменений (класс)
Метапрограммирование и свойства типов
Определены в заголовочном файле <experimental/ranges/type_traits>
Определены в пространстве имён std::experimental::ranges
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable	проверяет, можно ли поменять местами объекты одного типа на объекты того же или другого типа (шаблон класса)
common_reference	определяет общий ссылочный тип набора типов (шаблон класса)
common_type	определяет общий тип набора типов (шаблон класса)
Помеченные пары и кортежи
Определены в заголовочном файле <experimental/ranges/utility>
Определены в пространстве имён std::experimental::ranges
TagSpecifier	указывает, что тип является спецификатором тега (концепт)
TaggedType	указывает, что тип представляет спецификатор тега и тип его элемента (концепт)
tagged	дополняет кортежный тип именованными элементами доступа (шаблон класса)
tagged_pair	псевдоним шаблона для помеченного std::pair (псевдоним шаблона)
make_tagged_pair	удобная функция для создания tagged_pair (шаблон функции)
Определены в заголовочном файле <experimental/ranges/tuple>
tagged_tuple	псевдоним шаблона для помеченного std::tuple (псевдоним шаблона)
make_tagged_tuple	удобная функция для создания tagged_tuple (шаблон функции)
Определены в заголовочном файле <experimental/ranges/algorithm>
Определены в пространстве имён std::experimental::ranges::tag
inin1in2outout1out2funminmaxbeginend	спецификаторы тегов для использования с ranges::tagged (класс)

Итераторы

Определены в заголовочном файле <experimental/ranges/iterator>
Концепты, связанные с итераторами
Определены в пространстве имён std::experimental::ranges
Концепты итераторов
Readable	указывает, что тип доступен для чтения с помощью оператора * (концепт)
Writable	указывает, что значение может быть записано в объект, на который ссылается итератор (концепт)
WeaklyIncrementable	указывает, что тип Semiregular может инкрементироваться с помощью операторов пре- и пост-инкремента (концепт)
Incrementable	указывает, что операция инкремента для типа WeaklyIncrementable сохраняет равенство, а этот тип EqualityComparable (концепт)
Iterator	указывает, что объекты типа могут быть инкрементированы и разыменованы (концепт)
Sentinel	указывает, что объект типа является ограничителем для типа Iterator (концепт)
SizedSentinel	указывает, что оператор - может быть применён к итератору и ограничителю для вычисления их разницы за постоянное время (концепт)
InputIterator	указывает, что тип является итератором ввода, то есть значения, на которые он ссылается, могут быть прочитаны, и он может быть как пре- так и пост-инкрементирован (концепт)
OutputIterator	указывает, что тип является итератором вывода для данного типа значения, то есть в него могут быть записаны значения этого типа, и он может быть как пре-, так и пост-инкрементирован (концепт)
ForwardIterator	указывает, что InputIterator является прямым итератором, поддерживающим сравнение на равенство и многопроходность (концепт)
BidirectionalIterator	указывает, что ForwardIterator является двунаправленным итератором, поддерживающим движение назад (концепт)
RandomAccessIterator	указывает, что BidirectionalIterator это итератор с произвольным доступом, поддерживающий продвижение за постоянное время и индексирование (концепт)
Косвенно вызываемые концепты
IndirectUnaryInvocableIndirectRegularUnaryInvocable	указывает, что вызываемый тип может быть вызван в результате разыменования типа Readable (концепт)
IndirectUnaryPredicate	указывает, что вызываемый объект при вызове с результатом разыменования типа Readable, соответствует Predicate (концепт)
IndirectRelation	указывает, что вызываемый объект при вызове в результате разыменования некоторых типов Readable, соответствует Relation (концепт)
IndirectStrictWeakOrder	указывает, что вызываемый объект при вызове в результате разыменования некоторых типов Readable, соответствует StrictWeakOrder (концепт)
Общие требования к алгоритмам
IndirectlyMovable	указывает, что значения могут быть перемещены из типа Readable в тип Writable (концепт)
IndirectlyMovableStorable	указывает, что значения могут быть перемещены из типа Readable в тип Writable и что перемещение может быть выполнено через промежуточный объект (концепт)
IndirectlyCopyable	указывает, что значения могут быть скопированы из типа Readable в тип Writable (концепт)
IndirectlyCopyableStorable	указывает, что значения могут быть скопированы из типа Readable в тип Writable и что копирование может быть выполнено через промежуточный объект (концепт)
IndirectlySwappable	указывает, что значения, на которые ссылаются два типа Readable, можно поменять местами (концепт)
IndirectlyComparable	указывает, что значения, на которые ссылаются два типа Readable, можно сравнивать (концепт)
Permutable	определяет общие требования к алгоритмам, которые меняют порядок элементов на месте (концепт)
Mergeable	определяет требования к алгоритмам, которые объединяют отсортированные последовательности в выходную последовательность путём копирования элементов (концепт)
Sortable	определяет общие требования алгоритмов, которые переставляют последовательности в упорядоченные последовательности (концепт)
Утилиты концептов
indirect_result_of	вычисляет результат вызова вызываемого объекта на результате разыменования некоторого набора типов Readable (шаблон класса)
projected	вспомогательный шаблон для определения ограничений для алгоритмов, принимающих прогнозы (шаблон класса)
Примитивы итераторов
Утилиты итераторов
Определены в пространстве имён std::experimental::ranges
iter_move	приводит результат разыменования объекта к связанному с ним ссылочному типу правостороннего значения (объект точки настройки)
iter_swap	меняет местами значения, на которые ссылаются два разыменовываемых объекта (объект точки настройки)
Свойства итераторов
Определены в пространстве имён std::experimental::ranges
difference_type	получает разностный тип для типа WeaklyIncrementable (шаблон класса)
value_type	получает тип значения типа Readable (шаблон класса)
iterator_category	получает категорию итератора для типа итератора ввода (шаблон класса)
iterator_traits	класс свойств совместимости, который собирает типы, связанные с итератором (псевдоним шаблона)
reference_trvalue_reference_titer_common_reference_t	получает связанные ссылочные типы разыменовываемого объекта (псевдоним шаблона)
Теги категорий итераторов
Определены в пространстве имён std::experimental::ranges
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	пустые типы классов, используемые для обозначения категорий итераторов (класс)
Специализации std::iterator_traits
Определены в пространстве имён std
std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>	специализация std::iterator_traits для итераторов ТС диапазонов (специализация шаблона класса)
Операции итераторов
Определены в пространстве имён std::experimental::ranges
advance	продвигает итератор на заданное расстояние (шаблон функции)
distance	возвращает расстояние между итератором и ограничителем или между началом и концом диапазона (шаблон функции)
next	инкрементирует итератор (шаблон функции)
prev	декрементирует итератор (шаблон функции)
Адаптеры итераторов
Определены в пространстве имён std::experimental::ranges
reverse_iterator	адаптер итератора для обхода в обратном порядке (шаблон класса)
back_insert_iterator	адаптер итератора для вставки в конец контейнера (шаблон класса)
front_insert_iterator	адаптер итератора для вставки в начало контейнера (шаблон класса)
insert_iterator	адаптер итератора для вставки в контейнер (шаблон класса)
move_iterator	адаптер итератора, который разыменовывается ссылку на правостороннее значение (шаблон класса)
move_sentinel	адаптер ограничитель для использования с move_iterator (шаблон класса)
common_iterator	адаптирует пару итератор-ограничитель к общему типу итератора для использования с устаревшими алгоритмами (шаблон класса)
counted_iterator	адаптер итератора, отслеживающий расстояние от начальной позиции (шаблон класса)
default_sentinel	пустой тип ограничителя для использования с типами итераторов, которые знают границы своего диапазона (класс)
dangling	оболочка для возможно висячего итератора (шаблон класса)
safe_iterator_t	псевдоним шаблона, который обертывает тип итератора диапазона rvalue с висячими (псевдоним шаблона)
unreachable	тип ограничителя, используемый с любым итератором для обозначения бесконечного диапазона (класс)
Итераторы потоков
Определены в пространстве имён std::experimental::ranges
istream_iterator	итератор ввода, который читает из std::basic_istream (шаблон класса)
ostream_iterator	итератор вывода, записывающий в std::basic_ostream (шаблон класса)
istreambuf_iterator	итератор ввода, который читает из std::basic_streambuf (шаблон класса)
ostreambuf_iterator	итератор вывода, записывающий в std::basic_streambuf (шаблон класса)

Диапазоны

Определены в заголовочном файле <experimental/ranges/range>
Концепты диапазонов
Range	указывает, что тип является диапазоном, то есть предоставляет итератор begin и ограничитель end (концепт)
SizedRange	указывает, что диапазон узнаёт свой размер за константное время (концепт)
View	указывает, что диапазон является представлением, то есть имеет константное время копирования/перемещения/присвоения (концепт)
BoundedRange	указывает, что диапазон имеет идентичные типы итератора и ограничителя (концепт)
InputRange	указывает диапазон, тип итератора которого соответствует InputIterator (концепт)
OutputRange	указывает диапазон, тип итератора которого соответствует OutputIterator (концепт)
ForwardRange	указывает диапазон, тип итератора которого соответствует ForwardIterator (концепт)
BidirectionalRange	указывает диапазон, тип итератора которого соответствует BidirectionalIterator (концепт)
RandomAccessRange	указывает диапазон, тип итератора которого соответствует RandomAccessIterator (концепт)
Доступ к диапазону
Определены в пространстве имён std::experimental::ranges
begincbegin	возвращает итератор на начало диапазона (объект точки настройки)
endcend	возвращает итератор на конец диапазона (объект точки настройки)
rbegincrbegin	возвращает обратный итератор на диапазон (объект точки настройки)
rendcrend	возвращает обратный конечный итератор диапазона (объект точки настройки)
Примитивы диапазонов
Определены в пространстве имён std::experimental::ranges
size	получает размер диапазона, который может быть вычислен за постоянное время (объект точки настройки)
empty	проверяет, пуст ли диапазон (объект точки настройки)
datacdata	получает указатель на начало непрерывного диапазона (объект точки настройки)
iterator_tsentinel_t	получает типы итератора и ограничителя диапазона (псевдоним шаблона)

Алгоритмы

Определены в заголовочном файле <experimental/ranges/algorithm>
Немодифицирующие операции над последовательностями
Определены в пространстве имён std::experimental::ranges
all_ofany_ofnone_of	проверяет, равен ли предикат true для всех, любого или ни одного из элементов в диапазоне (шаблон функции)
for_each	применяет функцию к диапазону элементов (шаблон функции)
countcount_if	возвращает количество элементов, соответствующих определённым критериям (шаблон функции)
mismatch	находит первую позицию, в которой два диапазона различаются (шаблон функции)
equal	определяет, являются ли два набора элементов одинаковыми (шаблон функции)
lexicographical_compare	возвращает истину, если один диапазон лексикографически меньше другого (шаблон функции)
findfind_iffind_if_not	находит первый элемент, соответствующий определённым критериям (шаблон функции)
find_end	находит последнюю последовательность элементов в определённом диапазоне (шаблон функции)
find_first_of	ищет любой из набора элементов (шаблон функции)
adjacent_find	находит первые два соседних элемента, которые равны (или соответствуют заданному предикату) (шаблон функции)
search	ищет диапазон элементов (шаблон функции)
search_n	ищет несколько последовательных копий элемента в диапазоне (шаблон функции)
Модифицирующие операции над последовательностями
Определены в пространстве имён std::experimental::ranges
copycopy_if	копирует диапазон элементов в новое место (шаблон функции)
copy_n	копирует ряд элементов в новое место (шаблон функции)
copy_backward	копирует диапазон элементов в обратном порядке (шаблон функции)
move	перемещает ряд элементов в новое место (шаблон функции)
move_backward	перемещает диапазон элементов в новое место в обратном порядке (шаблон функции)
fill	присваивает диапазону элементов определённое значение (шаблон функции)
fill_n	присваивает значение ряду элементов (шаблон функции)
transform	применяет функцию к диапазону элементов (шаблон функции)
generate	сохраняет результат функции в диапазоне (шаблон функции)
generate_n	сохраняет результат N применений функции (шаблон функции)
removeremove_if	удаляет элементы, соответствующие определённым критериям (шаблон функции)
remove_copyremove_copy_if	копирует диапазон элементов, исключая те, которые соответствуют определенным критериям (шаблон функции)
replacereplace_if	заменяет все значения, соответствующие определённым критериям, другим значением (шаблон функции)
replace_copyreplace_copy_if	копирует диапазон, заменяя элементы, соответствующие определённым критериям, другим значением (шаблон функции)
swap_ranges	меняет местами два диапазона элементов (шаблон функции)
reverse	меняет порядок элементов в диапазоне (шаблон функции)
reverse_copy	создает перевёрнутую копию диапазона (шаблон функции)
rotate	меняет порядок элементов в диапазоне (шаблон функции)
rotate_copy	копирует и переворачивает диапазон элементов (шаблон функции)
shuffle	случайным образом переупорядочивает элементы в диапазоне (шаблон функции)
unique	удаляет последовательные повторяющиеся элементы в диапазоне (шаблон функции)
unique_copy	создаёт копию некоторого диапазона элементов, не содержащую последовательных дубликатов (шаблон функции)
Операции разметки
Определены в пространстве имён std::experimental::ranges
is_partitioned	определяет, разделён ли диапазон заданным предикатом (шаблон функции)
partition	делит диапазон элементов на две группы (шаблон функции)
partition_copy	копирует диапазон, разделяя элементы на две группы (шаблон функции)
stable_partition	делит элементы на две группы с сохранением их относительного порядка (шаблон функции)
partition_point	находит точку раздела разделённого диапазона (шаблон функции)
Операции сортировки
Определены в пространстве имён std::experimental::ranges
is_sorted	проверяет, отсортирован ли диапазон по возрастанию (шаблон функции)
is_sorted_until	находит самый большой отсортированный поддиапазон (шаблон функции)
sort	сортирует диапазон в порядке возрастания (шаблон функции)
partial_sort	сортирует первые N элементов диапазона (шаблон функции)
partial_sort_copy	копирует и частично сортирует диапазон элементов (шаблон функции)
stable_sort	сортирует диапазон элементов, сохраняя порядок между равными элементами (шаблон функции)
nth_element	частично сортирует заданный диапазон, убедившись, что он разделён заданным элементом (шаблон функции)
Операции двоичного поиска (по отсортированным диапазонам)
Определены в пространстве имён std::experimental::ranges
lower_bound	возвращает итератор на первый элемент не меньший, чем заданное значение (шаблон функции)
upper_bound	возвращает итератор на первый элемент, который больше определённого значения (шаблон функции)
binary_search	определяет, существует ли элемент в определённом диапазоне (шаблон функции)
equal_range	возвращает диапазон элементов, соответствующих определённому ключу (шаблон функции)
Операции с наборами (в отсортированных диапазонах)
Определены в пространстве имён std::experimental::ranges
merge	объединяет два отсортированных диапазона (шаблон функции)
inplace_merge	объединяет два упорядоченных диапазона на месте (шаблон функции)
includes	возвращает true, если один набор является подмножеством другого (шаблон функции)
set_difference	вычисляет разницу между двумя наборами (шаблон функции)
set_intersection	вычисляет пересечение двух множеств (шаблон функции)
set_symmetric_difference	вычисляет симметричную разницу между двумя наборами (шаблон функции)
set_union	вычисляет объединение двух наборов (шаблон функции)
Операции с кучей
Определены в пространстве имён std::experimental::ranges
is_heap	проверяет, является ли данный диапазон максимальной кучей (шаблон функции)
is_heap_until	находит самый большой поддиапазон, который составляет максимальную кучу (шаблон функции)
make_heap	создаёт максимальную кучу из диапазона элементов (шаблон функции)
push_heap	добавляет элемент в максимальную кучу (шаблон функции)
pop_heap	удаляет самый большой элемент из максимальной кучи (шаблон функции)
sort_heap	превращает максимальную кучу в диапазон элементов, отсортированных в порядке возрастания (шаблон функции)
Операции минимума/максимума
Определены в пространстве имён std::experimental::ranges
max	возвращает большее из заданных значений (шаблон функции)
max_element	возвращает самый большой элемент в диапазоне (шаблон функции)
min	возвращает меньшее из заданных значений (шаблон функции)
min_element	возвращает наименьший элемент в диапазоне (шаблон функции)
minmax	возвращает меньший и больший из двух элементов (шаблон функции)
minmax_element	возвращает самый маленький и самый большой элементы в диапазоне (шаблон функции)
Операции перестановки
Определены в пространстве имён std::experimental::ranges
is_permutation	определяет, является ли последовательность перестановкой другой последовательности (шаблон функции)
next_permutation	генерирует следующую большую лексикографическую перестановку диапазона элементов (шаблон функции)
prev_permutation	генерирует следующую меньшую лексикографическую перестановку диапазона элементов (шаблон функции)