PHP是一門有趣的編程語言。語言與利用語言構(gòu)建的程序通常屬于兩種設(shè)計(jì)理念。這里我指的不是瀑布式或敏捷之類的軟件開發(fā)生命周期，而是軟件管理的基本思想。有人將這些思想稱為“正確的方式”以及“Worse is Better”。

PHP包含一些奇怪的問題，很多人由于這些問題而貶低這門語言，但他們也沒有錯(cuò)。這門語言有很多問題。有人嘲笑PHP糟糕的設(shè)計(jì)，還提出了一些正確的觀點(diǎn)，盡管這些觀點(diǎn)是九年前提出的，但它們依然是正確的。然而，開發(fā)人員卻可以利用PHP創(chuàng)建結(jié)構(gòu)“正確”的軟件，而且還引入了其他公認(rèn)好評(píng)的實(shí)踐。你可能接觸過Laminas和Symfony之類的框架，它們擁有最佳面向?qū)ο缶幊虒?shí)踐，開發(fā)人員可以利用這些框架編寫結(jié)構(gòu)正確的代碼。為什么會(huì)這樣？因?yàn)镻HP是最糟糕的編程語言。

設(shè)計(jì)軟件

1991年，Richard P. Gabriel發(fā)表了一篇題為《Lisp： Good News，Bad News， How to Win Big”》的論文。該論文的論點(diǎn)是，對(duì)于軟件的設(shè)計(jì)和壽命，“Worse is Better”，也就是說越糟越好。他之所以得出這樣的觀點(diǎn)，是因?yàn)樗庾R(shí)到程序設(shè)計(jì)出現(xiàn)了兩種截然不同的流派，他稱之為“MIT/Standford Style”（學(xué)院派）和“The Right Way”（正確的方式，又稱新澤西風(fēng)格，即后來的Worse is Better）。

這兩種理念的目標(biāo)相似，但對(duì)關(guān)鍵領(lǐng)域的看法不同。兩種風(fēng)格都側(cè)重于四大關(guān)鍵思想領(lǐng)域：簡(jiǎn)單性、正確性、一致性和完整性。學(xué)院派的風(fēng)格描述為：

簡(jiǎn)單性：設(shè)計(jì)必須簡(jiǎn)單，無論是實(shí)現(xiàn)還是接口。接口的簡(jiǎn)單性比實(shí)現(xiàn)的簡(jiǎn)單性更重要。

正確性：所有可觀察方面的設(shè)計(jì)必須都是正確的。絕對(duì)不允許錯(cuò)誤。

一致性：設(shè)計(jì)不能出現(xiàn)不一致。為了避免不一致，允許設(shè)計(jì)稍微削弱簡(jiǎn)單性和完整性。一致性與正確性同樣重要。

完整性：設(shè)計(jì)必須盡可能涵蓋重要情況。必須涵蓋所有合理預(yù)期的情況。不允許簡(jiǎn)單性過度降低完整性。

至于新澤西風(fēng)格，Gabriel認(rèn)為的目標(biāo)是：

簡(jiǎn)單性：設(shè)計(jì)必須簡(jiǎn)單，無論是實(shí)現(xiàn)還是接口。實(shí)現(xiàn)的簡(jiǎn)單性比接口的簡(jiǎn)單性更重要。簡(jiǎn)單性是設(shè)計(jì)中最重要的考慮因素。

正確性：所有可觀察方面的設(shè)計(jì)必須都是正確的。但是簡(jiǎn)單性比正確性略微重要一點(diǎn)。

一致性：設(shè)計(jì)不能過于不一致。在某些情況下，為了簡(jiǎn)單性，可以犧牲一致性。盡管如此，為了避免引入實(shí)現(xiàn)的復(fù)雜性或不一致，最好放棄設(shè)計(jì)中不太常見的情況。

完整性：設(shè)計(jì)必須盡可能涵蓋重要情況。必須涵蓋所有合理預(yù)期的情況。但是為了其他目標(biāo)，可以犧牲完整性。事實(shí)上，一旦危及實(shí)現(xiàn)的簡(jiǎn)單性，就必須犧牲完整性。如果可以保持簡(jiǎn)單性，則可以犧牲一致性來實(shí)現(xiàn)完整性，接口的一致性尤其沒有價(jià)值。

