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

履歴 編集

function
<iterator>

# std::basic_const_iterator::operator>(C++23)

    constexpr bool operator>(const basic_const_iterator& y) const
      requires random_access_iterator<Iterator>;                                        // (1)

    template<different-from<basic_const_iterator> I>
    constexpr bool operator>(const I& y) const
      requires random_access_iterator<Iterator> && totally_ordered_with<Iterator, I>;   // (2)

    template<not-a-const-iterator I>
    friend constexpr bool operator>(const I& x, const basic_const_iterator& y)
      requires random_access_iterator<Iterator> && totally_ordered_with<Iterator, I>;   // (3) 非メンバ関数

## 概要

`basic_const_iterator<Iterator>`オブジェクト同士あるいは別のイテレータとの間で、左辺が右辺より大きいかを判定する。

- (1) : 同じ`random_access_iterator`特殊化同士の間の`>`比較
- (2) : `Iterator`と比較可能な型の値との間の`>`比較
- (3) : (2)の逆順の演算子

## テンプレートパラメータ制約

`not-a-const-iterator<I>`は`I`が`basic_const_iterator`の特殊化ではない場合に`true`となる説明専用のコンセプトである。

## 効果

ラップしているイテレータを`current_`メンバ変数に保持するとして、以下と等価

- (1) : 以下と等価

      return current_ > y.current_;

- (2) : 以下と等価

      return current_ > y;

- (3) : 以下と等価

      return x > y.current_;

## 備考

(3)の関数はHidden friendsとして定義される。

## 例

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

    int main() {
      std::vector vec = {1, 2, 3, 4, 5};

      std::basic_const_iterator cit = vec.begin();
      auto se = vec.end();
      std::basic_const_iterator cse = se;

      std::cout << std::boolalpha;

      // basic_const_iterator同士の比較
      std::cout << (cit > cse) << '\n';
      std::cout << (cse > cit) << '\n';
      std::cout << (cit > cit) << '\n';

      // 元のイテレータとの比較
      std::cout << (cit > se) << '\n';
      std::cout << (se > cit) << '\n';
      std::cout << (cit > cit.base()) << '\n';
    }

### 出力

    false
    true
    false
    false
    true
    false

## バージョン

### 言語

- C++23

### 処理系

- Clang: ??
- GCC: 13.1 ✅
- Visual C++: 2022 Update 6 ✅

## 参照

- P2278R4 `cbegin` should always return a constant iterator