最終更新日時: 2026年07月22日 16時08分23秒 (JST)
rotarymars が更新

履歴 編集

class template
<ranges>

# std::tuple_element(C++20)

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

## 概要

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

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

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

## 例

    #include <ranges>
    #include <concepts>
    #include <tuple>

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

### 出力

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅

## 参照

- N4861 24 Ranges library
- C++20 ranges