op_increment.md

operator++

• iterator[meta header]
• std[meta namespace]
• basic_const_iterator[meta class]
• function[meta id-type]
• cpp23[meta cpp]

constexpr basic_const_iterator& operator++();   // (1) C++23

constexpr void operator++(int);                 // (2) C++23

constexpr basic_const_iterator operator++(int)
  requires forward_iterator<Iterator>;          // (3) C++23
basic_const_iterator operator++(int)
  requires forward_iterator<Iterator> = default; // (3) C++29

概要

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

• (1) : 前置インクリメント
• (2), (3) : 後置インクリメント

効果

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

• (1) : 以下と等価

  ++current_;
  return *this;

• (2) : ++current_;

• (3) : 以下と等価

  auto tmp = *this;
  ++*this;
  return tmp;

備考

• (3) : C++29で、後置インクリメント・デクリメント演算のdefault定義を使用した= default定義へ規定が変更された。動作は変わらない

例

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

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

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

  ++cit;

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

  cit++;

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

• ++cit[color ff0000]
• cit++[color ff0000]

出力

2
3

バージョン

言語

• C++23

処理系

• Clang: ??
• GCC: 13.1 [mark verified]
• Visual C++: 2022 Update 6 [mark verified]

参照

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