Ranges library (C++20)

 

C++

Language

Standard Library Headers

Freestanding and hosted implementations

Named requirements

Language support library

Concepts library (C++20)

Diagnostics library

Utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Input/output library

Localizations library

Regular expressions library (C++11)

Atomic operations library (C++11)

Thread support library (C++11)

Filesystem library (C++17)

Technical Specifications

 

Ranges library

Range access
begincbegin	endcend	rbegincrbegin	rendcrend
Range primitives
iterator_tsentinel_t	size empty	datacdata
Range concepts
Range SizedRange View	InputRange OutputRange ForwardRange	BidirectionalRange RandomAccessRange ContiguousRange	CommonRange ViewableRange
Views
view_interface	subrange
Adaptors
all_view filter_view transform_view iota_view take_view join_view	view::all view::filter view::transform view::iota view::take view::join	empty_view single_view split_view                                common_view reverse_view	view::empty view::single view::split view::counted view::common view::reverse

 

The ranges library provides components for dealing with ranges of elements, including a variety of view adapters.

Defined in header <ranges>
namespace std {     namespace view = ranges::view; }

The namespace alias std::view is provided as a shorthand for std::ranges::view.

Defined in header <ranges>
Defined in namespace std::ranges
Range access
begincbegin	returns an iterator to the beginning of a range (customization point object)
endcend	returns an iterator to the end of a range (customization point object)
rbegincrbegin	returns a reverse iterator to a range (customization point object)
rendcrend	returns a reverse end iterator to a range (customization point object)
Range primitives
size	obtains the size of a range whose size can be calculated in constant time (customization point object)
empty	checks whether a range is empty (customization point object)
datacdata	obtains a pointer to the beginning of a contiguous range (customization point object)
iterator_tsafe_iterator_tsentinel_t	obtains the iterator and sentinel types of a range (alias template)
Range concepts
Range	specifies that a type is a range, that is, it provides a begin iterator and an end sentinel (concept)
SizedRange	specifies that a range knows its size in constant time (concept)
View	specifies that a range is a view, that is, it has constant time copy/move/assignment (concept)
InputRange	specifies a range whose iterator type satisfies InputIterator (concept)
OutputRange	specifies a range whose iterator type satisfies OutputIterator (concept)
ForwardRange	specifies a range whose iterator type satisfies ForwardIterator (concept)
BidirectionalRange	specifies a range whose iterator type satisfies BidirectionalIterator (concept)
RandomAccessRange	specifies a range whose iterator type satisfies RandomAccessIterator (concept)
ContiguousRange	specifies a range whose iterator type satisfies ContiguousIterator (concept)
CommonRange	specifies that a range has identical iterator and sentinel types (concept)
ViewableRange	specifies the requirements for a Range to be safely convertible to a View (concept)
Views
view_interface	helper class template for defining Views, using the curiously recurring template pattern (class template)
subrange	combines an iterator-sentinel pair into a View (class template)
Adaptors
all_viewview::all	a View that includes all elements of a Range (alias template) (range adaptor object)
filter_viewview::filter	a View that consists of the elements of a Range that satisfies a predicate (class template) (range adaptor object)
transform_viewview::transform	a View of a sequence that applies a transformation function to each element (class template) (range adaptor object)
iota_viewview::iota	a View consisting of a sequence generated by repeatedly incrementing an initial value (class template) (range adaptor object)
take_viewview::take	a View consisting of the first N elements of another View (class template) (range adaptor object)
join_viewview::join	a View consisting of the sequence obtained from flattening a View of Ranges (class template) (range adaptor object)
empty_viewview::empty	an empty View with no elements (class template) (range adaptor object)
single_viewview::single	a View that contains a single element of a specified value (class template) (range adaptor object)
split_viewview::split	a View over the subranges obtained from splitting another View using a delimiter (class template) (range adaptor object)
view::counted	creates a subrange from an iterator and a count (customization point object)
common_viewview::common	converts a View into a CommonRange (class template) (range adaptor object)
reverse_viewview::reverse	a View that iterates over the elements of another bidirectional view in reverse order (class template) (range adaptor object)