解密數組名本質

                                                                        基礎入門：解密數組名本質

摘自: www.chinaitlab.com 

現在到揭露數組名本質的時候了，先給出三個結論：

    （1）數組名的内涵在于其指代實體是一種資料結構，這種資料結構就是數組；

    （2）數組名的外延在于其可以轉換為指向其指代實體的指針，而且是一個指針常量；

    （3）指向數組的指針則是另外一種變量類型（在WIN32平台下，長度為4），僅僅意味着數組的存放位址！

    1、數組名指代一種資料結構：數組

    現在可以解釋為什麼第1個程式第6行的輸出為10的問題，根據結論1，數組名str的内涵為一種資料結構，即一個長度為10的char型數組，是以sizeof（str）的結果為這個資料結構占據的記憶體大小：10位元組。

    再看：

    1.   int   intArray[10]；

    2.   cout   < <   sizeof（intArray）   ；

    第2行的輸出結果為40（整型數組占據的記憶體空間大小）。

    如果C/C++程式可以這樣寫：

    1.   int[10]   intArray；

    2.   cout   < <   sizeof（intArray）

    ；我們就都明白了，intArray定義為int[10]這種資料結構的一個執行個體，可惜啊，C/C++目前并不支援這種定義方式。

    2、數組名可作為指針常量

    根據結論2，數組名可以轉換為指向其指代實體的指針，是以程式1中的第5行數組名直接指派給指針，程式2第7行直接将數組名作為指針形參都可成立。

    下面的程式成立嗎？

    2.   intArray++；

    讀者可以編譯之，發現編譯出錯。原因在于，雖然數組名可以轉換為指向其指代實體的指針，但是它隻能被看作一個指針常量，不能被修改。

    而指針，不管是指向結構體、數組還是基本資料類型的指針，都不包含原始資料結構的内涵，在WIN32平台下，sizeof操作的結果都是4.

    順便糾正一下許多程式員的另一個誤解。許多程式員以為sizeof是一個函數，而實際上，它是一個操作符，不過其使用方式看起來的确太像一個函數了。語句   sizeof（int）就可以說明sizeof的确不是一個函數，因為函數接納形參（一個變量），世界上沒有一個C/C++函數接納一個資料類型（如   int）為 \"形參 \".

    3、資料名可能失去其資料結構内涵

    到這裡似乎數組名魔幻問題已經宣告圓滿解決，但是平靜的湖面上卻再次掀起波浪。請看下面一段程式：

.   #include   <iostream.h>  2.   void   arrayTest(char   str[])  3.   {  4.   　cout   < <   sizeof(str)   < <   endl;  5.   }  6.   int   main(int   argc,   char*   argv[])  [Page] 7.   {  8.   　char   str1[10]   =   \"I   Love   U \";  9.   　arrayTest(str1);  10.　   return   0;  11.   }

    程式的輸出結果為4.不可能吧？

    一個可怕的數字，前面已經提到其為指針的長度！

    結論1指出，資料名内涵為數組這種資料結構，在arrayTest函數體内，str是數組名，那為什麼sizeof的結果卻是指針的長度？這是因為：

    （1）數組名作為函數形參時，在函數體内，其失去了本身的内涵，僅僅隻是一個指針；

    （2）很遺憾，在失去其内涵的同時，它還失去了其常量特性，可以作自增、自減等操作，可以被修改。

    是以，資料名作為函數形參時，其全面淪落為一個普通指針！它的貴族身份被剝奪，成了一個地道地道的隻擁有4個位元組的平民。