????????初見(jiàn)boost的名字參數(shù)，給人一種“驚為天人”的感覺(jué)，沒(méi)想到在c++中還能寫(xiě)出如此優(yōu)雅的令人震撼的代碼。boost的名字參數(shù)采用的是C++的范型來(lái)實(shí)現(xiàn)的，全部在編譯期完成名字到參數(shù)的定位，沒(méi)有RTTI，沒(méi)有運(yùn)行時(shí)開(kāi)銷，不需要任何元數(shù)據(jù)。她依舊沿襲了C++的高效原則，帶來(lái)的缺點(diǎn)就是無(wú)法跨二進(jìn)制代碼使用。當(dāng)然boost的名字參數(shù)不是拿出來(lái)炫耀C++的強(qiáng)大能力的，要看c++編譯期的強(qiáng)大能力，boost.MPL才能讓人忍不住挺身吶喊。她的主要目的是簡(jiǎn)化graph library的復(fù)雜的函數(shù)差數(shù)調(diào)用.動(dòng)則數(shù)十個(gè)參數(shù)的函數(shù)調(diào)用，必須遵循嚴(yán)格的調(diào)用順序讓人頭痛不已（還讓人活嗎？要么自己寫(xiě)一套算法？?。謪?shù)就像一個(gè)天使來(lái)到人間，她是如此的優(yōu)雅，迷人，讓人心醉（不要流口水！），從此，有了她的C++程序員都過(guò)上了幸福的生活！
???????假設(shè)有下面的函數(shù)?
???????void fun(T1 t1,T2?? t2,T3* t3=0,.. ,T20* t20=0);?
?????????其中后十個(gè)參數(shù)是可選的，如果你想給t20傳入一個(gè)非缺省值，那么看起來(lái)你要給所有的函數(shù)參數(shù)賦值才能通過(guò)編譯了?？隙](méi)人愚蠢到用排列組合的方式來(lái)添加N個(gè)函數(shù)給用戶使用吧。怎么辦呢？想不出來(lái)，不要緊，假設(shè)boost.graph有這樣一個(gè)類似的函數(shù)，我們先看看她是如何調(diào)用這個(gè)函數(shù)的,關(guān)鍵是學(xué)到的東西要能發(fā)揮作用,給人以良好的感覺(jué)?
?????????fun(t1,t2,Param<T20*>
(&T20()));
???????當(dāng)然，這只是一個(gè)看起來(lái)和她機(jī)制一樣的而又較簡(jiǎn)單，容易理解的方式。夠簡(jiǎn)單吧，不要驚訝，其實(shí)說(shuō)起來(lái)，她的原理還是很簡(jiǎn)單的，只是要自己實(shí)作一個(gè)作品還是有點(diǎn)難度。為了實(shí)現(xiàn)boost.graph，專門做了一個(gè)相對(duì)簡(jiǎn)單的property map庫(kù)，在她的基礎(chǔ)上建立了針對(duì)boost.graph名字參數(shù)系統(tǒng)，其實(shí)這一套機(jī)制可以用在更寬泛的庫(kù)中，不知道為什么沒(méi)有放出來(lái)。boost.graph的實(shí)作看起來(lái)令人生畏:visitor,named_param,class_generator,Python bindings,她的每種技術(shù)都可以讓人夠研究好一段時(shí)間。我們就用簡(jiǎn)單的例子來(lái)說(shuō)明名字參數(shù)的原理，不是嚴(yán)格按她的類來(lái)組織的。
??????????先看同名成員變量是如何訪問(wèn)的。?
???????????
struct?B
{
??string?val;
};?
struct?D:B
{
???int?val;
};?
?????????看下面的訪問(wèn)函數(shù)
??????????D d; d.val=100;//OK??????????D::val=100
??????????d.val="10";//error D::val (int) can't assign with a string
??????????//but we can access it by
??????????((B).d).val="10";?
?????????如果我們能繞過(guò)這個(gè)問(wèn)題，問(wèn)題就完成了一大半了，其實(shí)方法很簡(jiǎn)單。即使給每個(gè)參數(shù)加個(gè)名字，有了名字以后，我們就可以找到對(duì)應(yīng)的項(xiàng)，也不會(huì)有類型沖突的問(wèn)題發(fā)生。?
?????????
??struct?no_param{};
???struct?B:no_param
??{
???typename?name_B?name;?
???string?val;
??};
??template<class?B>
??struct?D:B
??{
?????typedef?B?base;
?????typename?name_D?name;
?????int?val;
??};
??//假設(shè)下面的模版會(huì)傳入<D,name_B>
?template<typename?propertys,typename?tag>
??struct?select
??{
?????typedef??if_else<????????????????????????????????????????????????????//select?second?type?if?first?return?true,else?third
?????????????????????if_same<property::name,tag>::value,???????//?D::name!=name_B?,false
?????????????????????property,??????????????????????????????????????????????//
?????????????????????select<property::base,tag>::type>??????????//recurive?call?select,will?pass?<B,name_B>,this?call?will?success?return?B
????????????????????>::type?type;?????????????????????????????????????????//get?the?third?type,it?return?B,so?type?is?defined?as?B
??}
?????? 這樣一來(lái)，我們就可以根據(jù)名字訪問(wèn)B的變量val了
???????((select::type)(d)).val="success";
???????雖然boost.graph的名字系統(tǒng)比這個(gè)復(fù)雜多了,但萬(wàn)變不離其宗,其原理是一樣的。如此奇妙的東西竟然建立在如此簡(jiǎn)單的機(jī)制上,可見(jiàn)只有想不到的東西,沒(méi)有做不到的東西這句話還是有一定道理的,更印證了那句"簡(jiǎn)單就是美"的名言.?
?????????下次繼續(xù)分析boost.graph的visitor機(jī)制.
???
//if_same?and?if_else?
template<class?T1,class?T2>
struct?if_same
{
?enum{value=false};
};
template<class?T>
struct?if_same<T,T>
{
?enum{value=true};
}
template<bool?value,class?T1,class?T2>
struct?if_else
{
?typedef?T1?type;
}
template<class?T1,class?T2>
struct?if_else<false,T1,T2>
{
?typedef?T2?type;
}
???