alex

前幾天一個(gè)朋友給我看了1段代碼：
any temp; //any is a class
temp = 1;
temp = "a";
temp = x; //x is a abstract class
看到這段代碼著實(shí)下了1跳.初期的感覺(jué)象void*指針那樣，又象variant變量。但感覺(jué)還是比較新穎的，-_-''也許我是菜鳥(niǎo)的原因，在腦袋轉(zhuǎn)了一下后，我實(shí)現(xiàn)了自己的一個(gè)類(lèi)，用來(lái)接受任何參數(shù)，起初我認(rèn)為any應(yīng)該是個(gè)typedef,而接收的類(lèi)型也是前面知道的(-_-''又沒(méi)弄清需求就去實(shí)現(xiàn)了)，所以實(shí)現(xiàn)一個(gè)接收任何參數(shù)的類(lèi)需要個(gè)typelist,和對(duì)每種類(lèi)型的泛化，下面是class的定義：

template<typename _typelist>
class?any
{
public:
?typedef typename Loki::TL::TypeAtNonStrict<_typelist,0>::Result?param1;
?typedef typename Loki::TL::TypeAtNonStrict<_typelist,1>::Result?param2;
?typedef typename Loki::TL::TypeAtNonStrict<_typelist,2>::Result?param3;
?typedef typename Loki::TL::TypeAtNonStrict<_typelist,3>::Result?param4;
?typedef typename Loki::TL::TypeAtNonStrict<_typelist,4>::Result?param5;

?any(param1 param):
??m_param1(param){}

?any(param2 param):
??m_param2(param){}

?any(param3 param):
??m_param3(param){}

?any(param4 param):
??m_param4(param){}

?template<typename _Ty>
?const _Ty&??Get()
?{
???? class?CERROR_ACCESS_DENIED;
???? LOKI_STATIC_CHECK((Loki::TL::IndexOf<_typelist,_Ty>::value != -???? 1),CERROR_ACCESS_DENIED);

???? return?__Access<_Ty>();
?}
private:
?template<typename _Ty>
?_Ty&? __Access();

?template<>
?param1& __Access<param1>() {return m_param1;}

?template<>
?param2& __Access<param2>() {return m_param2;}

?template<>
?param3& __Access<param3>() {return m_param3;}

?template<>
?param4& __Access<param4>() {return m_param4;}

?param1??m_param1;
?param2??m_param2;
?param3??m_param3;
?param4??m_param4;
};

typedef any<Loki::TYPE_LIST_3(int,float,char)>?ANY;