single_view : メンバ関数を追加 #713

Author: faithandbrave

reference/ranges/single_view.md

@@ -9,7 +9,6 @@ namespace std::ranges {
   template<copy_constructible T>
     requires is_object_v<T>
   class single_view : public view_interface<single_view<T>> { …… }; // (1) C++20
-
   template<move_constructible T>
     requires is_object_v<T>
   class single_view : public view_interface<single_view<T>> { …… }; // (1) C++23
@@ -30,23 +29,37 @@ namespace std::ranges {
 |----------|-------|--------|-------|---------|---------------|---------------|------------|--------|----------|------|
 |          | ○    | ○     | ○    | ○      | ○            | ○            | ○         | ○     | ○       | ○   |
 
+## テンプレートパラメータ制約
+- (1) :
+    - C++20 : 型`T`がコピー構築可能であること
+    - C++23 : 型`T`がムーブ構築可能であること
+
+
 ## 効果
 - 式`views::single(E)`の効果は`single_view<decay_t<decltype((E))>>(E)`と等しい。
 
+## メンバ変数
+
+| 名前                                        | 説明         | 対応バージョン        |
+|---------------------------------------------|--------------|-----------------------|
+| [`movable-box`](movable_box.md)`<T> value_` | 単一要素の値 | C++20                 |
+
+
 ## メンバ関数
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](single_view/op_constructor.md.nolink)  | コンストラクタ                   | C++20          |
-| [`begin`](single_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++20          |
-| [`end`](single_view/end.md.nolink)                       | 番兵を取得する                   | C++20          |
-| [`data`](single_view/data.md.nolink)                     | 配列の先頭へのポインタを取得する | C++20          |
+| [`(constructor)`](single_view/op_constructor.md) | コンストラクタ                   | C++20          |
+| [`begin`](single_view/begin.md)                  | 先頭を指すイテレータを取得する   | C++20          |
+| [`end`](single_view/end.md)                      | 番兵を取得する                   | C++20          |
+| [`data`](single_view/data.md)                    | 配列の先頭へのポインタを取得する | C++20          |
 
 ## 静的メンバ関数
 
-| 名前                                             | 説明                             | 対応バージョン |
-|--------------------------------------------------|----------------------------------|----------------|
-| [`size`](single_view/size.md.nolink)                     | 要素数を取得する                 | C++20          |
+| 名前                            | 説明                        | 対応バージョン |
+|---------------------------------|-----------------------------|----------------|
+| [`size`](single_view/size.md)   | 要素数を取得する            | C++20          |
+| [`empty`](single_view/empty.md) | Rangeが空かどうかを判定する | C++20          |
 
 ## 継承しているメンバ関数
 
@@ -56,12 +69,14 @@ namespace std::ranges {
 | [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++20          |
 | [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++20          |
 | [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++20          |
+| [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++23          |
+| [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++23          |
 
 ## 推論補助
 
-| 名前                                                  | 説明                         | 対応バージョン |
-|-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](single_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++20          |
+| 名前                                                     | 説明                         | 対応バージョン |
+|----------------------------------------------------------|------------------------------|----------------|
+| [`(deduction_guide)`](single_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++20          |
 
 ## 例
 ```cpp example

reference/ranges/single_view/begin.md

@@ -0,0 +1,58 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* single_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr T* begin() noexcept;             // (1) C++20
+constexpr const T* begin() const noexcept; // (2) C++20
+```
+
+## 概要
+`view`の先頭要素を指すイテレータを取得する。
+
+## 戻り値
+以下と等価：
+
+```cpp
+return data();
+```
+* data()[link data.md]
+
+
+## 例
+
+```cpp example
+#include <iostream>
+#include <ranges>
+
+int main() {
+  auto r = std::views::single(1);
+  int* it = r.begin();
+  int* last = r.end();
+
+  for (; it != last; ++it) {
+    std::cout << *it << std::endl;
+  }
+}
+```
+* begin[color ff0000]
+* end[link end.md]
+
+### 出力
+
+```
+1
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/single_view/data.md

@@ -0,0 +1,53 @@
+# data
+* ranges[meta header]
+* std::ranges[meta namespace]
+* single_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr T* data() noexcept;             // (1) C++20
+constexpr const T* data() const noexcept; // (2) C++20
+```
+
+## 概要
+配列の先頭へのポインタを取得する。
+
+## 戻り値
+以下と等価：
+
+```cpp
+return value_.operator->();
+```
+
+
+## 例
+
+```cpp example
+#include <iostream>
+#include <ranges>
+
+int main() {
+  auto r = std::views::single(1);
+  int* p = r.data();
+
+  std::cout << *p << std::endl;
+}
+```
+* data[color ff0000]
+
+### 出力
+
+```
+1
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/single_view/empty.md

@@ -0,0 +1,30 @@
+# empty
+* ranges[meta header]
+* std::ranges[meta namespace]
+* single_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+static constexpr bool empty() noexcept; // (1) C++20
+```
+
+## 概要
+Rangeが空かどうかを判定する。
+
+## 戻り値
+
+```cpp
+return false;
+```
+
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/single_view/end.md

@@ -0,0 +1,59 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* single_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr T* end() noexcept;             // (1) C++20
+constexpr const T* end() const noexcept; // (2) C++20
+```
+
+## 概要
+
+番兵を取得する。
+
+## 戻り値
+以下と等価：
+
+```cpp
+return data() + 1;
+```
+* data()[link data.md]
+
+
+## 例
+
+```cpp example
+#include <iostream>
+#include <ranges>
+
+int main() {
+  auto r = std::views::single(1);
+  int* it = r.begin();
+  int* last = r.end();
+
+  for (; it != last; ++it) {
+    std::cout << *it << std::endl;
+  }
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+
+```
+1
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/single_view/op_constructor.md

@@ -0,0 +1,98 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* single_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+single_view()
+  requires default_initializable<T> = default; // (1) C++20
+
+constexpr explicit single_view(const T& t)
+  requires copy_constructible<T>;              // (2) C++20
+
+constexpr explicit single_view(T&& t);         // (3) C++20
+
+template <class... Args>
+  requires constructible_from<T, Args...>
+constexpr explicit single_view(in_place_t, Args&&... args); // (4) C++20
+```
+
+## 概要
+[`single_view`](../single_view.md)オブジェクトを構築する。
+
+- (1) : デフォルト構築
+- (2) : `t`をコピーして、`*this`に保持する
+- (3) : `t`をムーブして、`*this`に保持する
+- (4) : 型`T`のコンストラクタ引数`args...`を転送して`T`型オブジェクトを内部で構築し、`*this`に保持する
+
+
+## テンプレートパラメータ制約
+- (1) : 型`T`がデフォルト構築可能であること
+- (2) : 型`T`がコピー構築可能であること
+- (4) : 型`T`が`Args...`で構築可能であること
+
+
+## 効果
+
+- (2) : `value_`を`t`で初期化する
+- (3) : `value_`を[`std::move`](/reference/utility/move.md)`(t)`で初期化する
+- (4) : `value_{`[`in_place`](/reference/utility/in_place_t.md)`,` [`std::forward`](/reference/utility/forward.md)`<Args>(args)...}`で初期化する
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <ranges>
+#include <string>
+
+int main() {
+  // (2) コピー構築
+  {
+    std::string s1 = "hello";
+    for (const std::string& x : std::views::single(s1)) {
+      std::cout << x << std::endl;
+    }
+  }
+
+  // (3) ムーブ構築
+  {
+    std::string s1 = "hello";
+    for (const std::string& x : std::views::single(std::move(s1))) {
+      std::cout << x << std::endl;
+    }
+  }
+
+  // (4) コンストラクタ引数から構築
+  {
+    for (const std::string& x : std::ranges::single_view<std::string>(std::in_place, 3, 'a')) {
+      std::cout << x << std::endl;
+    }
+  }
+}
+
+```
+* std::ranges::single_view[color ff0000]
+* std::views::single[color ff0000]
+
+### 出力
+```
+hello
+hello
+aaa
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]
+
+## 参照
+- [N4861 24.7.4 Filter view](https://timsong-cpp.github.io/cppwp/n4861/range.filter)
+- [N4950 26.7.8 Filter view](https://timsong-cpp.github.io/cppwp/n4950/range.filter)