源碼展示:
#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提供可變長模板參數。
結合此三項，初步實現上述代碼。文章標題 言為妙用，實不敢當，有興趣的同學，可以繼續深入研究，在此拋磚引玉。
轉載請表明出處，謝謝合作
