Concept definition

template<class T>
concept sparrow::mpl::constant_iterator =  std::input_iterator<T>
                            && std::same_as<iter_const_reference_t<T>, std::iter_reference_t<T>>

Detailed Description

Concept for constant iterators.

A constant iterator is an iterator whose reference type is the same as its const reference type, ensuring that dereferencing always yields const access.

Template Parameters

T	Iterator type to check

Precondition: T must satisfy std::input_iterator

Postcondition: True if iterator provides only const access to elements

static_assert(constant_iterator<std::vector<int>::const_iterator>);

static_assert(!constant_iterator<std::vector<int>::iterator>);

Definition at line 839 of file mp_utils.hpp.