namespace std {
  template<input_iterator Iterator>
  class basic_const_iterator;
}

概要

basic_const_iteratorは、イテレータをラップし、元の要素を定数（const）として参照するイテレータアダプタである。その他の操作は、元のイテレータそのものの動作をする。

メンバ関数

メンバ型

iterator_conceptは次のように決定される

• Iteratorがcontiguous_iteratorのモデルとなる場合
  • contiguous_iterator_tag
• そうではなく、Iteratorがrandom_access_iteratorのモデルとなる場合
  • random_access_iterator_tag
• そうではなく、Iteratorがbidirectional_iteratorのモデルとなる場合
  • bidirectional_iterator_tag
• そうではなく、Iteratorがforward_iteratorのモデルとなる場合
  • forward_iterator_tag
• それ以外の場合
  • input_iterator_tag

非メンバ（Hidden friends）関数

非メンバ関数

特殊化

例

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

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

  auto cit = std::make_const_iterator(vec.begin());

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

  ++cit;

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

  // 要素を変更できない
  //*cit = 0;
}

出力

1
2

バージョン

言語

• C++23

処理系

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

参照

• P2278R4 cbegin should always return a constant iterator
• P2836R1 std::basic_const_iterator should follow its underlying type's convertibility
  • C++26で、基底イテレータが変換できる定数イテレータ型への変換演算子が追加された。この修正は欠陥報告 (DR) であり、C++23へ遡及して適用される
• LWG Issue 4253. basic_const_iterator should provide iterator_type
  • C++26で、基底イテレータの型を取得できるよう公開メンバ型iterator_type（= Iterator）が追加された