5. operator== (非メンバ関数)

最終更新日時(UTC):
が更新

履歴 編集

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

処理系

参照