最終更新日時: 2025年07月09日 00時33分39秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<iterator>

# std::operator== (非メンバ関数)(C++20)

    template<common_with<I> I2>
    friend constexpr bool operator==(const counted_iterator& x, const counted_iterator<I2>& y);  // (1)

    friend constexpr bool operator==(const counted_iterator& x, default_sentinel_t);             // (2)

## 概要

2つの`counted_iterator`オブジェクトが同じ要素を指しているかを判定する。

## 事前条件

- (1) : `x, y`はともに同じシーケンス（範囲）についてのイテレータであること。

## 戻り値

現在のカウントの値を`length`メンバ変数に保持するとする。

- (1) : `return y.length == x.length;`
- (2) : `return x.length == 0;`

## 備考

C++20以降、これらの演算子により以下の演算子が使用可能になる（制約は使用する`==`に準ずる）。

    template<common_with<I> I2>
    friend constexpr bool operator==(const counted_iterator<I2>& y, const counted_iterator& x);

    friend constexpr bool operator==(default_sentinel_t, const counted_iterator& x);

    template<common_with<I> I2>
    friend constexpr bool operator!=(const counted_iterator& x, const counted_iterator<I2>& y);

    friend constexpr bool operator!=(const counted_iterator& x, default_sentinel_t);

    template<common_with<I> I2>
    friend constexpr bool operator!=(const counted_iterator<I2>& y, const counted_iterator& x);

    friend constexpr bool operator!=(default_sentinel_t, const counted_iterator& x);

また、これらの演算子は全てHidden friendsとして定義される。

## 例

    #include <iostream>
    #include <iterator>
    #include <ranges>
    #include <vector>

    int main() {
      std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

      std::counted_iterator ci{std::ranges::begin(vec), 5};
      auto ci2 = ci + 3;

      std::cout << std::boolalpha;

      std::cout << (ci == ci2) << '\n';
      std::cout << (ci == std::default_sentinel) << '\n';

      // 逆順の==
      std::cout << (std::default_sentinel == ci) << '\n';

      // ==から導出される!=
      std::cout << (ci != ci2) << '\n';
      std::cout << (ci != std::default_sentinel) << '\n';
      std::cout << (std::default_sentinel != ci) << '\n';
    }

### 出力

    false
    false
    false
    true
    true
    true

## バージョン

### 言語

- C++20

### 処理系

- Clang: ??
- GCC: 10.1 ✅
- Visual C++: 2019 Update 9 ✅

## 参照

- P0896R4 The One Ranges Proposal (was Merging the Ranges TS)