op_deduction_guide.md

推論補助

• ranges[meta header]
• std::ranges[meta namespace]
• split_view[meta class]
• function[meta id-type]
• cpp20[meta cpp]

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

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

概要

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

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

例

#include <ranges>
#include <string>
#include <concepts>

int main() {
  std::string_view text = "hello,world,split";
  std::string_view delimiter = ",";

  std::ranges::split_view r1{text, delimiter};
  static_assert(std::same_as<
    decltype(r1),
    std::ranges::split_view<
      std::string_view,
      std::string_view
    >
  >);

  std::ranges::split_view r2{
    std::string{"hello,world,split"},
    std::string{","}
  };
  static_assert(std::same_as<
    decltype(r2),
    std::ranges::split_view<
      std::ranges::owning_view<std::string>,
      std::ranges::owning_view<std::string>
    >
  >);
}

出力

バージョン

言語

• C++20

処理系

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