Извлечь список из объекта

template <class T, class U>struct Typelist{};
class NullType{};
 
template < 
typename T1=NullType,typename T2=NullType,typename T3=NullType,typename T4=NullType,
typename T5=NullType,typename T6=NullType,typename T7=NullType,typename T8=NullType
>
class ListType{
typedef typename ListType<T2,T3,T4,T5,T6,T7,T8>::Result Tail;
public:typedef Typelist<T1,Tail> Result;};
 
template <>class ListType<>{
public:typedef NullType Result;};
 
template<class TList> struct Length;
template<>struct Length< NullType >{
    enum{value = 0 };};
template <class T, class U>
struct Length< Typelist<T, U> >{
    enum{value = 1 + Length<U>::value };};
 
template <class TList, long Index> struct TypeAt;
 
template <class Head, class Tail>
struct TypeAt<Typelist<Head, Tail>, 0>{
    typedef Head Result;};
 
template <class Head, class Tail, long Index>
struct TypeAt<Typelist<Head, Tail>, Index>{
    typedef typename TypeAt<Tail, Index - 1>::Result Result;};
 
 
template <typename T, long I>
class TupleElement{
public:T & get(){return m_value;}
private:T m_value;};
 
template <typename List, long I = 0>
class TupleImplType;
    
template <typename T, typename U, long I>
class TupleImplType<Typelist<T,U>,I>
    : public TupleElement<T,I>
    , public TupleImplType<U,I+1>{};
 
template <long I>
class TupleImplType<NullType,I>{};
 
template < 
typename T1=NullType,typename T2=NullType,typename T3=NullType,typename T4=NullType,
typename T5=NullType,typename T6=NullType,typename T7=NullType,typename T8=NullType
>
class TupleType:public TupleImplType<typename ListType<T1,T2,T3,T4,T5,T6,T7,T8>::Result>{
    typedef typename ListType<T1,T2,T3,T4,T5,T6,T7,T8>::Result ElementsList;
public:
    template <long Index>
    typename TypeAt<ElementsList, Index>::Result & set(){
TupleElement<typename TypeAt<ElementsList, Index>::Result, Index> & el = *this;return el.get();}
enum{Size = Length<ElementsList>::value};
};
 
 
template<long C,template<long>class T,long Z=1>
class ListStruct{
typedef typename ListStruct<C-1, T, Z + 1>::Result Tail;
public:typedef Typelist<T<Z>, Tail> Result;};
 
template<template<long>class T,long Z>
class ListStruct<0,T,Z>{
public:typedef NullType Result;};
 
template <typename List, long Z = 0>
class TupleImplStruct;
    
template <typename T,typename U,long Z>
class TupleImplStruct<Typelist<T, U>, Z>
    : public TupleElement<T, Z - 1>
    , public TupleImplStruct<U, Z - 1>{};
 
template <>
class TupleImplStruct<NullType,0>{};
template <long a>struct __char{char arr_[a];};
 
template <long T=8>
class TupleStruct:public TupleImplStruct<typename ListStruct<T,__char,1>::Result,T>{ 
typedef typename ListStruct<T,__char>::Result ElementsList;
typedef typename ListType<unsigned char,unsigned short,long,unsigned long long>::Result ElementsType;
public:
    template <long Index>
    typename TypeAt<ElementsList,Index>::Result&set(){
TupleElement<TypeAt<ElementsList,Index>::Result, Index>*el 
= reinterpret_cast< TupleElement<TypeAt<ElementsList, Index>::Result,Index>*>(this);
return el->get();}
 
enum{Size=Length<ElementsList>::value};
 
};

TupleType<unsigned char,unsigned short,long,unsigned long long>tplValue;

template<long a>struct __tuple{decltype(tplValue.set<a>())tupl;};
template <long T=3>
class Struct_Tuple:public TupleImplStruct<typename ListStruct<3,__tuple>::Result,3>{ 
typedef typename ListStruct<T,__tuple,0>::Result ElementsList;
public:
    template <long Index>
    typename TypeAt<ElementsList, Index>::Result&set(){
TupleElement<TypeAt<ElementsList,Index>::Result, Index>*el 
= reinterpret_cast< TupleElement<TypeAt<ElementsList, Index>::Result,Index>*>(this);
return el->get();}
 
enum{Size=Length<ElementsList>::value};
 
};Struct_Tuple<>_Struct_Tuple;

typedef typename ListType<unsigned char,unsigned short,long,unsigned long long>::Result ElementsType;

typename TypeAt<ElementsType,Index>::Result&set()

typename TypeAt<decltype(tplValue),Index>::Result