抨擊匈牙利命名法

匈牙利命名法是一種編程時(shí)的命名規(guī)范。命名規(guī)范是程序書(shū)寫(xiě)規(guī)范中最重要也是最富爭(zhēng)議的地方，自古乃兵家必爭(zhēng)之地。命名規(guī)范有何用？四個(gè)字：名正言順。用二分法，命名規(guī)范分為好的命名規(guī)范和壞的命名規(guī)范，也就是說(shuō)名正言順的命名規(guī)范和名不正言不順的命名規(guī)范。好的舞鞋是讓舞者感覺(jué)不到其存在的舞鞋，壞的舞鞋是讓舞者帶著鐐銬起舞。一個(gè)壞的命名規(guī)范具有的破壞力比一個(gè)好的命名規(guī)范具有的創(chuàng)造力要大得多。

本文要證明的是：匈牙利命名法是一個(gè)壞的命名規(guī)范。本文的作用范圍為靜態(tài)強(qiáng)類(lèi)型編程語(yǔ)言。本文的分析范本為C語(yǔ)言和C++語(yǔ)言。下文中的匈法為匈牙利命名法的簡(jiǎn)稱(chēng)。

一 匈牙利命名法的成本

匈法的表現(xiàn)形式為給變量名附加上類(lèi)型名前綴，例如：nFoo,szFoo,pFoo,cpFoo分別表示整型變量，字符串型變量，指針型變量和常指針型變量。可以看出，匈法將變量的類(lèi)型信息從單一地點(diǎn)（聲明變量處）復(fù)制到了多個(gè)地點(diǎn)（使用變量處），這是冗余法。冗余法的成本之一是要維護(hù)副本的一致性。這個(gè)成本在編寫(xiě)和維護(hù)代碼的過(guò)程中需要改變變量的類(lèi)型時(shí)付出。冗余法的成本之二是占用了額外的空間。一個(gè)優(yōu)秀的書(shū)寫(xiě)者會(huì)自覺(jué)地遵從一個(gè)法則：代碼最小組織單位的長(zhǎng)度以30個(gè)自然行以下為宜，如果超過(guò)50行就應(yīng)該重新組織。一個(gè)變量的書(shū)寫(xiě)空間會(huì)給這一法則添加不必要的難度。

二 匈牙利命名法的收益

這里要證明匈牙利命名法的收益是含糊的，無(wú)法預(yù)期的。

范本1：strcpy(pstrFoo,pcstrFoo2) Vs strcpy(foo,foo2)
匈法在這里有什么收益呢？我看不到。沒(méi)有一個(gè)程序員會(huì)承認(rèn)自己不知道strcpy函數(shù)的參數(shù)類(lèi)型吧。

范本2：unknown_function(nFoo) Vs unknown_function(foo)
匈法在這里有什么收益呢？我看不到。對(duì)于一個(gè)不知道確定類(lèi)型的函數(shù)，程序員應(yīng)該去查看該函數(shù)的文檔，這是一種成本。使用匈法的唯一好處是看代碼的人知道這個(gè)函數(shù)要求一個(gè)整型參數(shù)，這又有什么用處呢？函數(shù)是一種接口，參數(shù)的類(lèi)型僅僅是接口中的一小部分。諸如函數(shù)的功能、出口信息、線程安全性、異常安全性、參數(shù)合法性等重要信息還是必須查閱文檔。

范本3：nFoo=nBar Vs foo=bar
匈法在這里有什么收益呢？我看不到。使用匈法的唯一好處是看代碼的人知道這里發(fā)生了一個(gè)整型變量的復(fù)制動(dòng)作，聽(tīng)起來(lái)沒(méi)什么問(wèn)題，可以安心睡大覺(jué)了。如果他看到的是nFoo=szBar，可能會(huì)從美夢(mèng)中驚醒。且慢，事情真的會(huì)是這樣嗎？我想首先被驚醒的應(yīng)該是編譯器。另一方面，nFoo=nBar只是在語(yǔ)法上合法而已，看代碼的人真正關(guān)心的是語(yǔ)義的合法性，匈法對(duì)此毫無(wú)幫助。另一方面，一個(gè)優(yōu)秀的書(shū)寫(xiě)者會(huì)自覺(jué)地遵從一個(gè)法則：代碼最小組織單位中的臨時(shí)變量以一兩個(gè)為宜，如果超過(guò)三個(gè)就應(yīng)該重新組織。結(jié)合前述第一個(gè)法則，可以得出這樣的結(jié)論：易于理解的代碼本身就應(yīng)該是易于理解的，這是代碼的內(nèi)建高質(zhì)量。好的命名規(guī)范對(duì)內(nèi)建高質(zhì)量的助益相當(dāng)有限，而壞的命名規(guī)范對(duì)內(nèi)建高質(zhì)量的損害比人們想象的要大。

