to_input_view : メンバ関数を追加 #1423

Author: faithandbrave

reference/ranges/to_input_view.md

@@ -48,11 +48,11 @@ namespace std::ranges {
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](to_input_view/op_constructor.md.nolink) | コンストラクタ                   | C++26          |
-| [`base`](to_input_view/base.md.nolink)                    | `V`の参照を取得する              | C++26          |
-| [`begin`](to_input_view/begin.md.nolink)                  | 先頭を指すイテレータを取得する   | C++26          |
-| [`end`](to_input_view/end.md.nolink)                      | 番兵を取得する                   | C++26          |
-| [`size`](to_input_view/size.md.nolink)                    | 要素数を取得する                 | C++26          |
+| [`(constructor)`](to_input_view/op_constructor.md) | コンストラクタ                   | C++26          |
+| [`base`](to_input_view/base.md)                    | `V`の参照を取得する              | C++26          |
+| [`begin`](to_input_view/begin.md)                  | 先頭を指すイテレータを取得する   | C++26          |
+| [`end`](to_input_view/end.md)                      | 番兵を取得する                   | C++26          |
+| [`size`](to_input_view/size.md)                    | 要素数を取得する                 | C++26          |
 
 ## 継承しているメンバ関数
 
@@ -70,7 +70,7 @@ namespace std::ranges {
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](to_input_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++26          |
+| [`(deduction_guide)`](to_input_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++26          |
 
 ## 例
 ### 基本的な使い方

reference/ranges/to_input_view/base.md

@@ -0,0 +1,58 @@
+# base
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr V base() const&
+  requires copy_constructible<V>;  // (1) C++26
+
+constexpr V base() &&;             // (2) C++26
+```
+
+## 概要
+メンバ変数として保持している、元のRangeを取得する。
+
+## 効果
+- (1): `return base_;`
+- (2): `return std::move(base_);`
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+  
+  std::ranges::to_input_view view{vec};
+  
+  // (1) コピーして取得
+  std::vector<int> v1 = view.base();
+  
+  // (2) ムーブして取得
+  std::ranges::to_input_view view2{vec};
+  std::vector<int> v2 = std::move(view2).base();
+  
+  std::cout << v1.size() << std::endl;
+  std::cout << v2.size() << std::endl;
+}
+```
+
+### 出力
+```
+5
+5
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/to_input_view/begin.md

@@ -0,0 +1,57 @@
+# begin
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto begin()
+  requires (!simple-view<V>); // (1) C++26
+
+constexpr auto begin() const
+  requires range<const V>;    // (2) C++26
+```
+
+## 概要
+先頭を指すイテレータを取得する。
+
+## 効果
+- (1): `return iterator<false>(ranges::begin(base_));`
+- (2): `return iterator<true>(ranges::begin(base_));`
+
+ここで、`iterator`は`to_input_view`の内部で定義される説明専用のイテレータクラスである。
+
+## 備考
+- このイテレータは`input_iterator`コンセプトを満たし、`forward_iterator`コンセプトを満たさない。
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  std::ranges::to_input_view view{v};
+  
+  auto it = view.begin();
+  std::cout << *it << std::endl;
+}
+```
+
+### 出力
+```
+1
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/to_input_view/end.md

@@ -0,0 +1,66 @@
+# end
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto end()
+  requires (!simple-view<V>); // (1) C++26
+
+constexpr auto end() const
+  requires range<const V>;    // (2) C++26
+```
+
+## 概要
+番兵を取得する。
+
+## 効果
+以下と等価：
+
+```cpp
+return ranges::end(base_);
+```
+
+## 備考
+- `to_input_view`は[`common_range`](/reference/ranges/common_range.md)コンセプトを満たさないため、イテレータ型と番兵型は異なる型となる
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  std::ranges::to_input_view view{v};
+  
+  auto it = view.begin();
+  auto sentinel = view.end();
+  static_assert(!std::same_as<decltype(it), decltype(sentinel)>);
+  
+  int count = 0;
+  for (; it != sentinel; ++it) {
+    ++count;
+  }
+  
+  std::cout << "size: " << count << std::endl;
+}
+```
+
+### 出力
+```
+size: 5
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/to_input_view/op_constructor.md

@@ -0,0 +1,53 @@
+# コンストラクタ
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+to_input_view()
+  requires default_initializable<V> = default;  // (1) C++26
+
+constexpr explicit
+to_input_view(V base);                          // (2) C++26
+```
+
+## 概要
+`to_input_view`オブジェクトを構築する。
+
+- (1): デフォルトコンストラクタ
+- (2): ベースとなるRangeを受け取るコンストラクタ
+
+## 効果
+- (1): ベースとなるRangeをデフォルト構築する
+- (2): ベースとなるRangeを`std::move(base)`で初期化する
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  
+  // (1) デフォルトコンストラクタ
+  std::ranges::to_input_view<std::views::all_t<std::vector<int>&>> view1{};
+  
+  // (2) ベースRangeを受け取るコンストラクタ
+  std::ranges::to_input_view view2{v};
+}
+```
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/to_input_view/op_deduction_guide.md

@@ -0,0 +1,48 @@
+# 推論補助
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class V>
+  to_input_view(V) -> to_input_view<views::all_t<R>>;
+}
+```
+
+## 概要
+`to_input_view`クラステンプレートの型推論補助。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <concepts>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  
+  // 推論補助によりテンプレート引数を明示的に指定する必要がない
+  std::ranges::to_input_view view{v};
+  
+  static_assert(std::same_as<
+    decltype(view),
+    std::ranges::to_input_view<std::ranges::ref_view<std::vector<int>>>
+  >);
+}
+```
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/to_input_view/size.md

@@ -0,0 +1,54 @@
+# size
+* to_input_view[meta header]
+* std::ranges[meta namespace]
+* to_input_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto size()
+  requires sized_range<V>;       // (1) C++26
+
+constexpr auto size() const
+  requires sized_range<const V>; // (2) C++26
+```
+
+## 概要
+要素数を取得する。
+
+## 効果
+- (1), (2): 以下と等価：
+
+```cpp
+return ranges::size(base_);
+```
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  std::ranges::to_input_view view{v};
+  
+  std::cout << view.size() << std::endl;
+}
+```
+
+### 出力
+```
+5
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 21 [mark verified]
+- [GCC](/implementation.md#gcc): 15.1 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]