軟件開(kāi)發(fā)框架之所以跟侵入性糾纏不清, 根本的原因還是框架要支持應(yīng)用的某種/某些邏輯和功能, 可以說(shuō)是部分的去實(shí)現(xiàn)應(yīng)用的目標(biāo). 但是這些功能如果不能讓?xiě)?yīng)用去定制, 其現(xiàn)實(shí)應(yīng)用代價(jià)就又很微渺了. 所以框架是需要和應(yīng)用交流的, 而交流的主要目的是為了定制.
想到這個(gè)地方, 我的反應(yīng)是聲明式編程, 讓?xiě)?yīng)用通過(guò)某種方式表達(dá)出自己的定制需求, 這個(gè)表達(dá)的方式就可以是多種多樣的了: 通過(guò)遵循約定, 繼承特定框架基類(lèi), 實(shí)現(xiàn)特定框架接口, 標(biāo)注Annotation, 編寫(xiě)配置文件, 調(diào)用框架API, 等等.
而像Java這樣的靜態(tài)語(yǔ)言所能支持的表達(dá)方式, 無(wú)論怎么看都可以?huà)焐?"侵入性" 的標(biāo)簽, 因?yàn)槿绻蚣芤坏┒怂髴?yīng)用采納的方式, 應(yīng)用就得跟著它走. 在應(yīng)用需求表達(dá)方式問(wèn)題上, 框架之間的相容性既沒(méi)有理論研究, 更沒(méi)有實(shí)踐習(xí)慣.
這里提到 "框架的侵入性" 好像用的是它最寬泛的涵義, 就是對(duì)應(yīng)用編程行為的影響. 要是這么說(shuō)任何框架都不可能沒(méi)有侵入性了, 只是有些讓?xiě)?yīng)用開(kāi)發(fā)人員的日子很難過(guò), 有些則好一點(diǎn). 不過(guò)以目前的軟件體系局勢(shì)來(lái)看, 絕對(duì)的 "侵入性" 問(wèn)題還沒(méi)有辦法解決, 更現(xiàn)實(shí)一點(diǎn), 似乎只有它對(duì)單元化開(kāi)發(fā)和測(cè)試的影響比較有可能解決, 眼下討論才比較有現(xiàn)實(shí)意義.
不過(guò)對(duì)下一代軟件框架體系, 我倒是感到有些期望, 隨著Annotation的成熟和普及, 對(duì)于基于Java的開(kāi)發(fā)來(lái)說(shuō), 我覺(jué)得這個(gè)趨勢(shì)已經(jīng)臨近了. 我的想法是可以運(yùn)用一下逆向思維, 既然應(yīng)用與框架的交互無(wú)可避免, 那么與其被動(dòng)的接受框架的 "侵入" 不如由應(yīng)用自身采取主動(dòng)行為, 進(jìn)行 "引入".
應(yīng)用的主動(dòng)引入可以從已有的 聲明式編程 出發(fā), 對(duì)于比較大的綜合應(yīng)用方向, 比如 Web應(yīng)用, 以制定通用的應(yīng)用需求表達(dá)規(guī)范為手段, 通過(guò)公開(kāi)的規(guī)范, 協(xié)調(diào)應(yīng)用程序和系統(tǒng)框架之間的交流. 這聽(tīng)起來(lái)就是JCP要為JavaEE做的事情, 是的, 以截至到目前的軟件體系局勢(shì), 這個(gè)事情還不得不由人力, 物力, 財(cái)力豐厚的商業(yè)實(shí)體去完成, 它們也必須在這個(gè)領(lǐng)域有足夠的商業(yè)利益吸引也才有動(dòng)力去做.
但是同樣是JCP出來(lái)的J2EE規(guī)范, Servlet很成功, 而EJB卻不是. 并且Servlet很好的解決了它那個(gè)年代的Web開(kāi)發(fā)問(wèn)題, 而軟硬件的發(fā)展所推動(dòng)出來(lái)的新需求, 新問(wèn)題又飛快增長(zhǎng), 對(duì)新規(guī)范的需求不僅是本身增長(zhǎng)很快, 它的增長(zhǎng)速度也會(huì)隨著時(shí)間增長(zhǎng). JCP已經(jīng)開(kāi)始顯得笨拙且乏力了.
一個(gè)本質(zhì)性的問(wèn)題是: 目前的規(guī)范是基于少量編程語(yǔ)言API的大部分的自然語(yǔ)言描述. 基于這樣的模式, 成本太高, 就算是目前的大型開(kāi)源社區(qū)要開(kāi)發(fā)自己的體系規(guī)范也會(huì)是難上加難.
在這個(gè)方向上, DSL(Domain Specific Language)是個(gè)很好的創(chuàng)意, 可以有針對(duì)性的簡(jiǎn)化專(zhuān)門(mén)領(lǐng)域的規(guī)約方式. 不過(guò), 我覺(jué)得還有DSL沒(méi)有特別關(guān)注的一點(diǎn), 就是同一種語(yǔ)言中聲明與實(shí)現(xiàn)語(yǔ)法的分離與融匯:
DSL傾向于作為一種聲明式的語(yǔ)言, 被設(shè)計(jì)為獨(dú)立使用, 它很可能由另一種通用語(yǔ)言進(jìn)行解釋而實(shí)現(xiàn). 它的語(yǔ)法很可能可以直接調(diào)用實(shí)現(xiàn)語(yǔ)言, 但很難變成編寫(xiě)應(yīng)用所用語(yǔ)言的一部分. (我很期望它變成應(yīng)用代碼的聲明部分)
回到解決侵入性的問(wèn)題上來(lái), 我設(shè)想的方式是目前還沒(méi)有的, 至少還沒(méi)有系統(tǒng)化. 那就是可以用一種語(yǔ)法給應(yīng)用編程語(yǔ)言增加用于聲明的語(yǔ)法, 同時(shí)這種語(yǔ)法也照顧到給應(yīng)用聲明的需求提供實(shí)現(xiàn)的系統(tǒng)編程語(yǔ)言語(yǔ)法, 從而這樣的語(yǔ)法可以同時(shí) 表達(dá)/約束/支持 應(yīng)用聲明和系統(tǒng)實(shí)現(xiàn).
看上去動(dòng)態(tài)語(yǔ)言在這個(gè)方向上有最深厚的長(zhǎng)遠(yuǎn)潛力, 不過(guò)用于有分析需求的通用工業(yè)開(kāi)發(fā)領(lǐng)域, 動(dòng)態(tài)語(yǔ)言要走的路還有點(diǎn)長(zhǎng).
目前基于Java的開(kāi)發(fā), 利用起Annotation機(jī)制會(huì)在這個(gè)方向上有長(zhǎng)足進(jìn)展, 應(yīng)用通過(guò)引用標(biāo)注來(lái)聲明需求, 系統(tǒng)在編譯時(shí)通過(guò)Annotation Processor以及Language Model, 在運(yùn)行時(shí)通過(guò)反射, 兩者結(jié)合起來(lái)去理解和實(shí)現(xiàn)應(yīng)用的需求. 而定義和引用Annotation都受到新增的Java語(yǔ)法約束.
不過(guò)基于Annotation機(jī)制的 應(yīng)用/系統(tǒng) 交流有時(shí)候還是需要一些自然語(yǔ)言描述的規(guī)范, 好在這個(gè)已經(jīng)比純粹描述/理解大篇的約定和接口調(diào)用邏輯順序簡(jiǎn)易多了. 同時(shí)Annotation引用只能放在modifier的位置還是一個(gè)過(guò)大的約束, 這個(gè)還需要Java語(yǔ)言進(jìn)一步的演進(jìn)去解決.
總結(jié)下來(lái), 系統(tǒng)框架通過(guò) "侵入" 要達(dá)到的 應(yīng)用定制 目的是不可避免的, 而要解決被動(dòng)的受到 "侵入" 的局面, 我所能想到的最好方法就是去主動(dòng) "引入". 而 "引入" 所能達(dá)到的 "主動(dòng)" 程度取決于其方式方法的靈活程度和負(fù)面影響大小. 當(dāng)應(yīng)用的特定需求可以通過(guò)統(tǒng)一的(聲明)方式利用大多不同系統(tǒng)(包括測(cè)試時(shí)的Mock系統(tǒng))而實(shí)現(xiàn)時(shí), 應(yīng)用的 "引入" 行為也就達(dá)到了一個(gè)比較理想的主動(dòng)程度, 從而可以視為沒(méi)有被特定系統(tǒng) "侵入" 了
|