爭(zhēng)論的關(guān)鍵是以LISP和C為例，討論為什么越糟越好。Gabriel 是一名 LISP 程序員，他認(rèn)為L(zhǎng)ISP比C更好。LISP 不僅和C一樣快，而且Common LISP花費(fèi)了數(shù)年時(shí)間進(jìn)行設(shè)計(jì)、開發(fā)和標(biāo)準(zhǔn)化。定義語言的規(guī)范充分利用了各種不同版本的LISP的優(yōu)點(diǎn)，而且LISP是最好的現(xiàn)代開發(fā)環(huán)境之一。

LISP 是正確的方式

LISP代表了軟件開發(fā)的“正確方式”。LISP易于交互，你可以通過各種方式與之交互。想通過Fortran調(diào)用 LISP？你可以通過Fortran調(diào)用LISP并傳入輸入數(shù)據(jù)，反之亦然。在處理遺留代碼時(shí)，你可以奢侈地享受 LISP 的所有現(xiàn)代特性。LISP的規(guī)范保證了設(shè)計(jì)的一致性。

看一看Python之類的現(xiàn)代語言就會(huì)發(fā)現(xiàn)，規(guī)范對(duì)于提供多個(gè)后端和編譯器提供了很大幫助，所有解釋或編譯代碼的方式都相同。LISP的工具是一流的，1991年的LISP就擁有我們至今仍在享受的各種“福利”，比如逐步調(diào)試、數(shù)據(jù)檢查和精美的編輯器。作為一種語言，LISP是完備的。它具有先進(jìn)的面向?qū)ο缶幊虒印⒍嘀乩^承、一流的對(duì)象以及函數(shù)和類型。LISP似乎是開發(fā)人員心中所想的編程語言。

1991年是LISP這門編程語言的最佳時(shí)期。這種技術(shù)上的正確性并不是由實(shí)際使用來證實(shí)的。LISP的開發(fā)正在走下坡路。多年的負(fù)面新聞和定位失誤影響了 LISP 的外部聲譽(yù)，不再被視為向最終用戶提供軟件的一種方式。在開發(fā)方面，LISP提倡的很多思想與“預(yù)先做大量的設(shè)計(jì)”不謀而合。如果你曾使用過諸如瀑布模型之類的設(shè)計(jì)方法，就能看出一些問題。“正確的方式”非常強(qiáng)調(diào)一致性、正確性，并確保考慮到所有可以想到的問題。

LISP本身也不止一種語言，它有一個(gè)語言家族。雖然 Common LISP是標(biāo)準(zhǔn)，但 LISP 本身也可用于實(shí)現(xiàn)各種基本的功能。Lockless Inc網(wǎng)站上的一篇文章認(rèn)為，這種分化是LISP最終失敗的決定性原因之一。即使LISP堅(jiān)持軟件設(shè)計(jì)的“正確方式”，但這種分化導(dǎo)致代碼維護(hù)和可移植性均受到了影響。

C 和 Unix 是錯(cuò)誤的方式

與此同時(shí)，多虧了Unix，C成為了開發(fā)軟件的首選語言。C是為Unix設(shè)計(jì)的，而 Unix是從C設(shè)計(jì)出來的。C的開發(fā)人員采取的設(shè)計(jì)方式與LISP不同。1972年，C還是一門非常簡(jiǎn)單的編程語言。到1991年，C發(fā)生了一些變化，但基本原理沒有改變。功能都是根據(jù)開發(fā)人員的需要和 Unix 的需要添加的。編寫編譯器和程序很容易，因?yàn)檎Z言本身非常簡(jiǎn)單。雖然你也可以利用C編寫復(fù)雜的程序，但與LISP相比，估計(jì)C只擁有程序員想要的50%～80%的功能。然而，C的便攜性非常驚人。

與通常用于LISP軟件和環(huán)境的硬件相比，C還可以在能力有限的硬件上運(yùn)行。因此，C能夠在更廣泛的機(jī)器上編譯和運(yùn)行軟件。C 軟件和Unix非常容易運(yùn)行，Gabriel認(rèn)為Unix和C會(huì)像病毒一樣流傳開來。C的開發(fā)始于 Dennis Ritchie 設(shè)計(jì)和構(gòu)建Unix時(shí)。由于貝爾實(shí)驗(yàn)室不被允許正式進(jìn)入計(jì)算機(jī)領(lǐng)域，因此 Unix 很容易分發(fā)給其他的各種用戶。這些用戶為了滿足自己的需求給Unix打補(bǔ)丁。

