【 某網(wǎng)友討論道: 】
: RT,反射的特性發(fā)現(xiàn)很少用啊
恰恰相反,有些反射的特性是經(jīng)常會(huì)被使用到的。
反射總體上分成兩大特性,一是自省,二是發(fā)射;
自省的能力極為重要,而且?guī)缀鯐?huì)天天用到,很少見(jiàn)到過(guò)哪個(gè).net應(yīng)用中不使用attribute的,而attribute特性就是metadata通過(guò)在自省能力支撐下實(shí)現(xiàn)的;當(dāng)然自省不單單是attribute特性的運(yùn)用,只要是在運(yùn)行時(shí)動(dòng)態(tài)檢視程序自身的特性都要由反射的自省能力來(lái)支持,比如Visual Studio的IDE(這個(gè)集成開(kāi)發(fā)環(huán)境本身就是.net應(yīng)用的好案例)對(duì)于.net組件的自動(dòng)探測(cè)功能;同時(shí),自省的能力也是基于虛擬機(jī)平臺(tái)的語(yǔ)言,比如c#和java,區(qū)別于傳統(tǒng)語(yǔ)言比如c和c++的重要特性之一,這提供了程序設(shè)計(jì)開(kāi)發(fā)更為便利和安全的運(yùn)行時(shí)環(huán)境;相對(duì)而言,在c++(當(dāng)然是native而不是managed)的環(huán)境下,除了RTTI極為單薄的運(yùn)行時(shí)自省,也就是QT這個(gè)庫(kù)通過(guò)meta-object system部分模擬了自省的特性;
反射的另外一個(gè)重要特性就是發(fā)射,它讓“程序可以寫(xiě)程序”了,簡(jiǎn)要的說(shuō)就是在運(yùn)行時(shí)動(dòng)態(tài)生成MSIL并加載運(yùn)行以及持久化動(dòng)態(tài)生成的MSIL的能力;由這個(gè)特性的支持,讓原先一些程序設(shè)計(jì)和開(kāi)發(fā)領(lǐng)域相對(duì)困難和繁瑣的工作,比如元編程meta programming,比如動(dòng)態(tài)代理dynamic proxy,比如AOP中的基礎(chǔ)設(shè)施weaver的實(shí)現(xiàn),變得可能或相對(duì)易于實(shí)現(xiàn);反射的特性,也是基于虛擬機(jī)平臺(tái)CLR的支持,以metadata為基礎(chǔ)來(lái)實(shí)現(xiàn)的,所以這也是虛擬機(jī)平臺(tái)語(yǔ)言的特有優(yōu)勢(shì),而在傳統(tǒng)語(yǔ)言平臺(tái)上,這是難以實(shí)現(xiàn)的;比如關(guān)于meta programming,c++就是通過(guò)模板特性實(shí)現(xiàn)的編譯期meta programming,這與虛擬機(jī)平臺(tái)上實(shí)現(xiàn)的運(yùn)行時(shí)meta programming還是有比較大的差距(比如前者如何保證生成的代碼的type-safe);
以上這兩個(gè)特性,自省和發(fā)射,都有個(gè)共同點(diǎn),他們都是圍繞著metadata機(jī)制,并在虛擬機(jī)平臺(tái)運(yùn)行時(shí)環(huán)境CLR支持下實(shí)現(xiàn)的,前者是運(yùn)行時(shí)檢視相關(guān)的metadata,后者是運(yùn)行時(shí)動(dòng)態(tài)生成相關(guān)的metadata和MSIL;從這點(diǎn)也就可以看出,要想深入理解這些特性,就需要研究metadata和MSIL的實(shí)現(xiàn),以及虛擬機(jī)運(yùn)行時(shí)環(huán)境的實(shí)現(xiàn)(在java平臺(tái)上,就是bytecode和JVM);
所以,反射,可能是虛擬機(jī)平臺(tái)所提供的相對(duì)最為強(qiáng)勁,最為復(fù)雜,和平臺(tái)運(yùn)行時(shí)本身關(guān)系最密切,也是區(qū)別于傳統(tǒng)語(yǔ)言和運(yùn)行時(shí)最鮮明的特性。