最終更新日時(UTC): 2025年09月25日 13時04分30秒
Raclamusi が更新

履歴 編集

function
<ranges>

# std::ranges::filter_view::推論補助(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>>, decltype(pred)>
      >);

      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>>, decltype(pred)>
      >);
    }

### 出力

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅

## 参照

- N4861 24.7.4 Filter view
- N4950 26.7.8 Filter view