抨擊匈牙利命名法

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

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

一 匈牙利命名法的成本

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

二 匈牙利命名法的收益

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

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

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

范本3：nFoo=nBar Vs foo=bar
匈法在這里有什么收益呢？我看不到。使用匈法的唯一好處是看代碼的人知道這里發(fā)生了一個(gè)整型變量的復(fù)制動(dòng)作，聽起來沒什么問題，可以安心睡大覺了。如果他看到的是nFoo=szBar，可能會(huì)從美夢(mèng)中驚醒。且慢，事情真的會(huì)是這樣嗎？我想首先被驚醒的應(yīng)該是編譯器。另一方面，nFoo=nBar只是在語法上合法而已，看代碼的人真正關(guān)心的是語義的合法性，匈法對(duì)此毫無幫助。另一方面，一個(gè)優(yōu)秀的書寫者會(huì)自覺地遵從一個(gè)法則：代碼最小組織單位中的臨時(shí)變量以一兩個(gè)為宜，如果超過三個(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語言是難以實(shí)施的，在C++語言中是無法實(shí)施的。從邏輯上講，對(duì)匈法的收益做出否定的結(jié)論以后，再來論證匈法的可行性，是畫蛇添足。不過有鑒于小馬哥曾讓已射殺之?dāng)乘阑覐?fù)燃，我還是再踏上一支腳為妙。

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

先來看看C語言：

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

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

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