|
|
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和待追加型别传递进去。
|