3.9 移除typelist中的某個元素
移除第一個匹配者：
template <class TList, class T> struct Erase;
template <class T> struct Erase<NullType, T>{
typedef NullType Result;
};
template<class T, calss Tail>
struct Erase<Typelist<T, Tail> T>{
typedef Tail Result;
};
template <class Head, class Tail, class T>
struct Erase<Typelist<Head, Tail>, T>{
typedef Typelist<Head,
typename Erase<Tail, T>::Result>
Result;
};
注意Erase<double, int>這樣使用會導致編譯錯誤。移除所有匹配者的實現如下：
template <class Tlist, class T>struct EraseAll;
template <class T> struct EraseAll<NullType, T>{
typedef NullType Result;
};
template <class T, class Tail>
struct EraseAll<Typelist<T, Tail>, T>{
typedef typname EraseAll<Tail, T>::Result Result;
};
template <class Head, class Tail, class T>
struct EraseAll<Typelist<Head, Tail>, T>{
typedef Typelist<Head,
typename EraseAll<Tail, T>::Result>
Result;
};
3.10 移除重復元素（略）
3.11 取代Typelist中的某個元素（略）
3.12 為Typelists局部更換次序（略）