std::ranges::cartesian_product_view::推論補助(C++23)

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

int main() {
  std::vector<int> v = {1, 2};
  std::list<char> l = {'a', 'b'};

  // cartesian_product_viewの型を明示的に指定する必要がない
  std::ranges::cartesian_product_view cv{v, l};

  // 推論された型を確認
  static_assert(std::same_as<
    decltype(cv),
    std::ranges::cartesian_product_view<
      std::ranges::ref_view<std::vector<int>>,
      std::ranges::ref_view<std::list<char>>
    >
  >);
}