首页 > 代码库 > C++11 TypeList 妙用
C++11 TypeList 妙用
源码展示:
#include <iostream>using namespace std;template <typename ... Args> struct typelist;typedef typelist <int ,short ,double ,long ,float> defaultPolicys;template <typename A, typename B> struct concat;template <typename... A, typename... B>struct concat<typelist<A...>, typelist<B...> >{ typedef typelist<A..., B...> type;};template<typename T, typename... TList>struct concat<typelist<TList...>, T >{ typedef typelist<TList..., T> type;};template<typename T, typename... TList>struct concat< T, typelist<TList...> >{ typedef typelist<T, TList...> type;};template <typename T ,int I, typename K= defaultPolicys> struct replace;template <typename T, int I, typename H,typename ...Tail> struct replace<T,I,typelist<H,Tail...>>{ typedef typename concat<H, typename replace<T, I-1, typelist<Tail...>>::type>::type type;};template <typename T,typename H,typename... Tail> struct replace<T,0,typelist<H,Tail...>>{ typedef typelist<T,Tail...> type;};template <typename T ,int I> struct Custom{ const static int index = I; typedef T newType;};template <typename ...> struct CEO;template <> struct CEO<>{ typedef defaultPolicys myPolicys;};template <typename T> struct CEO<T>{ typedef typename replace<typename T::newType,T::index>::type myPolicys;};//template <typename T,typename U> struct CEO<T,U>{ typedef typename replace<typename U::newType,U::index,typename CEO<T>::myPolicys>::type myPolicy;};template <typename T,typename ... Tail> struct CEO<T,Tail...>{ typedef typename replace<typename T::newType,T::index,typename CEO<Tail...>::myPolicys>::type myPolicys;};int main(){ typedef typelist <int ,short ,double ,long ,float> five; typedef typelist <int ,short ,string, char ,string> fives; if(is_same<typename CEO<>::myPolicys,five>::value)cout<<"..."<<endl; if(is_same< CEO< Custom<string,2>,Custom<char,3>,Custom<string,4> > ::myPolicys,fives>::value)cout<<"..."<<endl; return 0;}
template <typename ... Args> struct typelist; typelist声明
template <typename A, typename B> struct concat; 连接任意类型至typelist头或尾部声明
template <typename... A, typename... B> struct concat<typelist<A...>, typelist<B...> > { typedef typelist<A..., B...> type; }; 连接两个typelist偏特化定义
template<typename T, typename... TList>
struct concat<typelist<TList...>, T >
{
typedef typelist<TList..., T> type;
}; 将类型连接至typelist尾部偏定义
template<typename T, typename... TList>
struct concat< T, typelist<TList...> >
{
typedef typelist<T, TList...> type;
}; 将类型连接至typelist头部偏特化定义
template <typename T ,int I, typename K = defaultPolicys> struct replace; 用类型T替换K=typelist的I位置类型的声明
template <typename T, int I, typename H,typename ...Tail> struct replace<T,I,typelist<H,Tail...>>{ typedef typename concat<H, typename replace<T, I-1, typelist<Tail...>>::type>::type type;}; 偏特化定义,递归入口template <typename T,typename H,typename... Tail> struct replace<T,0,typelist<H,Tail...>>{ typedef typelist<T,Tail...> type;}; 偏特化定义,递归出口
template <typename T ,int I> struct Custom{ const static int index = I; typedef T newType;}; 用于自定义类型
template <typename ...> struct CEO; CEO:Policys的执行者template <> struct CEO<>{ typedef defaultPolicys myPolicys; CEO<>拥有默认的Policys};template <typename T> struct CEO<T>{ typedef typename replace<typename T::newType,T::index>::type myPolicys;}; 自定义单个Policy的偏特化定义//template <typename T,typename U> struct CEO<T,U>{ typedef typename replace<typename U::newType,U::index,typename CEO<T>::myPolicys>::type myPolicy;};template <typename T,typename ... Tail> struct CEO<T,Tail...>{ typedef typename replace<typename T::newType,T::index,typename CEO<Tail...>::myPolicys>::type myPolicys;}; 自定义多个Policys的偏特化定义
使用如下代码初步测试:
CEO< Custom<string,2>,Custom<char,3>,Custom<string,4> > ::myPolicys
myPolicys 类型为 typelist<int ,short ,string ,char ,string>
----------------------------------------------------------------------------------------------------------------------------------------
这段代码有什么用?
假设在typelist中,每一个类型拥有一个静态的函数,若如此CEO<>拥有一套默认的函数。
CEO<Custom<xType,xIndex>> ,将替换掉某个默认的函数行为。
这听起来有点像模板方法模式,但我们使用是静多态,并没有使用继承和虚函数机制。
而且用户使用也相当容易,并且代码更容易扩展,如果需要更改默认的Policys,只需扩充默认typelist即可。
在《C++ Template》 一书中,继承与模板那一章的第一节,讲述的是如何使用多继承和模板完成上述功能,而在《C++ 设计新思维》中讲到了typelist技术,而如今C++14提供可变长模板参数。
结合此三项,初步实现上述代码。文章标题 言为妙用,实不敢当,有兴趣的同学,可以继续深入研究,在此抛砖引玉。
转载请表明出处,谢谢合作
C++11 TypeList 妙用
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。