◐ Shell
clean mode source ↗

operator==(std::common_iterator) - cppreference.com

来自cppreference.com

template <class I2, std::sentinel_for<I> S2>
    requires std::sentinel_for<S, I2>
friend constexpr bool operator==( const common_iterator& x, 
                                  const std::common_iterator<I2, S2>& y );
(1) (C++20 起) 
template <class I2, std::sentinel_for<I> S2>
    requires std::sentinel_for<S, I2> && std::equality_comparable_with<I, I2>
friend constexpr bool operator==( const common_iterator& x, 
                                  const std::common_iterator<I2, S2>& y );
(2) (C++20 起)

比较底层 std::variant 成员对象 var 所保有的迭代器与/或哨位。认为两个不可比较的迭代器或两个哨位相等。

令 Ix 为 x.var .index()，Iy 为 y.var .index()：

1) 在 Ix == Iy（即 x 与 y 均保有迭代器或哨位）时返回 true，否则返回 std::get<Ix>(x.var ) == std::get<Iy>(y.var )。

2) 在 Ix == 1 && Iy == 1（即 x 与 y 均保有哨位）时返回 true，否则返回 std::get<Ix>(x.var ) == std::get<Iy>(y.var )。

如果 x.var .valueless_by_exception() || y.var .valueless_by_exception() 是 true，那么行为未定义。

(C++26 前)

如果 x.var .valueless_by_exception() || y.var .valueless_by_exception() 是 true，那么：

  • 如果实现是硬化实现，那么就会发生契约违背。
  • 如果实现不是硬化实现，那么行为未定义。
 (C++26 起)

!= 运算符从 operator== 运算符合成。

这些函数模板对常规的无限定或有限定查找不可见，而只能在 std::common_iterator<I> 为实参的关联类时由实参依赖查找找到。

参数

返回值

底层迭代器与/或哨位相等时返回 true，否则返回 false。

示例

#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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3574 C++20 variant 为完全 constexpr (P2231R1) 但 common_iterator 不是 亦使之为 constexpr

参阅