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

namespace std::ranges {
  template<class R, class Pred>
  filter_view(R&&, Pred) -> filter_view<views::all_t<R>, Pred>;
}

概要

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

この推論補助によって、元のRangeが暗黙的にall viewでラップされる。

例

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

int main() {
  std::vector<int> vec = {1, 2, 3, 4};

  auto pred = [](int i) { return i % 2 == 0; };

  std::ranges::filter_view v1{vec, pred};

  static_assert(std::same_as<
    decltype(v1),
    std::ranges::filter_view<std::ranges::ref_view<std::vector<int>>>
  >);

  std::ranges::filter_view v2{std::vector<int>{1, 2}, pred};

  static_assert(std::same_as<
    decltype(v2),
    std::ranges::filter_view<std::ranges::owning_view<std::vector<int>>>
  >);
}

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

概要

例

出力

バージョン

言語

処理系

参照