op_deduction_guide.md

推論補助

• ranges[meta header]
• std::ranges[meta namespace]
• concat_view[meta class]
• function[meta id-type]
• cpp26[meta cpp]

namespace std::ranges {
  template<class... Rs>
  concat_view(Rs&&...) -> concat_view<views::all_t<Rs>...>;
}

概要

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

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

例

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

int main() {
  std::vector<int> v1{1, 2, 3};
  std::vector<int> v2{4, 5};
  std::array<int, 3> a{6, 7, 8};

  std::ranges::concat_view r1{v1, v2, a};
  static_assert(std::same_as<
    decltype(r1),
    std::ranges::concat_view<
      std::ranges::ref_view<std::vector<int>>,
      std::ranges::ref_view<std::vector<int>>,
      std::ranges::ref_view<std::array<int, 3>>
    >
  >);

  std::ranges::concat_view r2{
    std::vector<int>{1, 2, 3},
    std::vector<int>{4, 5},
    std::array<int, 3>{6, 7, 8}
  };
  static_assert(std::same_as<
    decltype(r2),
    std::ranges::concat_view<
      std::ranges::owning_view<std::vector<int>>,
      std::ranges::owning_view<std::vector<int>>,
      std::ranges::owning_view<std::array<int, 3>>
    >
  >);
}

出力

バージョン

言語

• C++26

処理系

• Clang: 20 [mark noimpl]
• GCC: 15 [mark verified]
• Visual C++: 2022 Update 14 [mark noimpl]