解密數組名本質

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

摘自: www.chinaitlab.com 

 

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

    （1）數組名的內涵在於其指代實體是一種數據結構，這種數據結構就是數組；

    （2）數組名的外延在於其能夠轉換爲指向其指代實體的指針，並且是一個指針常量；

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

    一、數組名指代一種數據結構：數組

    如今能夠解釋爲何第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，數組名能夠轉換爲指向其指代實體的指針，因此程序1中的第5行數組名直接賦值給指針，程序2第7行直接將數組名做爲指針形參均可成立。

    下面的程序成立嗎？

    1.   int   intArray[10]；

    2.   intArray++；

    讀者能夠編譯之，發現編譯出錯。緣由在於，雖然數組名能夠轉換爲指向其指代實體的指針，可是它只能被看做一個指針常量，不能被修改。

    而指針，無論是指向結構體、數組仍是基本數據類型的指針，都不包含原始數據結構的內涵，在WIN32平臺下，sizeof操做的結果都是4.

    順便糾正一下許多程序員的另外一個誤解。許多程序員覺得sizeof是一個函數，而實際上，它是一個操做符，不過其使用方式看起來的確太像一個函數了。語句   sizeof（int）就能夠說明sizeof的確不是一個函數，由於函數接納形參（一個變量），世界上沒有一個C/C++函數接納一個數據類型（如   int）爲 \"形參 \".

    三、數據名可能失去其數據結構內涵

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

.   #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個字節的平民。

    以上就是結論4.

 

原文連接：http://c.chinaitlab.com/cc/basic/200901/773329.html