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

履歴 編集

function
<iterator>

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

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

## 概要

2つの`counted_iterator`オブジェクトの三方比較を行う。

## 事前条件

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

## 戻り値

現在のカウントの値を`length`メンバ変数に保持するとして以下と等価

`return y.length <=> x.length;`

## 備考

C++20以降、この演算子により以下の演算子が使用可能になる。

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

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

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

また、この演算子はHidden friendsとして定義され、使用可能となる演算子も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 < 0) << '\n';

      // <=>から導出される比較演算子
      std::cout << (ci < ci2) << '\n';
      std::cout << (ci > ci2) << '\n';
      std::cout << (ci <= ci2) << '\n';
      std::cout << (ci >= ci2) << '\n';
    }

### 出力

    true
    true
    false
    true
    false

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

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