operator== (std::common_iterator)

基となる std::variant メンバオブジェクト var が保持するイテレータおよび/またはセンチネルを比較します。比較不能な2つのイテレータまたは2つのセンチネルは等しいと見なされます。

x または y のいずれかが無効な状態、すなわち x. var . valueless_by_exception ( ) || y. var . valueless_by_exception ( ) が true に等しい場合、動作は未定義です。

i を x. var . index ( ) とし、 j を y. var . index ( ) とする。

!= 演算子は synthesized され、 operator== から生成されます。

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

パラメータ

戻り値

true 基礎となるイテレータおよび/またはセンチネルが等しい場合。

例

#include <cassert>
#include <iterator>
int main()
{
    int a[]{0, 1, 2, 3};
    using CI = std::common_iterator<
                   std::counted_iterator<int*>,
                   std::default_sentinel_t
                   >;
    CI i1{std::counted_iterator{a + 0, 2}};
    CI i2{std::counted_iterator{a + 1, 2}};
    CI i3{std::counted_iterator{a + 0, 3}};
    CI i4{std::counted_iterator{a + 0, 0}};
    CI s1{std::default_sentinel};
    CI s2{std::default_sentinel};
    assert((i1 == i2) == true);
    assert((i1 == i3) == false);
    assert((i2 == i3) == false);
    assert((s1 == s2) == true);
    assert((i1 == s1) == false);
    assert((i4 == s1) == true);
}

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目