basic_const_iterator : コンストラクタと.base()追加 #1084

reference/iterator/basic_const_iterator.md

@@ -20,9 +20,8 @@ namespace std {
 
 | 名前 | 説明 | 対応バージョン |
 |------------------------------------------------------|-------------|-------|
-| [`(constructor)`](basic_const_iterator/op_constructor.md.nolink) | コンストラクタ | C++23 |
-| [`operator=`](basic_const_iterator/op_assign.md.nolink)          | 代入演算子 | C++23 |
-| [`base`](basic_const_iterator/base.md.nolink)                    | 元のイテレータを取得する | C++23 |
+| [`(constructor)`](basic_const_iterator/op_constructor.md) | コンストラクタ | C++23 |
+| [`base`](basic_const_iterator/base.md)                    | 元のイテレータを取得する | C++23 |
 | [`operator*`](basic_const_iterator/op_deref.md.nolink)           | 間接参照演算子 | C++23 |
 | [`operator->`](basic_const_iterator/op_arrow.md.nolink)          | メンバアクセス演算子 | C++23 |
 | [`operator++`](basic_const_iterator/op_increment.md.nolink)      | イテレータをインクリメントする | C++23 |
@@ -64,7 +63,7 @@ namespace std {
 - それ以外の場合
     - `input_iterator_tag`
 
-## 非メンバ関数
+## 非メンバ（*Hidden friends*）関数
 
 | 名前 | 説明 | 対応バージョン |
 |------------------------------------------------------|-------------|-------|
@@ -75,11 +74,15 @@ namespace std {
 | [`operator+`](basic_const_iterator/op_plus.md.nolink)           | イテレータを進める | C++23 |
 | [`operator-`](basic_const_iterator/op_minus.md.nolink)          | 2つの`basic_const_iterator`の差を求める | C++23 |
 | [`iter_move`](basic_const_iterator/iter_move.md.nolink)     | イテレータの要素の移動 | C++23 |
+
+## 非メンバ関数
+
+| 名前 | 説明 | 対応バージョン |
+|------------------------------------------------------|-------------|-------|
 | [`make_const_iterator`](make_const_iterator.md.nolink)     | `basic_const_iterator`のヘルパ関数 | C++23 |
 | [`make_const_sentinel`](make_const_sentinel.md.nolink)     | `basic_const_iterator`のヘルパ関数 | C++23 |
 
 ## 例
-（執筆中）
 
 ```cpp example
 #include <iterator>
@@ -101,6 +104,7 @@ int main() {
   //*cit = 0;
 }
 ```
+
 ### 出力
 ```
 1

reference/iterator/basic_const_iterator/base.md

@@ -0,0 +1,63 @@
+# base
+* iterator[meta header]
+* std[meta namespace]
+* basic_const_iterator[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr const Iterator& base() const & noexcept;  // (1)
+constexpr Iterator base() &&;  // (2)
+```
+
+## 概要
+
+メンバ変数として保持している、元のイテレータを取得する。
+
+## 戻り値
+
+- (1) : 元のイテレータへの`const`参照を返す。
+- (2) : 元のイテレータをムーブして返す。
+
+## 例
+
+```cpp example
+#include <iterator>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector vec = {1, 2, 3, 4, 5};
+
+  std::basic_const_iterator cit = vec.begin();
+
+  std::cout << *cit << '\n';
+  std::cout << *(cit.base()) << '\n';
+
+  // 元のイテレータが可変イテレータならば要素を変更可能
+  *(cit.base()) = 0;
+  std::cout << *(cit.base()) << '\n';
+}
+```
+* base[color ff0000]
+
+### 出力
+
+```
+1
+1
+0
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): 13.1
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6
+
+## 参照
+
+- [P2278R4 `cbegin` should always return a constant iterator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2278r4.html)

reference/iterator/basic_const_iterator/op_constructor.md

@@ -0,0 +1,88 @@
+# コンストラクタ
+* iterator[meta header]
+* std[meta namespace]
+* basic_const_iterator[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr basic_const_iterator() requires default_initializable<Iterator> = default;  // (1)
+
+constexpr basic_const_iterator(Iterator current);                                     // (2)
+
+template<convertible_to<Iterator> U>
+constexpr basic_const_iterator(basic_const_iterator<U> current);                      // (3)
+
+template<different-from<basic_const_iterator> T>
+  requires convertible_to<T, Iterator>
+constexpr basic_const_iterator(T&& current);                                          // (4)
+```
+* default_initializable[link /reference/concepts/default_initializable.md]
+* convertible_to[link /reference/concepts/convertible_to.md]
+* different-from[link /reference/ranges/different-from.md]
+
+## 概要
+
+`basic_const_iterator`オブジェクトを構築する。
+
+## 効果
+
+ラップするイテレータを`current_`というメンバに保持するとして
+
+- (1) : `current_`をデフォルト構築する
+- (2) : `current_`を`std::move(current)`で初期化する
+- (3) : `current_`を`std::move(current.current_)`で初期化する
+- (4) : `current_`を`std::forward<T>(current)`で初期化する
+
+## 例
+```cpp example
+#include <iterator>
+#include <vector>
+
+// 例示のための単純なイテレータラッパ、ラップするイテレータへの暗黙変換を提供する
+template<typename I>
+struct wrap_iter {
+  I it;
+
+  operator I() const {
+    return it;
+  }
+};
+
+int main() {
+  using I = std::vector<int>::iterator;
+
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+
+  // (1) デフォルトコンストラクタ
+  std::basic_const_iterator<I> ci1{};
+
+  // (2) イテレータから構築
+  std::basic_const_iterator ci2{vec.begin()};
+
+  // (3) 別のbasic_const_iteratorから変換して構築（コピーコンストラクタ）
+  std::basic_const_iterator<I> ci3{ci2};
+
+  wrap_iter wrap{ci2};
+  // (4) Iteratorに変換可能な型から構築
+  std::basic_const_iterator<I> ci4{wrap};
+}
+```
+* basic_const_iterator[color ff0000]
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): 13.1
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6
+
+## 参照
+
+- [P2278R4 `cbegin` should always return a constant iterator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2278r4.html)

reference/iterator/counted_iterator/base.md

@@ -39,7 +39,7 @@ int main() {
   std::cout << *(ci.base());
 }
 ```
-* count[color ff0000]
+* base[color ff0000]
 * ranges::begin[link /reference/ranges/begin.md]
 
 ### 出力