template<unsigned int N, typename… TList> struct tuple_helper;

　　template<unsigned int N, typename T, typename… TList>

　　struct tuple_helper<N, tuple<T, TList…》

　　{

　　typedef tuple<T, TList…> tuple_type;

　　typedef typename tuple_at<N, tuple_type>::tuple_type base_tuple_type;

　　typedef typename tuple_at<N, tuple_type>::value_type return_type;

　　constexpr static const return_type& get（const tuple_type& tuple_）

　　{

　　return static_cast<const base_tuple_type&>（tuple_）。head（）；

　　}

　　static void get（const nulltuple& tuple_） {}

　　};

　　//////////////////////////////////////////////////////////

　　template<unsigned int N, typename… TList>

　　constexpr const typename tuple_at<N, tuple<TList…> >::value_type&

　　tuple_get（const tuple<TList…>& tuple_）

　　{

　　return tuple_helper< N, tuple<TList…> >::get（tuple_）；

　　}

　　例子：

　　#include "TypeTuple.h"

　　#include <tuple>

　　int main（）

　　{

　　bool b;

　　tuple<int, float, char> pp = {10, 0.1234, 'a'};

　　b = std::is_same<tuple_at<2, tuple<int, float, char》：：value_type, char >::value;

　　std::cout 《 "is same: " 《 b 《 std::endl;

　　b = std::is_same<tuple_at<2, tuple<int, float, char》：：tuple_type, tuple<char> >::value;

　　std::cout 《 "is same: " 《 b 《 std::endl;

　　std::cout 《 tuple_get<0>（pp）《" "《 tuple_get<1>（pp） 《" "《tuple_get<2>（pp） 《 std::endl;

　　std::tuple<int, float, char> cc{10, 0.1234, 'a'};

　　std::cout 《 sizeof（pp） 《 "  " 《 sizeof（cc） 《 std::endl;

　　tuple<int, float, char> ppc = pp;

　　std::cout 《 tuple_get<0>（ppc）《" "《 tuple_get<1>（ppc） 《" "《tuple_get<2>（ppc） 《 std::endl;

　　return 0;

　　}