std::experimental::ranges::View

 

C++

Compiler support

Freestanding and hosted

Language

Standard library

Standard library headers

Named requirements

Feature test macros(C++20)

Language support library

Concepts library(C++20)

Diagnostics library

Memory management library

Metaprogramming library(C++11)

General utilities library

Containers library

Iterators library

Ranges library(C++20)

Algorithms library

Strings library

Text processing library

Numerics library

Date and time library

Input/output library

Filesystem library(C++17)

Concurrency support library(C++11)

Execution control library(C++26)

Technical specifications

Symbols index

External libraries

 

Experimental

Technical Specification

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)

Experimental Non-TS

Pattern Matching

Linear Algebra

std::execution

Contracts

2D Graphics

 

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-idranges::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.