std::experi...putIterator(3)

okay so this is the std::experi...putIterator(3) page, and it lives in the C++ Standard Libary manual (yes bestie, that spelling is the manual's, keep it iconic 💅). It's the Ranges TS concept InputIterator, and it's giving very template, very concept energy ✨.

💖 NAME 💖

std::experimental::ranges::InputIterator — literally std::experimental::ranges::InputIterator. The name ate and left no crumbs 😭💅.

✨ Synopsis ✨

Defined in header <experimental/ranges/iterator>, and here's the exact concept shape, bestie:

          Defined in header <experimental/ranges/iterator>
          template< class I >

          concept bool InputIterator =
              Iterator<I> && Readable<I> &&
       (ranges TS)
              requires { typename ranges::iterator_category_t<I>; } &&

              DerivedFrom<ranges::iterator_category_t<I>,
          ranges::input_iterator_tag>;

So the vibe check is: the InputIterator concept is a refinement of Iterator, adding the requirement that the referenced values can be read (via Readable) and the requirement that the iterator category tag be present. Periodt. 👑💖

• it's a refinement of Iterator 🦋
• it adds the requirement that the referenced values can be read (via Readable) ✨
• it adds the requirement that the iterator category tag be present 💅

🌸 Notes 🌸

🚨 big note, bestie: unlike the input iterator requirements in the C++ standard, InputIterator in the Ranges TS does not require EqualityComparable. So don't go assuming that requirement is there, fr fr 🙈💀.

okay bye bestie 🫶 source/version: http://cppreference.com · dated 2024.06.10 · mwah 💜✨