Skip to content

Latest commit

 

History

History
179 lines (139 loc) · 6.65 KB

lazy_split_view.md

File metadata and controls

179 lines (139 loc) · 6.65 KB

lazy_split_view

  • ranges[meta header]
  • std::ranges[meta namespace]
  • class template[meta id-type]
  • cpp20[meta cpp]
namespace std::ranges {

  template<input_range V, forward_range Pattern>
    requires view<V> && view<Pattern> &&
             indirectly_comparable<iterator_t<V>, iterator_t<Pattern>, ranges::equal_to> &&
             (forward_range<V> || tiny-range<Pattern>)
  class lazy_split_view : public view_interface<lazy_split_view<V, Pattern>> { …… };   // (1)

  namespace views {
    inline constexpr /*unspecified*/ lazy_split = /*unspecified*/;                     // (2)
  }
}
  • input_range[link input_range.md]
  • forward_range[link forward_range.md]
  • view[link view.md]
  • iterator_t[link iterator_t.md]
  • indirectly_comparable[link /reference/iterator/indirectly_comparable.md]
  • ranges::equal_to[link /reference/functional/equal_to.md]
  • tiny-range[italic]

概要

  • (1): input_rangeを要素、または要素のviewからなるパターンをデリミタとして分割し、それぞれの部分Rangeを要素とする新たなRangeとして扱うview
  • (2): lazy_split_viewを生成するRangeアダプタオブジェクト

Rangeコンセプト

borrowed sized output input forward bidirectional random_access contiguous common viewable view
○ (1) (2) ○ ○

Rangeコンセプト (各部分Range)

borrowed sized output input forward bidirectional random_access contiguous common viewable view
○ (1) ○ ○

テンプレートパラメータ制約

説明専用コンセプトtiny-rangeを次のように定義する。

template<auto> struct require-constant;

template<class R>
concept tiny-range = sized_range<R> &&
  requires { typename require-constant<remove_reference_t<R>::size()>; } && (remove_reference_t<R>::size() <= 1);
  • require-constant[italic]
  • tiny-range[italic]
  • remove_reference_t[link /reference/type_traits/remove_reference.md]

これを用いて、

効果

  • (2): 式views::lazy_split(E, F)の効果はlazy_split_view{E, F}と等しい。

メンバ関数

名前 説明 対応バージョン
(constructor) コンストラクタ C++20
base Vの参照を取得する C++20
begin 先頭を指すイテレータを取得する C++20
end 番兵を取得する C++20

継承しているメンバ関数

名前 説明 対応バージョン
empty Rangeが空かどうかを判定する C++20
operator bool Rangeが空でないかどうかを判定する C++20
front 先頭要素への参照を取得する C++20
back 末尾要素への参照を取得する C++20
cbegin 定数イテレータを取得する C++23
cend 定数イテレータ（番兵）を取得する C++23

推論補助

名前 説明 対応バージョン
(deduction_guide) クラステンプレートの推論補助 C++20

例

rangeによるrangeの分割

#include <ranges>
#include <vector>
#include <iostream>

int main() {
  using namespace std;
  std::vector<int> v = {1, 2, 3, 4, 5, 6, 7, 8, 9};
  std::vector<int> pattern = {4, 5};

  for (auto inner_range : v | views::lazy_split(pattern)) {
    for (int n : inner_range) {
      std::cout << n;
    }
    std::cout << '\n';
  }
}
  • views::lazy_split[color ff0000]

出力

123
6789

input_rangeの分割

この場合はデリミタは1要素でなければならず、rangeによる分割はできない。

#include <ranges>
#include <vector>
#include <iostream>
#include <sstream>

int main() {
  using namespace std;
  auto iss = istringstream{"1 2 3 1 4 5 6 1 7 8 1 9 1"};

  for (auto inner_range : views::istream<int>(iss) | views::lazy_split(1)) {
    for (int n : inner_range) {
      std::cout << n;
    }
    std::cout << '\n';
  }
}
  • views::istream[link basic_istream_view.md]
  • views::lazy_split[color ff0000]

出力

23
456
78
9

バージョン

言語

  • C++20

処理系

  • Clang: 13.0.0 [mark verified]
  • GCC: 10.1.0 [mark verified]
  • ICC: ?
  • Visual C++: 2019 Update 10 [mark verified]

参照