std::experimental::ranges::View

 

C++

Compiler support

Freestanding and hosted

Language

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Metaprogramming library (C++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (C++17)

Regular expressions library (C++11)

Concurrency support library (C++11)

Technical specifications

Symbols index

External libraries

 

Technical specifications

Filesystem library (filesystem TS)

Library fundamentals (library fundamentals TS)

Library fundamentals 2 (library fundamentals TS v2)

Library fundamentals 3 (library fundamentals TS v3)

Extensions for parallelism (parallelism TS)

Extensions for parallelism 2 (parallelism TS v2)

Extensions for concurrency (concurrency TS)

Extensions for concurrency 2 (concurrency TS v2)

Concepts (concepts TS)

Ranges (ranges TS)

Reflection (reflection TS)

Mathematical special functions (special functions 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_tsentinel_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.