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

Author: faithandbrave

GLOBAL_QUALIFY_LIST.txt

@@ -8,6 +8,7 @@
 * synth-three-way[link /reference/exposition-only/synth-three-way-result.md]
 * <algorithm>[link /reference/algorithm.md]
     * ExecutionPolicy[link /reference/execution/execution/execution_policy.md]
+    * ranges::find_if_not[link /reference/algorithm/ranges/find_if_not.md]
     * std::copy[link /reference/algorithm/copy.md]
     * std::copy_n[link /reference/algorithm/copy_n.md]
     * std::for_each[link /reference/algorithm/for_each.md]

reference/ranges/drop_while_view.md

@@ -49,11 +49,11 @@ namespace std::ranges {
 
 | 名前                                                         | 説明                             | 対応バージョン |
 |--------------------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](drop_while_view/op_constructor.md.nolink)  | コンストラクタ                   | C++20          |
-| [`base`](drop_while_view/base.md.nolink)                     | `V`の参照を取得する              | C++20          |
-| [`pred`](drop_while_view/pred.md.nolink)                     | 述語を取得する                   | C++20          |
-| [`begin`](drop_while_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++20          |
-| [`end`](drop_while_view/end.md.nolink)                       | 番兵を取得する                   | C++20          |
+| [`(constructor)`](drop_while_view/op_constructor.md)  | コンストラクタ                   | C++20          |
+| [`base`](drop_while_view/base.md)                     | `V`の参照を取得する              | C++20          |
+| [`pred`](drop_while_view/pred.md)                     | 述語を取得する                   | C++20          |
+| [`begin`](drop_while_view/begin.md)                   | 先頭を指すイテレータを取得する   | C++20          |
+| [`end`](drop_while_view/end.md)                       | 番兵を取得する                   | C++20          |
 
 ## 継承しているメンバ関数
 
@@ -72,7 +72,7 @@ namespace std::ranges {
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](drop_while_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++20          |
+| [`(deduction_guide)`](drop_while_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++20          |
 
 ## 例
 ```cpp example

reference/ranges/drop_while_view/base.md

@@ -0,0 +1,67 @@
+# base
+* ranges[meta header]
+* std::ranges[meta namespace]
+* drop_while_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr V base() const &
+  requires copy_constructible<V>;  // (1) C++20
+
+constexpr V base() &&;             // (2) C++20
+```
+
+## 概要
+
+メンバ変数として保持している、元の`view`を取得する。
+
+## 効果
+
+入力`view`（`V`）のオブジェクトを`base_`というメンバに保持するとして
+
+- (1) : `return base_;` と等価
+- (2) : `return std::move(base_);` と等価
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  using std::ranges::view;
+
+  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
+
+  std::ranges::drop_while_view r{vec, [](int x) { return x < 6; }};
+
+  // (1) コピーして取得
+  view auto b1 = r.base();
+
+  // (2) ムーブして取得
+  view auto b2 = std::move(r).base();
+
+  // 得られるのは元のRangeではなく、あくまでview
+  static_assert(not std::same_as<decltype(b1), std::vector<int>>);
+  static_assert(    std::same_as<decltype(b1), std::ranges::ref_view<std::vector<int>>>);
+  static_assert(    std::same_as<decltype(b2), std::ranges::ref_view<std::vector<int>>>);
+}
+```
+* base[color ff0000]
+
+### 出力
+
+```
+```
+
+## バージョン
+### 言語
+- 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/drop_while_view/begin.md

@@ -0,0 +1,68 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* drop_while_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr auto begin()
+  requires (!simple-view<V>);       // (1) C++20
+
+constexpr auto begin() const
+  requires range<const V> &&
+           indirect_unary_predicate<
+             const Pred,
+             iterator_t<const V>
+           >;                        // (2) C++20
+```
+
+## 概要
+
+`view`の先頭要素を指すイテレータを取得する。
+
+## 戻り値
+先頭から条件を満たさない最初の要素を指すイテレータを返す。
+
+- (1), (2) : 実装時にキャッシュした結果を返すか、以下と等価：
+    ```cpp
+    return ranges::find_if_not(ranges::begin(base_), ranges::end(base_), pred_);
+    ```
+
+ただし、`base_`は元の`view`を表すメンバ変数、`pred_`は述語を表すメンバ変数。
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
+
+  std::ranges::drop_while_view r{vec, [](int x) { return x < 6; }};
+
+  auto it = r.begin();
+
+  int x = *it;
+  std::cout << x << '\n';
+}
+```
+* begin[color ff0000]
+
+### 出力
+
+```
+6
+```
+
+## バージョン
+### 言語
+- 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/drop_while_view/end.md

@@ -0,0 +1,70 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* drop_while_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr auto end()
+  requires (!simple-view<V>);       // (1) C++20
+
+constexpr auto end() const
+  requires range<const V> &&
+           indirect_unary_predicate<
+             const Pred,
+             iterator_t<const V>
+           >;                        // (2) C++20
+```
+
+## 概要
+番兵を取得する。
+
+## 戻り値
+- (1), (2) : 以下と等価：
+    ```cpp
+    return ranges::end(base_);
+    ```
+
+ただし、`base_`は元の`view`を表すメンバ変数。
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
+
+  std::ranges::drop_while_view r{vec, [](int x) { return x < 6; }};
+
+  auto it = r.begin();
+  auto end_it = r.end();
+  while (it != end_it) {
+    int x = *it;
+    std::cout << x << " ";
+    ++it;
+  }
+  std::cout << std::endl;
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+
+```
+6 7 8 9 10 
+```
+
+## バージョン
+### 言語
+- 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/drop_while_view/op_constructor.md

@@ -0,0 +1,60 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* drop_while_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+drop_while_view()
+  requires default_initializable<V> &&
+           default_initializable<Pred> = default; // (1) C++20
+
+constexpr explicit
+  drop_while_view(V base, Pred pred);             // (2) C++20
+```
+
+## 概要
+
+[`drop_while_view`](../drop_while_view.md)オブジェクトを構築する。
+
+- (1) : デフォルト構築
+- (2) : 元となるviewと述語を指定して構築
+
+## 効果
+
+- (1) : `base_`と`pred_`をデフォルト構築する
+- (2) : `base_`を`std::move(base)`で、`pred_`を`std::move(pred)`で初期化する
+
+## 例
+```cpp example
+#include <iostream>
+#include <ranges>
+#include <vector>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
+
+  std::ranges::drop_while_view view{vec, [](int x) { return x < 6; }};
+  for (const auto& x : view) {
+    std::cout << x << " ";
+  }
+  std::cout << std::endl;
+}
+```
+* drop_while_view[color ff0000]
+
+### 出力
+```
+6 7 8 9 10 
+```
+
+## バージョン
+### 言語
+- 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/drop_while_view/op_deduction_guide.md

@@ -0,0 +1,56 @@
+# 推論補助
+* ranges[meta header]
+* std::ranges[meta namespace]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class R, class Pred>
+  drop_while_view(R&&, Pred) -> drop_while_view<views::all_t<R>, Pred>;
+}
+```
+
+## 概要
+
+[`drop_while_view`](../drop_while_view.md)クラステンプレートの型推論補助。
+
+この推論補助によって、元のRangeが暗黙的に[all view](../all.md)でラップされる。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <concepts>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
+  auto pred = [](int x) { return x < 6; };
+
+  std::ranges::drop_while_view r1{vec, pred};
+  static_assert(std::same_as<
+    decltype(r1),
+    std::ranges::drop_while_view<std::ranges::ref_view<std::vector<int>>, decltype(pred)>
+  >);
+
+  std::ranges::drop_while_view r2{std::vector<int>{1, 2, 3, 4, 5}, pred};
+  static_assert(std::same_as<
+    decltype(r2),
+    std::ranges::drop_while_view<std::ranges::owning_view<std::vector<int>>, decltype(pred)>
+  >);
+}
+```
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- 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]