三 匈牙利命名法的實(shí)施

這里要證明匈牙利命名法在C語(yǔ)言是難以實(shí)施的，在C++語(yǔ)言中是無(wú)法實(shí)施的。從邏輯上講，對(duì)匈法的收益做出否定的結(jié)論以后，再來(lái)論證匈法的可行性，是畫(huà)蛇添足。不過(guò)有鑒于小馬哥曾讓已射殺之?dāng)乘阑覐?fù)燃，我還是再踏上一支腳為妙。

前面講過(guò)，匈法是類(lèi)型系統(tǒng)的冗余，所以實(shí)施匈法的關(guān)鍵是我們是否能夠精確地對(duì)類(lèi)型系統(tǒng)進(jìn)行復(fù)制。這取決于類(lèi)型系統(tǒng)的復(fù)雜性。

先來(lái)看看C語(yǔ)言：

1.內(nèi)置類(lèi)型：int,char,float,double 復(fù)制為 n,ch,f,d？好像沒(méi)有什么問(wèn)題。不過(guò)誰(shuí)來(lái)告訴我void應(yīng)該怎么表示？
2.組合類(lèi)型：array,union,enum,struct 復(fù)制為 a,u,e,s？好象比較別扭。
這里的難點(diǎn)不是為主類(lèi)型取名，而是為副類(lèi)型取名。an表示整型數(shù)組？sfoo,sbar表示結(jié)構(gòu)foo，結(jié)構(gòu)bar？ausfoo表示聯(lián)合結(jié)構(gòu)foo數(shù)組？累不累啊。
3.特殊類(lèi)型：pointer。pointer在理論上應(yīng)該是組合類(lèi)型，但是在C語(yǔ)言中可以認(rèn)為是內(nèi)置類(lèi)型，因?yàn)镃語(yǔ)言并沒(méi)有非常嚴(yán)格地區(qū)分不同的指針類(lèi)型。下面開(kāi)始表演：pausfoo表示聯(lián)合結(jié)構(gòu)foo數(shù)組指針？ppp表示指針的指針的指針？

噩夢(mèng)還沒(méi)有結(jié)束，再來(lái)看看類(lèi)型系統(tǒng)更阿為豐富的C++語(yǔ)言：

1.class：如果說(shuō)C語(yǔ)言中的struct還可以用stru搪塞過(guò)去的話(huà)，不要夢(mèng)想用cls來(lái)搪塞C++中的class。嚴(yán)格地講，class根本就并不是一個(gè)類(lèi)型，而是創(chuàng)造類(lèi)型的工具，在C++中，語(yǔ)言?xún)?nèi)置類(lèi)型的數(shù)量和class創(chuàng)造的用戶(hù)自定義類(lèi)型的數(shù)量相比完全可以忽略不計(jì)。stdvectorFoo表示標(biāo)準(zhǔn)庫(kù)向量類(lèi)型變量Foo？瘋狂的念頭。
2.命名空間：boostfilesystemiteratorFoo，表示boost空間filesystem子空間遍歷目錄類(lèi)型變量Foo？程序員要崩潰了。
3.模板：你記得std::map<std::string,std::string>類(lèi)型的確切名字嗎？我是記不得了，好像超過(guò)255個(gè)字符，還是饒了我吧。
4.模板參數(shù)：template <class T, class BinaryPredicate>const T& max(const T& a, const T& b, BinaryPredicate comp) 聰明的你，請(qǐng)用匈法為T(mén)命名。上帝在發(fā)笑。
5.類(lèi)型修飾：static,extern,mutable,register,volatile,const,short,long,unsigned 噩夢(mèng)加上修飾是什么？還是噩夢(mèng)。