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

 

C++

Язык

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

Самостоятельные и принятые реализации

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

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

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

Обработка исключений

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

Библиотека диапазонов

Доступ диапазона
begincbegin endcend	rbegincrbegin rendcrend	sizessize datacdata	empty
Примитивы диапазона
iterator_tsentinel_t	range_size_trange_difference_t	range_value_t	range_reference_trange_rvalue_reference_t
Управление "повисшим" итератором
dangling	borrowed_iterator_t	borrowed_subrange_t
Концепция диапазона
range borrowed_range sized_range	common_range view viewable_range	input_range output_range forward_range	bidirectional_range random_access_range contiguous_range
Представления
view_interface	subrange
Полурегулярная обертка
Фабрики
empty_viewviews::empty	single_viewviews::single	iota_viewviews::iota	views::counted
Адаптеры
views::all_tviews::all join_viewviews::join take_viewviews::take basic_istream_viewistream_view	ref_view split_viewviews::split take_while_viewviews::take_while elements_viewviews::elements	common_viewviews::common transform_viewviews::transform drop_viewviews::drop keys_viewviews::keys	reverse_viewviews::reverse filter_viewviews::filter drop_while_viewviews::drop_while values_viewviews::values

 

Библиотека диапазонов содержит компоненты для работы с колекциями элементов, включая различные виды адаптеров.

Определён в заголовочном файле <ranges>
namespace std {     namespace views = ranges::views; }

Псевдоним пространства имен std::views предоставляется как краткое описание для std::ranges::views.

Шаблон:cpp/ranges/dsc rendШаблон:cpp/ranges/dsc sizeШаблон:cpp/ranges/dsc emptyШаблон:cpp/ranges/dsc dataШаблон:cpp/ranges/dsc iterator tШаблон:cpp/ranges/dsc danglingШаблон:cpp/ranges/dsc borrowed iterator tШаблон:cpp/ranges/dsc RangeШаблон:cpp/ranges/dsc borrowed rangeШаблон:cpp/ranges/dsc SizedRangeШаблон:cpp/ranges/dsc ViewШаблон:cpp/ranges/dsc InputRangeШаблон:cpp/ranges/dsc OutputRangeШаблон:cpp/ranges/dsc ForwardRangeШаблон:cpp/ranges/dsc BidirectionalRangeШаблон:cpp/ranges/dsc RandomAccessRangeШаблон:cpp/ranges/dsc ContiguousRangeШаблон:cpp/ranges/dsc CommonRangeШаблон:cpp/ranges/dsc ViewableRangeШаблон:cpp/ranges/dsc view interfaceШаблон:cpp/ranges/dsc subrange

Заголовочный файл <ranges>
Пространство имён std::ranges
Доступ к диапазонам
begin cbegin (C++20)	Возвращает итератор на начало диапазона (объект точки настройки)
end cend (C++20)	Возвращает итератор на конец диапазона (объект точки настройки)
rbegin crbegin (C++20)	возвращает обратный итератор на диапазон (объект точки настройки)
Примитивы диапазона
Управление "повисшим" итератором
Концепция диапазона
Представления

Фабрики диапазона

Шаблон:cpp/ranges/dsc empty viewШаблон:cpp/ranges/dsc single viewШаблон:cpp/ranges/dsc iota viewШаблон:cpp/ranges/dsc view counted

Заголовочный файл <ranges>

Пространство имён std::ranges

Адаптеры диапазона

Адаптеры диапазона принимают viewable_range в качестве первых аргументов и возвращают view.

Если адаптер принимает только один аргумент, его также можно вызвать с помощью оператора |(вертикальная черта): если C объект адаптера диапазона, а R viewable_range, то эти два выражения эквивалентны:

C(R)
R | C

Унарные адаптеры диапазона также могут быть связаны цепью для создания другого адаптера диапазона: если C и D являются объектами адаптера диапазона, а R является viewable_range, то C | D также является объектом адаптера диапазона, и эти два выражения эквивалентны:

R | C | D   // (R | C) | D
R | (C | D)

Если адаптер принимает несколько аргументов, эти формы эквивалентны:

adaptor(range, args...)
adaptor(args...)(range)
range | adaptor(args...)

В этом случае, adaptor(args...) является объектом унарного диапазона.

Шаблон:cpp/ranges/dsc all viewШаблон:cpp/ranges/dsc ref viewШаблон:cpp/ranges/dsc filter viewШаблон:cpp/ranges/dsc transform viewШаблон:cpp/ranges/dsc take viewШаблон:cpp/ranges/dsc take while viewШаблон:cpp/ranges/dsc drop viewШаблон:cpp/ranges/dsc drop while viewШаблон:cpp/ranges/dsc join viewШаблон:cpp/ranges/dsc split viewШаблон:cpp/ranges/dsc common viewШаблон:cpp/ranges/dsc reverse viewШаблон:cpp/ranges/dsc basic istream viewШаблон:cpp/ranges/dsc elements viewШаблон:cpp/ranges/dsc keys viewШаблон:cpp/ranges/dsc values view

Заголовочный файл <ranges>

Пространство имён std::ranges

Некоторые адаптеры диапазона оборачивают свой элемент или функциональный объект полурегулярной оберткой.

Концепция помощника

Следующие концепции используются только для экспозиции нескольких типов, но они не являются частями интерфейса стандартной библиотеки.

template<class R>   concept __SimpleView =                         // exposition only     ranges::view<R> && ranges::range<const R> &&     std::same_as<std::ranges::iterator_t<R>, std::ranges::iterator_t<const R>> &&     std::same_as<std::ranges::sentinel_t<R>, std::ranges::sentinel_t<const R>>;
template<class T, class U>   concept __NotSameAs =                          // exposition only     !std::same_as<std::remove_cvref_t<T>, std::remove_cvref_t<U>>;

Пример

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

#include <vector>
#include <ranges>
#include <iostream>
 
int main()
{
    std::vector<int> ints{0,1,2,3,4,5};
    auto even = [](int i){ return 0 == i % 2; };
    auto square = [](int i) { return i * i; };
 
    for (int i : ints | std::views::filter(even) | std::views::transform(square)) {
        std::cout << i << ' ';
    }
}

Вывод:

0 4 16