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