Dennis Ritchie能夠根據(jù)需要合并這些補(bǔ)丁，而不必提前想好這些需求。與LISP不同，C至今仍被廣泛使用。雖然PHP、JavaScript和Python等高級(jí)語言和解釋性語言是許多開發(fā)人員的首選，但許多高級(jí)語言都是用C開發(fā)的。盡管如今出現(xiàn)了像Rust這樣的競(jìng)爭(zhēng)對(duì)手，但在小型低功率設(shè)備上運(yùn)行仍然是C的優(yōu)勢(shì)。

PHP最糟糕

首先，越糟越好的軟件會(huì)被接受；其次，用戶的期望更低；第三，這些軟件可以被改進(jìn)，直到接近“正確”的程度。—— Richard Gabriel幾年后，Rasmus Lerdorf開始致力于創(chuàng)建個(gè)人主頁/表單解釋器（Personal Home Page/Forms Interpreter），即我們現(xiàn)在所說的PHP。PHP/FI的誕生是因?yàn)長(zhǎng)erdorf 需要維護(hù)他的主頁，并與表單和數(shù)據(jù)庫(kù)進(jìn)行交互。PHP/FI的設(shè)計(jì)甚至稱不上編程語言，而是作為C之上的腳本和函數(shù)層。

PHP 很簡(jiǎn)單

設(shè)計(jì)必須簡(jiǎn)單，無論是實(shí)現(xiàn)還是接口。實(shí)際上，PHP底部使用了C語言，我們認(rèn)為這是“最糟糕的”。然而，這帶來了一些優(yōu)勢(shì)，最重要的是，簡(jiǎn)單的底層語言更加方便擴(kuò)展。雖然 Hack/HHVM 采用了更多的C++方法，但PHP本身仍然是C語言。

你可以在短短幾個(gè)小時(shí)內(nèi)學(xué)習(xí) PHP 語言的內(nèi)部結(jié)構(gòu)。Elizabeth Smith 曾發(fā)表過一個(gè)關(guān)于 PHP 擴(kuò)展的精彩演講（https://www.slideshare.net/auroraeosrose），其中介紹了大量關(guān)于 PHP 的內(nèi)部工作原理。PHP借鑒了其他C風(fēng)格的語言，不僅方便閱讀，而且還可以切換成C風(fēng)格系列的其他語言。PHP的大部分接口或標(biāo)準(zhǔn)庫(kù)都很簡(jiǎn)單，因?yàn)榇蟛糠趾诵墓δ苤徊贿^是對(duì)各種C庫(kù)進(jìn)行了包裝，然后原封不動(dòng)地公開了。雖然這會(huì)導(dǎo)致接口的不一致，但也為C或C++開發(fā)人員提供了一個(gè)熟悉的環(huán)境。

PHP語言主要用于Web開發(fā)。你可以很容易地從該語言中找到某個(gè)HTTP的概念。想要獲取請(qǐng)求的標(biāo)頭？可以直接使用get_headers（）。想要獲取請(qǐng)求信息？只需讀取全局變量$_GET 和 $_POST。PHP的接口很簡(jiǎn)單，而且內(nèi)部結(jié)構(gòu)也非常簡(jiǎn)單。

PHP（幾乎）是正確的

所有可觀察方面的設(shè)計(jì)必須都是正確的。簡(jiǎn)單性比正確性更好。此處，在簡(jiǎn)單性與正確性的選擇中，PHP更傾向于“簡(jiǎn)單”。在HHVM出現(xiàn)之前，并沒有任何關(guān)于PHP的外觀或功能的規(guī)范。Zend解釋器本身就是規(guī)范，而且該語言的行為方式始終是“正確的”（不包括實(shí)際的 bug）。

如果你想替換掉PHP 引擎，則需要實(shí)現(xiàn)該引擎的所有怪癖。許多核心函數(shù)的參數(shù)和返回類型都不是特別嚴(yán)格，主要目的是讓系統(tǒng)更易于使用。例如strpos（）等函數(shù)的返回值可以是整數(shù)或布爾值，這比嚴(yán)格設(shè)計(jì)的返回整數(shù)或拋出異常的方法更容易使用。看看PHP語言的發(fā)展，幾乎所有新功能都是以開發(fā)人員的需求為基礎(chǔ)，而不是追求“正確”。更多地關(guān)注嚴(yán)格的類型和異常錯(cuò)誤是一種更正確的方式。

