讀loki有感，TYPEList原理

讀loki有感，TYPEList原理
問(wèn)題1，簡(jiǎn)化版的TYPEList，只支持int型
template<int n>
class TYPEList
{
public:
 int Head;
 TYPEList<n⑴> Tail;

};

template<>
class TYPEList<0>
{
public:
 int Tail;
 int Head; 
};

測(cè)試代碼
TYPEList<0> l0;
 l0.Head = 1;
 l0.Tail = 2;

TYPEList<2> l2;
l2.Head = 3;
l2.Tail.Head = 4;
l2.Tail.Tail.Head = 5;
l2.Tail.Tail.Tail = 6;

問(wèn)題2：可以同過(guò)GetAt(int)獲得值
template<int n>
class TYPEList
{
public:
 int Head;
 TYPEList<n⑴> Tail;
 int GetAt(int index )
 {
  if( n+1 == index )
   return Head;
  return Tail.GetAt(index);
 }
};

template<>
class TYPEList<0>
{
public:
 int GetAt(int index)
 {
  if( 1 == index )
   return Tail;
  return Head;
 }
 int Tail;
 int Head; 
};
測(cè)試代碼
TYPEList<0> l0;
 l0.Head = 1;
 l0.Tail = 2;

 TYPEList<2> l2;
 l2.Head = 3;
 l2.Tail.Head = 4;
 l2.Tail.Tail.Head = 5;
 l2.Tail.Tail.Tail = 6;

 int i1 = l2.GetAt(0);
 int i2 = l2.GetAt(1);
 int i3 = l2.GetAt(2);
 int i4 = l2.GetAt(3);

問(wèn)題3，類型不再限于int,但最多集成3個(gè)變量。

class NullType
{
};

template <class T, class U>
struct Typelist
{
 T Head;
 U Tail;
};

template <typename T1  = NullType, typename T2  = NullType, typename T3  = NullType >
struct MakeTypelist
{ 
private:  
 typedef typename MakeTypelist< T2 ,T3>::Result TailResult; 
public:  
 typedef Typelist<T1, TailResult> Result; };

template<> 
struct MakeTypelist<> 
 {  
  typedef NullType Result;
 };

測(cè)試代碼：
MakeTypelist<ULONG,CString,int>::Result User,User2;

 User.Head = 1;
 User.Tail.Head = "何志丹";
 User.Tail.Tail.Head = 35;

 User2 = User;

 template <class AtomicType, template <class> class GenFunc>
    struct IterateTypes
   {    template<class II>
    void operator()(II ii)
       {   
    GenFunc<AtomicType> genfunc;
        *ii = genfunc();
        ++ii; //Is this even needed?
        }
    };

生活不易，碼農(nóng)辛苦
如果您覺得本網(wǎng)站對(duì)您的學(xué)習(xí)有所幫助,可以手機(jī)掃描二維碼進(jìn)行捐贈(zèng)