tuple_element.md

tuple_element

• ranges[meta header]
• std[meta namespace]
• class template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template<class I, class S, ranges::subrange_kind K>
  struct tuple_element<0, ranges::subrange<I, S, K>> {
    using type = I;
  };

  template<class I, class S, ranges::subrange_kind K>
  struct tuple_element<0, const ranges::subrange<I, S, K>> {
    using type = I;
  };

  template<class I, class S, ranges::subrange_kind K>
  struct tuple_element<1, ranges::subrange<I, S, K>> {
    using type = S;
  };

  template<class I, class S, ranges::subrange_kind K>
  struct tuple_element<1, const ranges::subrange<I, S, K>> {
    using type = S;
  };
}

• ranges::subrange[link ../subrange.md]
• ranges::subrange_kind[link ../subrange_kind.md]

概要

tuple_elementは、タプルとして見なせる型から、I番目の要素型を取得するためのクラスである。

<ranges>ヘッダでは、subrangeに関する特殊化を定義する。

subrangeをタプルとして見たとき、大きさ2で、第0要素はイテレータ、第1要素は番兵である。

例

#include <ranges>
#include <concepts>

int main()
{
  constexpr std::ranges::subrange sub = std::views::empty<int>;
  static_assert(std::same_as<std::tuple_element_t<0, decltype(sub)>, std::ranges::iterator_t<decltype(sub)>>);
  static_assert(std::same_as<std::tuple_element_t<1, decltype(sub)>, std::ranges::sentinel_t<decltype(sub)>>);
}

• std::tuple_element_t[link /reference/tuple/tuple_element.md]
• std::ranges::subrange[link /reference/ranges/subrange.md]
• std::same_as[link /reference/ranges/subrange.md]
• std::ranges::iterator_t[link /reference/ranges/iterator_t.md]
• std::ranges::sentinel_t[link /reference/ranges/sentinel_t.md]
• std::views::empty[link /reference/ranges/empty_view.md]

出力

バージョン

言語

• C++20

処理系

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

参照

• N4861 24 Ranges library
• C++20 ranges