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

#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)>>
  >);
}