operator<,<=,>,>=(std::basic_const_iterator<Iter>)

From cppreference.com
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11)(C++14)
(C++14)(C++14)
(C++11)(C++14)
(C++14)(C++14)
(C++17)(C++20)
(C++17)
(C++17)
template < /*not-a-const-iterator*/ I >

friend constexpr bool operator< ( const I& x, const basic_const_iterator& y )

    requires std::random_access_iterator <Iter> && std::totally_ordered_with <Iter, I> ;
(1) (since C++23)
template < /*not-a-const-iterator*/ I >

friend constexpr bool operator> ( const I& x, const basic_const_iterator& y )

    requires std::random_access_iterator <Iter> && std::totally_ordered_with <Iter, I> ;
(2) (since C++23)
template < /*not-a-const-iterator*/ I >

friend constexpr bool operator<= ( const I& x, const basic_const_iterator& y )

    requires std::random_access_iterator <Iter> && std::totally_ordered_with <Iter, I> ;
(3) (since C++23)
template < /*not-a-const-iterator*/ I >

friend constexpr bool operator>= ( const I& x, const basic_const_iterator& y )

    requires std::random_access_iterator <Iter> && std::totally_ordered_with <Iter, I> ;
(4) (since C++23)

Compare a basic_const_iterator with another value. These function templates are used when the left operand is not a basic_const_iterator.

I satisfies the exposition-only concept /*not-a-const-iterator*/ if and only if it's not a specialization of basic_const_iterator

These functions are not visible to ordinary unqualified or qualified lookup, and can only be found by argument-dependent lookup when basic_const_iterator<Iter>

Parameters

x, y - iterators to compare

Return value

1) x < y.base()
2) x > y.base()
3) x <= y.base()
4) x >= y.base()

Notes

If the left operand is a basic_const_iterator, the member comparison functions are used.

Example

#include <iterator>
 
int main()
{
    static int arr[1];
    static constexpr std::basic_const_iterator<int*> it = std::end(arr);
    static_assert(arr < it);
}

See also