数组在所有的语言中,以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代码,内心都能知道它的相应的汇编代码,那又怎么样,它总是有办法让你惊喜不已。