|
|
3.6 索引式訪問
索引式訪問使typelist訪問線性化。象在static世界中一樣，索引必須是編譯期常數。一個帶有索引的template聲明如下：
template <class TList, unsigned int index >struct TypeAt;
實現如下：
template <class Head, Class Tail>
struct TypeAt<Typelist<Head, Tail>, 0>{
typedef Head Result;
};
template <class Head, class Tail, unsigned int i>
struct TypeAt<Typelist<Head, Tail>, i>{
typedef typename TypeAt<Tail, i-1>::Result Result;
};
如果你試著越界訪問，會編譯出錯。對Typelist進行索引訪問，花費的時間和typelist大小有關，但這個時間全部花在編譯期。
3.7 查找Typelist
我們用IndexOf來查找Typelist中一個型別，返回其位置，找不到返回-1。
template <class TList, class T> struct IndexOf;
template <class T>
struct IndexOf<NullType, T>{
enum{value = -1};
};
template <class Tail, class T>
struct IndexOf<Typelist<T, Tail>, T>{
enum{value = 0;}
};
template <class Head, class Tail, class T>
struct IndexOf<Typelist<Head, Tail>, T>{
private:
enum{temp = IndexOf<Tail, T>::vale};
public:
enum{value = temp == -1 ? -1 : 1+temp};
};
最后一個特化版本用了問號表達式來實現分支判斷。
3.8 追加元素至Typelist
修改typelist是不可能的，我們以by value方式傳回一個新typelist。
template <class TList, class T> struct Append;
template <> struct Append<NullType, NullType>{
typedef NullType Result;
};
template <class T> struct Append<NullType, T>{
typedef TYPELIST_1(T) Result;
};
template <class Head, class Tail>
struct Append<NullType, Typelist<Head, Tail> >{
typedef Typelist<Head, Tail> Result;
};
template <class Head, class Tail, class T>
struct Append<Typelist<Head, Tail>, T>{
typedef Typelist<Head, typename Append<Tail,T>::Result> Result;
};
這個實現比較復雜，特別是最后一個偏特化版本，它遞歸具現Append，每次遞歸都將tail和待追加型別傳遞進去。
|