Typelist 笔记

分类： C++&&算法&&设计模式 2009-03-22 15:51  930人阅读  评论(0)  收藏  举报

struct output string class 语言 c

以前看Typelist还没有真的理解，现在算理解了。

不过觉得Loki技巧过于华丽，也就是语言技巧。有些不实用，还是Boost更实用。

今天转移到boost库去了，这是昨天的笔记。

 #include "stdafx.h"
 #include <iostream>
 #include <string>
 #include <typeinfo>
 //#include <loki/SmartPtr.h>
 // class Text{
 // public:
 //   void output(){
 //      cout<<"Hello,world!"<<endl;
 //  }
 // };
 //“看在上帝的份上，从简单开始吧”——《具体数学》
 template <typename T, typename N>
 struct typelist{
     typedef T head;
     typedef N tail;
 };
 struct NULLType;
 typedef typelist<char,typelist<char,typelist<float,typelist<int, NULLType> > > > typelist1;
 //计算长度
 template<typename typelist>
 struct length;
 template<>
 struct length<NULLType>{
     enum{ len = 0};
 };
 //假如以typelist<char, typelist<string, NULLType>> 为例
 //
 template<typename T, typename N>
 struct length< typelist<T,N> >{//这儿的N就是typelist<string,NULLType>
     enum{len = 1+ length<N>::len};//递归调用上面，直到遇到一个特化版本
 };
 //索引访问,下标是从0开始。
 //这儿是模板参数的声明，决定模板参数的个数
 //也就是后来的typelist<...>的参数个数
 template<typename typelist, int i>//这儿表明有两个模板参数
 struct TypeAt;
 //这儿的i是从最左边的开始数起
 template<typename T, typename N,int i>
 struct TypeAt<typelist<T,N>,i>{//参数格式是2，分别是typelist<T,N>、i
     typedef typename TypeAt<N,i-1>::type type;
 };
 template<typename T, typename N>
 struct TypeAt<typelist<T,N>, 0 >{
     typedef T type;
 };
 //查找typelist
 //只考虑了正确的情况，没有容错功能
 template<typename T, typename N>
 struct IndexOf;
 template<typename T, typename N>
 struct IndexOf<typelist<T,N>, T>{
     enum{index = 0};
 };
 template<typename T, typename N, typename V> //
 struct IndexOf<typelist<T,N>, V>{

     enum {index = 1 + IndexOf<N,V>::index};
 };
 //附加元素到typelist
 template<typename T, typename N>
 struct Append;
 template<typename T, typename N, typename V>
 struct Append<typelist<T,N>, V>{
   typedef typelist<V, typelist<T,N> >  Result;
 };
 //erase
 template<typename T, typename N>
 struct Erase;
 template<typename T, typename N>
 struct Erase<typelist<T,N>,T>{
     typedef N Result;
 };
 template<typename T, typename N, typename C>
 struct Erase<typelist<T,N>,C>{
 private:
     typedef typename Erase<N, C>::Result Ret;
 public:
     typedef typelist<T,Ret> Result;
 };
 //eraseall 查处全部相同的元素。
 template<typename T, typename N>
 struct EraseAll;
 template<typename T>
 struct EraseAll<NULLType, T>{
     typedef NULLType Result;
 };
 template<typename T, typename N>
 struct EraseAll<typelist<T, N>,T>{
     typedef N Result;
 };
 template<typename T, typename N, typename V>
 struct EraseAll<typelist<T, N>, V>{
     typedef typelist<T, typename EraseAll<N,V>::Result> Result;
 };
 //移除重复元数
 template<class T>struct NoDuplicates;
 template<>
 struct NoDuplicates<NULLType>{
     typedef NULLType Result;
 };
 template<typename T, typename N>
 struct NoDuplicates<typelist<T,N> >{
 private:
     typedef typename NoDuplicates<N>::Result L1;
     typedef typename Erase<L1, T>::Result L2;
     //用EraseAll也不会错的。
 public:
     typedef typelist<T,L2> Result;
 };
 //取代typelist中的某个元素
 template<typename T, typename U, typename V>
 struct Replace;
 template<typename T, typename U>
 struct Replace<NULLType, T, U>{
     typedef NULLType Result;
 };
 template<typename T, typename U, typename V>
 struct Replace<typelist<T,U>,T, V>{
     typedef typelist<V,U> Result;
 };
 template<typename T, typename U, typename V,typename W>
 struct Replace<typelist<T,U>, V ,W>{
     typedef typelist<T,typename Replace<U, V, W>::Result > Result;
 };
 int _tmain(int argc, _TCHAR* argv[])
 {
     using namespace std;
     //typelist的结束应该是以NULLType结束，否则会错。因为IndexOf是假定这种情况存在。
     typedef Append<typelist<char,typelist<int,NULLType>>, string>::Result ret;
     cout<<IndexOf<ret,int>::index<<endl;
     //std::cout<<typeid(s).name()<<std::endl;
     //Loki::SmartPtr<Text>p(new Text);
     //p->output();
     //std::cout<<length<typelist1>::len<<std::endl;
     //TypeAt<typelist1,3>::type m;
     //std::cout<<typeid(m).name()<<std::endl;
     //std::cout<<IndexOf<typelist1,int>::index<<std::endl;
     return 0;
 }