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, same_as<Iterator> J>
friend constexpr bool operator<(const I& x, const basic_const_iterator<J>& 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';
}

出力

true
false
false
true
false
false

バージョン

言語

• C++23

処理系

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

参照

• P2278R4 cbegin should always return a constant iterator
• LWG Issue 3769. basic_const_iterator::operator== causes infinite constraint recursion
  • C++23で、左辺にbasic_const_iteratorをとる比較演算子・operator-のオーバーロードが非メンバのフレンド関数からメンバ関数へと変更された（フレンド関数だとSからbasic_const_iteratorへの暗黙変換によって制約チェックが無限再帰する問題があったため）
• LWG Issue 4218. Constraint recursion in basic_const_iterator's relational operators due to ADL + CWG 2369
  • 非メンバ版のfriend宣言にsame_as<Iterator> Jというテンプレートパラメータが追加され、右辺の型がbasic_const_iterator<J>と書かれるようになった。ADLによって関連付けられたbasic_const_iteratorのfriendが候補に入ることで、制約の検査が再帰し、コンパイルエラーとなっていたため。規格としてはC++29のワーキングドラフトへ適用されたが、実装不可能な規定の修正であるため、basic_const_iteratorが追加されたC++23へ遡及して適用される