盡管如此，短箭頭函數(shù)、屬性和枚舉之類功能才是開發(fā)人員希望簡(jiǎn)化對(duì)代碼。

PHP 不必保持一致性

設(shè)計(jì)不能過于不一致。在某些情況下，為了簡(jiǎn)單性，可以犧牲一致性。我從不會(huì)說PHP具有一致性，但它的一致性已經(jīng)足夠了。提及數(shù)組與字符串函數(shù)，人們可能會(huì)抱怨Needle/haystack的參數(shù)順序。不過一般來說，數(shù)組函數(shù)是一致的，字符串函數(shù)是一致的。

與保持語言的一致性相比，保持與底層 C 庫(kù)的一致更簡(jiǎn)單。PHP在其他方面也很一致。比如strpos（）函數(shù)，PHP的函數(shù)在遇到錯(cuò)誤時(shí)，就會(huì)返回FALSE，這一點(diǎn)非常一致。不一定正確，但很一致。函數(shù)命名是否帶下劃線往往也是與底層庫(kù)保持一致。PHP語言為了簡(jiǎn)單性犧牲了一致性，但即使沒有規(guī)范，它也在努力在有意義的地方保持一致。

PHP 的完整性符合一定的需求

設(shè)計(jì)必須盡可能涵蓋重要情況。在某些時(shí)候，PHP盡可能保持完備，它符合設(shè)計(jì)的需求：編寫Web應(yīng)用程序。PHP的設(shè)計(jì)目標(biāo)從來不是成為一種適用于所有編程問題的語言。盡管如此，由于簡(jiǎn)單性，PHP也適用于Web之外的編程。PHP最初的目的就是為Web編程提供最基本的功能，而且一直延續(xù)至今。核心語言的變化主要由開發(fā)人員的需求驅(qū)動(dòng)。整個(gè)社區(qū)提出修改意見，然后經(jīng)由社區(qū)投票，決定新功能被拒絕、修改還是接受。該語言中的大部分創(chuàng)新都是因?yàn)槲覀冃枰斓赝瓿晒ぷ鳌?/p>

即使我們竊取其他語言的特性，也是因?yàn)檫@些特性能夠減輕開發(fā)人員的負(fù)擔(dān)，很少是因?yàn)榱硪环N語言“更正確”。如今你可以利用PHP構(gòu)建Web應(yīng)用程序，而且在接下來的五年內(nèi)你還可以繼續(xù)用PHP制作Web應(yīng)用程序，只不過會(huì)添加一些新功能。然而，這種語言本身已經(jīng)達(dá)成所需。如果有需要，我們可以隨時(shí)添加新功能或修改語言。

越糟越好嗎？

Gabriel承認(rèn)，“越糟越好”的思想是說設(shè)計(jì)看起來很糟糕，可能不應(yīng)該作為更好的選擇。唯一的問題是，審視這兩種設(shè)計(jì)理念，比較學(xué)院派與“正確的方法”，那么自然“越糟越好”是更靈活的選擇，還有“具有更好的生存特性”。看看 PHP，它證實(shí)了“越糟越好”的思想。在此期間，Gabriel承認(rèn)他也很猶豫哪種理念更好。作為一個(gè)社區(qū)，PHP不斷爭(zhēng)論我們應(yīng)該正確地做事還是繼續(xù)簡(jiǎn)單地做事。

我們有像Laminas這樣的框架，以經(jīng)典的計(jì)算機(jī)科學(xué)方式構(gòu)建的庫(kù)，還有Laravel這樣的框架關(guān)注開發(fā)人員的體驗(yàn)和速度。可以說PHP二者兼具。下次再聽到有人批評(píng)PHP，就隨他們?nèi)グ伞?/p>

這種語言確實(shí)很糟糕，但PHP的長(zhǎng)盛不衰以及廣泛使用證明了這樣一個(gè)事實(shí)：“正確的方式”未必比“最糟”更好。如果有人抱怨你使用的框架，也無需在意，從長(zhǎng)遠(yuǎn)來看這無關(guān)緊要。更重要的是，選擇一種舒服的設(shè)計(jì)理念，并告訴自己“越糟越好”。

責(zé)任編輯：haq