數組在所有的語言中,以C最為簡單,就是一起始地址,外加一數組的長度,而且基本上沒有任何功能可言。然而,在所有的數組使用中,卻是C的這種簡單的數組形式,最一再使我心折,其靈活性和效率,簡直驚天地泣鬼神,前無古人,后無來者,念天地之悠悠,高處不勝寒。首先,C數組從邏輯上講,是分形一致的(想不到其他詞來形容了),分形的意思,就是部分與整體保持一致的構造形式,也即是數組的任何一部分也都是數組,比如一整型數組{1,2,3,4,5},連續取出其中任一連續的部分,都可以看成是一個數組,{2,3}是數組,{1,2,3}是數組,{4,5}也都是數組,差別只在于數組的起始地址和元素的個數。那怕是數組中的任何一個元素,都可以看成是一個長度為1的數組。因此,C數組的這種統一的格式,在作為參數,傳遞給函數的時候,特別是遞歸函數中,不知道有多么方便。 比如冒泡排序,BubbleSort(int* pInt, int nLen),用遞歸來實現,只要冒完第1個元素之后,接著就可以遞歸,內部調用自己,BubbleSort(pInt+1, nLen-1),繼續冒泡數組,只是數組是由第1個數之后的全部數組成的新的數組,元素個數比之前少1,一直如是處理,直到最后,數組的長度為1,于是冒泡排序完成。這種方法的成立前提,就在于C數組格式的高度統一。一個操作數組的函數,可以操作數組的任何一部分,甚至可以操作一個變量,因為單獨的變量可以看成是元素長度為1的數組,多少次,我們用WideCharToMultiByte來轉換一個寬字符變量。C語言中操作數組的函數,搭配上C數組的簡單定義,其應用,那是相當相當廣泛的,并且使用起來,自然非常非常的方便,比如剛才的冒泡函數BubbleSort,只要你高興,完全可以拿來只冒數組中的隨便某一部分,這完全可以由用戶自己隨意定制,語言層面上直接支持了。 其他語言的數組,由于特點很多,反而失去了這種邏輯意義上的統一處理,因為在它們那里,數組的任何一部分都不能看成數組,單獨的變量也沒法看成是數組,在它們世界,數組與獨立變量,無論如何,都沒法劃上等號。如果他們要用遞歸實現冒泡排序的代碼,形式上無論如何都比不上我們的C數組形式的函數,誰說C的代碼就意味著代碼量多了,用得好,可以簡單得讓人贊嘆不已。 我們再來看看C的字符串,也很簡單,它也是一個數組,只不過最后一個元素是’\nul’,加了這么一點限制之后,字符串自然就失去了數組的分形強悍,但C的字符串依然不可小看,因為字符串中,只要帶上了’\nul’,都能看成是字符串,好比,”hello”這條字符串,只要改變起始地址,就可輕而易舉地得到”ello”,”llo”,”lo”,”o”這好幾條子字符串,這個特點,可以簡化很多字符串操作,并且效率最高。此外,C字符串,只要你愿意,完成可以拿來當成是字符數組來使用,這樣,就又恢復了數組分形功能,C函數庫中和WINDOWS API,有很多函數就是專門處理C字符數組的。
C數組的這種分形特性,在STL被抽象成迭代器,于是,在C++中,就失去了原有的輝煌。但是,在很多簡單的設計中,依然有著不可低估的力量。
C的很多東西,就是這樣,因為簡單,所以強大得令人心寒。函數、結構體、數組、GOTO、枚舉這些簡單的東西,巧妙的配合使用,可以玩出很多很多意想不到的神奇功能出來,令人擊節贊嘆,而且不會像C++那樣,存在著所謂的什么心智負擔。此外,C中的宏,嘿嘿,俺就不提了,變化多端,鬼神莫測。對于C,我越來越敬畏,它遠遠不似表面上看的那么簡單,其背后自然潛藏著一套精神規則。即使看到每一行C代碼,內心都能知道它的相應的匯編代碼,那又怎么樣,它總是有辦法讓你驚喜不已。