op_deduction_guide.md

推論補助

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

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

• views::all_t[link ../all.md]

概要

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

例

#include <ranges>
#include <vector>
#include <type_traits>

int main() {
  std::vector<int> vec = {1, 2, 3, 4, 5};
  
  // views::take_whileはcommon_rangeではない
  auto pred = [](int x) { return x <= 3; };
  auto taken = vec | std::views::take_while(pred);
  
  // common_viewの型を明示的に指定する必要がない
  std::ranges::common_view cv{taken};
  
  // 推論された型を確認
  static_assert(std::same_as<
    decltype(cv),
    std::ranges::common_view<std::ranges::take_while_view<std::ranges::ref_view<std::vector<int>>, decltype(pred)>>
  >);
}

• std::ranges::common_view[color ff0000]
• std::views::take_while[link ../take_while_view.md]
• std::ranges::take_while_view[link ../take_while_view.md]

出力

バージョン

言語

• C++20

処理系

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

関連項目

• views::all