std::ranges::lazy_split_view::推論補助(C++20)

namespace std::ranges {
  template<class R, class P>
  lazy_split_view(R&&, P&&)
    -> lazy_split_view<
         views::all_t<R>,
         views::all_t<P>
       >;                  // (1) C++20

  template<input_range R>
  lazy_split_view(R&&, range_value_t<R>)
    -> lazy_split_view<
         views::all_t<R>,
         single_view<range_value_t<R>>
       >;                  // (2) C++20
}

概要

lazy_split_viewクラステンプレートの型推論補助。

(1) : 元のRangeとパターンが暗黙的にall viewでラップされる
(2) : 元のRangeがall view、区切り要素がsingle_viewでラップされる

例

#include <ranges>
#include <vector>
#include <concepts>

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

  // Rangeとパターン
  std::ranges::lazy_split_view r1{v, pattern};
  static_assert(std::same_as<
    decltype(r1),
    std::ranges::lazy_split_view<
      std::ranges::ref_view<std::vector<int>>,
      std::ranges::ref_view<std::vector<int>>
    >
  >);

  // Rangeと区切り要素
  std::ranges::lazy_split_view r2{v, 5};
  static_assert(std::same_as<
    decltype(r2),
    std::ranges::lazy_split_view<
      std::ranges::ref_view<std::vector<int>>,
      std::ranges::single_view<int>
    >
  >);
}

std::ranges::lazy_split_view::推論補助(C++20)

概要

例

出力

バージョン

言語

処理系