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