operator==(std::ranges::take_view::sentinel<Const>)

From cppreference.com
< cpp‎ | ranges‎ | take view‎ | sentinel
Ranges library
Range adaptors
friend constexpr bool

operator== ( const std::counted_iterator < ranges::iterator_t <Base>> & y,

const /*sentinel*/ & x ) ;
(1) (since C++20)
template < bool OtherC = !Const >

requires std::sentinel_for < ranges::sentinel_t <Base>,
ranges::iterator_t < /*add-const-if*/ <OtherC, V>>>
friend constexpr bool
    operator== ( const std::counted_iterator <
ranges::iterator_t < /*add-const-if*/ <OtherC, V>>> & y,

const /*sentinel*/ & x ) ;
(2) (since C++20)

Compares a take_view::/*sentinel*/ with a std::counted_iterator (typically obtained from a call to take_view::begin

Returns true if y points past the Nth element (where N is the number passed to the constructor of take_view

The exposition-only alias template /*add-const-if*/ is defined as
template<bool C, class T>
using /*add-const-if*/ = std::conditional_t <C, const T, T> ;

These functions are not visible to ordinary unqualified or qualified lookup, and can only be found by argument-dependent lookup when std::ranges::take_view::sentinel<Const>

The != operator is synthesized from operator==.

Parameters

y - std::counted_iterator to compare
x - sentinel to compare

Return value

y.count ( ) == 0 || y.base ( ) == x.end_ , where end_

Example

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 3449 C++20 comparison between the iterator and the sentinel of
differently const-qualified take_view was unsupported
made supported when possible