名前空間
変種
操作

std::tuple_element<std::tuple>

提供: cppreference.com
< cpp‎ | utility‎ | tuple
 
 
 
 
ヘッダ <tuple> で定義
template< std::size_t I, class T >
class tuple_element; /* undefined */
(1) (C++11およびそれ以降)
template< std::size_t I, class... Types >
class tuple_element< I, tuple<Types...> >;
(2) (C++11およびそれ以降)
ヘッダ <tuple> で定義
ヘッダ <array> で定義
ヘッダ <utility> で定義
(C++17およびそれ以降)
(C++17およびそれ以降)
template< std::size_t I, class T >

class tuple_element< I, const T > {
  typedef typename
      std::add_const<typename std::tuple_element<I, T>::type>::type type;

};
(3) (C++11およびそれ以降)
template< std::size_t I, class T >

class tuple_element< I, volatile T > {
  typedef typename
      std::add_volatile<typename std::tuple_element<I, T>::type>::type type;

};
(4) (C++11およびそれ以降)
template< std::size_t I, class T >

class tuple_element< I, const volatile T > {
  typedef typename
      std::add_cv<typename std::tuple_element<I, T>::type>::type type;

};
(5) (C++11およびそれ以降)

タプルの要素型へのコンパイル時インデックスアクセスを提供します。

目次

[編集] メンバ型

メンバ型 定義
type タプルの I 番目の要素、ただし I[0, sizeof...(Types)) の範囲内

[編集] ヘルパー型

template <std::size_t I, class T>
using tuple_element_t = typename tuple_element<I, T>::type;
(C++14およびそれ以降)

[編集] 実装例

template< std::size_t I, class T >
struct tuple_element;
 
// recursive case
template< std::size_t I, class Head, class... Tail >
struct tuple_element<I, std::tuple<Head, Tail...>>
    : std::tuple_element<I-1, std::tuple<Tail...>> { };
 
// base case
template< class Head, class... Tail >
struct tuple_element<0, std::tuple<Head, Tail...>> {
   typedef Head type;
};

[編集]

#include <iostream>
#include <tuple>
 
template <class... Args>
struct type_list
{
   template <std::size_t N>
   using type = typename std::tuple_element<N, std::tuple<Args...>>::type;
};
 
int main()
{
   std::cout << std::boolalpha;
   type_list<int, char, bool>::type<2> x = true;
   std::cout << x << '\n';
}

出力:

true

[編集] 関連項目

array の要素の型を取得します
(クラステンプレートの特殊化) [edit]
pair の要素の型を取得します
(クラステンプレートの特殊化) [edit]