【譯者注】
Eric Raymond是開源運(yùn)動(dòng)的領(lǐng)袖人物,對(duì)于UNIX開發(fā)有很深的造詣,主持開發(fā)了fetchmail。他的《大教堂與集市》被奉為開源運(yùn)動(dòng)的經(jīng)典之作。下面對(duì)幾大開發(fā)語言的評(píng)價(jià)非常中肯,是我近年來看到的比較出色的評(píng)論。特別是他評(píng)價(jià)中抱有的那種“簡(jiǎn)單就是好”的思想,很值得我們深思。我特別選譯出一些段落,供大家閱讀思考。原文參見:http://www.catb.org/~esr/writings/taoup/html/ch14s04.html#c_language
Raymond此文不是在泛泛地去談?wù)Z言的優(yōu)劣,而是要回答一個(gè)問題:在UNIX下開發(fā)開源項(xiàng)目,如何選擇開發(fā)工具?我翻譯的很零散,建議大家去看原文。
C
雖說C語言在內(nèi)存管理方面存在嚴(yán)重的缺陷,不過它還是在某些應(yīng)用領(lǐng)域里稱王稱霸。對(duì)于那些要求最高的效率,良好的實(shí)時(shí)性,或者與操作系統(tǒng)內(nèi)核緊密關(guān)聯(lián)的程序來說,C仍然是很好的選擇。
C良好的可移植性也為它加了分。不過現(xiàn)在很多其他的語言可移植性越來越好,C在這方面的優(yōu)勢(shì)可能會(huì)逐漸喪失。
現(xiàn)有的很多程序可以產(chǎn)生非常棒的C代碼,比如語法分析器、GUI Builder等,這時(shí)候C語言也是有吸引力的,因?yàn)槟闼枰帉懙拇a只是整個(gè)程序的一小部分。
再有,我們當(dāng)然應(yīng)該認(rèn)識(shí)道,C語言對(duì)于程序員來說具有無可替代的價(jià)值。就我這里討論的每一種語言而論,只要你發(fā)掘的足夠深,到最后你會(huì)看到它們的內(nèi)核都是用純正的、可移植的C寫成的。
到了今天這個(gè)時(shí)候,我們最好把C看成是UNIX虛擬機(jī)上的高級(jí)匯編語言。
就算是其他的高級(jí)語言完全可以滿足你的工作需要,抽出時(shí)間來學(xué)習(xí)C語言也仍然有益,它能幫助你在硬件體系的層次上思考問題。
即使到了今天,最好的C語言教程仍然是1988年出版的K&R第二版The C Programming Language.
總結(jié):C最出色的地方在于其高效和貼近機(jī)器,最糟糕的地方在它的內(nèi)存管理地獄。
C++
C++最初發(fā)布于1980年代中期,當(dāng)時(shí)面向?qū)ο笳Z言被認(rèn)為是解決軟件復(fù)雜性問題的銀彈。C++的面向?qū)ο筇匦钥聪嗳ナ蛊淙娉搅薈,支持者認(rèn)為C++將迅速把上一代語言擠到陳列館里去。
但是歷史并非如此。究其原因,至少有一部分歸咎于C++本身。為了與C兼容,C++被迫作出了很多重大的設(shè)計(jì)妥協(xié),結(jié)果導(dǎo)致語言過分華麗,過分復(fù)雜。為了與C兼容,C++并沒有采用自動(dòng)內(nèi)存管理的策略,從而喪失了修正C最嚴(yán)重問題的機(jī)會(huì)。
另外一部分原因,恐怕要算到面向?qū)ο笊砩?雌饋鞳O并沒有很好的達(dá)成人們當(dāng)年的預(yù)期。我就這個(gè)問題調(diào)研過,我發(fā)現(xiàn)使用OO方法導(dǎo)致組件之間出現(xiàn)很厚的粘合層,并且?guī)砹藝?yán)重的可維護(hù)性問題。今天讓我們來看看開放源碼社區(qū),你會(huì)發(fā)現(xiàn)C++的應(yīng)用還是集中在GUI,游戲和多媒體工具包這些方面,在其他地方很少用到。要知道,面向?qū)ο笠仓皇窃谶@些領(lǐng)域被證明非常成功,而開放源碼社區(qū)的選擇,很大程度上體現(xiàn)了程序員的自由意志,而不是公司管理層的胡亂指揮。
也許C++實(shí)現(xiàn)OO的方法有問題。有證據(jù)表明C++程序在整個(gè)生命周期的開銷高于相應(yīng)的C, Fortran和Ada程序。不過,究竟這是否應(yīng)該歸咎與C++的OO實(shí)現(xiàn)上,還不清楚。
最近幾年,C++加入了很多非OO的思想,其異常思想類似Lisp,STL的出現(xiàn)是非常了不起的。
其實(shí)C++最根本的問題在于,它基本上只不過是另一種傳統(tǒng)的語言。STL中的內(nèi)存管理比先前的new/delete和C的方案要好的多,但是還是沒有解決問題。對(duì)于很多應(yīng)用程序而言,其OO特性并不明顯,相比與C,除了增加復(fù)雜度之外沒有獲得很多好處。
總結(jié):C++優(yōu)點(diǎn)在于作為編譯型語言,把效率與泛型和面向?qū)ο筇匦越Y(jié)合起來,其缺點(diǎn)在于過于華麗復(fù)雜,傾向于鼓勵(lì)程過分復(fù)雜的設(shè)計(jì)。
Java
Java的設(shè)計(jì)很聰明,它采用了自動(dòng)內(nèi)存管理,這是最大的改進(jìn),支持OO設(shè)計(jì)帶來的好處雖然不那么突出,不過也很值得贊賞,相比C++,其OO設(shè)計(jì)規(guī)模小而且簡(jiǎn)單 。
相對(duì)于Python而言,Java有一些明顯的失誤。有些地方設(shè)計(jì)的還是太復(fù)雜,甚至有缺陷。Java的類可見性和隱式scoping規(guī)則太復(fù)雜了。Interface機(jī)制是為了避免多繼承帶來的問題而設(shè)計(jì)的,但是要理解和使用它還是挺難。內(nèi)部類和匿名類導(dǎo)致令人困惑的代碼。缺乏有效的析構(gòu)機(jī)制,使得除了內(nèi)存之外的其他資源(比如互斥量和鎖)管理起來很困難。Java的線程不可靠,其I/O機(jī)制很強(qiáng)大,但是讀取一個(gè)文本文件卻非常繁瑣。
Java沒有管理庫版本的機(jī)制,從而形式上重蹈了了Windows DLL地獄的覆轍。在類似應(yīng)用服務(wù)器這樣的環(huán)境里,這引起了大量的問題。
總體而言,我們可以說除了系統(tǒng)編程和對(duì)效率要求極高的程序之外,Java在大部分領(lǐng)域優(yōu)于C++。經(jīng)驗(yàn)表明,Java程序員似乎不太容易象C++程序員那樣構(gòu)造過度的OO層,不過在Java中這仍然是個(gè)嚴(yán)重問題。
Java是否優(yōu)于諸如Perl, Python這樣的語言?我們還不是很清楚,很大程度上似乎跟程序規(guī)模有關(guān)。其擅長(zhǎng)的領(lǐng)域基本上于Python相似,在效率上無法跟C/C++相提并論,在小規(guī)模的、大量使用模式匹配和編輯的項(xiàng)目里也無法匹敵Perl。在小項(xiàng)目里,Java顯得過分強(qiáng)大了。我們猜測(cè)Python更適合小項(xiàng)目,而Java適合大項(xiàng)目,不過這一點(diǎn)并沒有得到有力的證明。
Python
Python是一種腳本語言,可以與C緊密整合。它可以與動(dòng)態(tài)加載的C庫模塊交換數(shù)據(jù),也可以作為內(nèi)嵌腳本語言而從C中調(diào)用。其語法類似C和模塊化語言的雜合,不過有一個(gè)獨(dú)一無二的特征,就是以縮進(jìn)來確定語句塊。
Python語言非常干凈,設(shè)計(jì)優(yōu)雅,具有出色的模塊化特性。它提供了面向?qū)ο竽芰Γ粡?qiáng)迫用戶進(jìn)行面向?qū)ο笤O(shè)計(jì)。其類型系統(tǒng)提供了強(qiáng)大的表達(dá)能力,類似Perl,具有匿名lambda表達(dá)式,這點(diǎn)又讓Lisp黑客們感到親切。Python依靠Tk提供方便的GUI界面開發(fā)能力。
在所有的解釋型語言里,Python和Java最適合多名程序員以漸進(jìn)方式協(xié)同開發(fā)大型項(xiàng)目。在很多方面,Python比Java要簡(jiǎn)單,它非常適合與構(gòu)造快速原型,這一點(diǎn)使得它對(duì)于Java有獨(dú)特優(yōu)勢(shì):對(duì)于那些既不很復(fù)雜,又不要求高效率的程序,Python十分合適。
Python的速度沒法跟C/C++相比,不過在今天的高速CPU上,合理地使用混合語言編程策略使得Python的上述弱點(diǎn)被有效地彌補(bǔ)。事實(shí)上,Python幾乎被認(rèn)為是主流腳本語言中最慢的一個(gè),因?yàn)樗峁┝藙?dòng)態(tài)多態(tài)性。在大量使用正則表達(dá)式的小型項(xiàng)目,它遜于Perl。對(duì)于微型項(xiàng)目而言,shell和Tcl可能更好,Python顯得太過強(qiáng)大了。
總結(jié):Python最出色的地方在于,它鼓勵(lì)清晰易讀的代碼,特別適合以漸進(jìn)開發(fā)的方式構(gòu)造大項(xiàng)目。其缺陷在于效率不高,太慢,不但跟編譯語言相比慢,就是跟其他腳本語言相比也顯得慢。