op_equal.md

operator== (非メンバ関数)

• iterator[meta header]
• std[meta namespace]
• function[meta id-type]
• cpp20[meta cpp]

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)

• common_with[link /reference/concepts/common_with.md]
• default_sentinel_t[link /reference/iterator/default_sentinel_t.md]

概要

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';
}

• ==[color ff0000]
• ranges::begin[link /reference/ranges/begin.md]
• default_sentinel[link /reference/iterator/default_sentinel_t.md]

出力

false
false
false
true
true
true

バージョン

言語

• C++20

処理系

• Clang: ??
• GCC: 10.1 [mark verified]
• Visual C++: 2019 Update 9 [mark verified]

参照

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