std::basic_const_iterator::operator--(C++23)

constexpr basic_const_iterator& operator--()
  requires bidirectional_iterator<Iterator>;    // (1) C++23

constexpr basic_const_iterator operator--(int)
  requires bidirectional_iterator<Iterator>;    // (2) C++23
basic_const_iterator operator--(int) = default; // (2) C++29

概要

イテレータをデクリメントする。

• (1) : 前置デクリメント
• (2) : 後置デクリメント

効果

ラップするイテレータをcurrent_というメンバに保持するとして

• (1) : 以下と等価
  
  

  --current_;
  return *this;
  

• (2) : 以下と等価
  
  

  auto tmp = *this;
  --*this;
  return tmp;
  

備考

• (2) : C++29で、後置インクリメント・デクリメント演算のdefault定義を使用した= default定義へ規定が変更された。動作は変わらない（= default定義の後置--は、前置--が使用できる場合にのみ使用できるため、制約の明示も不要になった）

例

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

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

  std::basic_const_iterator cit = vec.end();

  --cit;

  std::cout << *cit << '\n';

  cit--;

  std::cout << *cit << '\n';

}

出力

5
4

バージョン

言語

• C++23

処理系

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

参照

• P2278R4 cbegin should always return a constant iterator
• P3785R1 Library Wording Changes for Defaulted Postfix Increment and Decrement Operations
  • C++29で、後置演算子の規定が= default定義へ書き換えられた