std::experimental::ranges::View

C++

Language

Headers

Freestanding and hosted implementations

Named requirements

Language support library

Concepts library (C++20)

Diagnostics library

Utilities library

Strings library

Containers library

Algorithms library

Iterators 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

Technical specifications

Filesystem library (filesystem TS)

Library fundamentals (library fundamentals TS)

Library fundamentals 2 (library fundamentals 2 TS)

Extensions for parallelism (parallelism TS)

Extensions for parallelism 2 (parallelism TS v2)

Extensions for concurrency (concurrency TS)

Concepts (concepts TS)

Ranges (ranges TS)

Special mathematical functions (special math TR)

Ranges

Concepts

General utilities

Iterators

Ranges

Algorithms

Ranges library

Range concepts
Range SizedRange View	BoundedRange InputRange OutputRange	ForwardRange BidirectionalRange RandomAccessRange
Range access
begincbegin	endcend	rbegincrbegin	rendcrend
Range primitives
iterator_t sentinel_t	size	datacdata	empty

Defined in header <experimental/ranges/range>
template <class T> concept bool View = Range<T> && Semiregular<T> && /* view-predicate<T> */;		(ranges TS)
template<class T> struct enable_view {};		(ranges TS)
struct view_base {};		(ranges TS)

The concept View<T> specifies the semiregular range T has constant-time copy, move, and assignment operations.

The /* view-predicate<T> */ portion of the concept is determined as follows:

• if the qualified-id ranges::enable_view<T>::type is valid and denotes a type, ranges::enable_view<T>::type::value;
• otherwise, if std::is_base_of_v<ranges::view_base, T> is true, true;
• otherwise, if T is a specialization of std::initializer_list, std::set, std::multiset, std::unordered_set, or std::unordered_multiset, false;
• otherwise, if both T and const T satisfy Range and ranges::reference_t <ranges::iterator_t<T>> is not the same type as ranges::reference_t<ranges::iterator_t<const T>>, false;
• otherwise, true.