std::experi...ranges::View(3)

std::experimental::ranges::View(3)

okay bestie, this is the std::experimental::ranges::View(3) page from the C++ Standard Libary manual — yes, that’s the manual name, and we’re folding it in right here instead of copying the whole header line 💅✨

🌸 NAME

std::experimental::ranges::View — std::experimental::ranges::View. That’s it, that’s the name — periodt 🫶

✨ Synopsis

Here’s the synopsis, preserved with all its ranges TS energy:

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

The concept View<T> says the semiregular range T has constant-time copy, move, and assignment operations. Literally iconic for a range type 💖

Now the /* view-predicate<T> */ part of the concept is determined like this, in order:

• if the qualified-id ranges::enable_view<T>::type is valid and denotes a type, then it’s ranges::enable_view<T>::type::value;
• otherwise, if std::is_base_of_v<ranges::view_base, T> is true, then true;
• otherwise, if T is a specialization of std::initializer_list, std::set, std::multiset, std::unordered_set, or std::unordered_multiset, then 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>>, then false;
• otherwise, true.

no extra rules, no sneaky guesses — that’s the whole vibe check list, bestie 🌈

mwah 💖 this page came from http://cppreference.com, dated 2024.06.10, and it’s the std::experi...ranges::View(3) manual — bye bestie 🫶