operator==,<=> (std::counted_iterator)

基礎となる長さ（すなわち終端までの距離）を比較します。

x と y が同じシーケンスの要素を指していない場合、動作は未定義です。つまり、ある n が存在して、 std:: next ( x. base ( ) , x. count ( ) + n ) と std:: next ( y. base ( ) , y. count ( ) + n ) が同じ要素を参照する必要があります。

< 、 <= 、 > 、 >= 、および != 演算子は、 それぞれ operator <=> と operator == から合成されます。

この関数テンプレートは通常の unqualified lookup または qualified lookup では可視化されず、std::counted_iterator<I>が引数の関連クラスである場合にのみ argument-dependent lookup によって発見されます。

パラメータ

戻り値

注記

length が増加ではなく減少するため、基となる比較式における operator <=> の引数の順序は逆転します。すなわち、 y が lhs となり、 x が rhs となります。

例

#include <initializer_list>
#include <iterator>
int main()
{
    static constexpr auto v = {1, 2, 3, 4, 5, 6};
    constexpr std::counted_iterator<std::initializer_list<int>::iterator>
        it1{v.begin(), 5},
        it2{v.begin(), 5},
        it3{v.begin() + 1, 4},
        it4{v.begin(), 0};
    static_assert(it1 == it2);
    static_assert(it2 != it3);
    static_assert(it2 <  it3);
    static_assert(it1 <= it2);
    static_assert(it3 != std::default_sentinel);
    static_assert(it4 == std::default_sentinel);
//  it2 == std::counted_iterator{v.begin(), 4}; // UB: オペランドが同じシーケンスの
                                                // 要素を参照していない
}

関連項目