- #i nclude <iostream.h>
- int main( int argc, char * argv[])
- {
- char str[10];
- char *pStr = str;
- cout << sizeof (str) << endl;
- cout << sizeof (pStr) << endl;
- return 0;
- }
實際情況是:第6行輸出10,第7行輸出4;
先給出三個結論:
(1)數組名的內涵在於其指代實體是一種數據結構,這種數據結構就是數組;
(2)數組名的外延在於其可以轉換爲指向其指代實體的指針,而且是一個指針常量;
(3)指向數組的指針則是另外一種變量類型(在WIN32平臺下,長度爲4),僅僅意味着數組的存放地址!
1、數組名指代一種數據結構:數組
現在可以解釋爲什麼第1個程序第6行的輸出爲10的問題,根據結論1,數組名str的內涵爲一種數據結構,即一個長度爲10的char型數組,所以sizeof(str)的結果爲這個數據結構佔據的內存大小:10字節。
- int intArray[10];
- cout <<
sizeof
(intArray) ;
第2行的輸出結果爲40(整型數組佔據的內存空間大小)。
2、數組名可作爲指針常量
根據結論2,數組名可以轉換爲指向其指代實體的指針,所以程序1中的第5行數組名直接賦值給指針,程序2第7行直接將數組名作爲指針形參都可成立。
下面的程序成立嗎?
- int intArray[10];
- intArray++;
讀者可以編譯之,發現編譯出錯。原因在於,雖然數組名可以轉換爲指向其指代實體的指針,但是它只能被看作一個指針常量,不能被修改。
而指針,不管是指向結構體、數組還是基本數據類型的指針,都不包含原始數據結構的內涵,在WIN32平臺下,sizeof操作的結果都是4。
順
便糾正一下許多程序員的另一個誤解。許多程序員以爲sizeof是一個函數,而實際上,它是一個操作符,不過其使用方式看起來的確太像一個函數了。語句
sizeof(int)就可以說明sizeof的確不是一個函數,因爲函數接納形參(一個變量),世界上沒有一個C/C++函數接納一個數據類型(如
int)爲"形參"。
3、數據名可能失去其數據結構內涵
到這裏似乎數組名魔幻問題已經宣告圓滿解決,但是平靜的湖面上卻再次掀起波浪。請看下面一段程序:
- #i nclude <iostream.h>
- void arrayTest( char str[])
- {
- cout << sizeof (str) << endl;
- }
- int main( int argc, char * argv[])
- {
- char str1[10] = "I Love U" ;
- arrayTest(str1);
- return 0;
- }
程序的輸出結果爲4。不可能吧?
一個可怕的數字,前面已經提到其爲指針的長度!
結論1指出,數據名內涵爲數組這種數據結構,在arrayTest函數體內,str是數組名,那爲什麼sizeof的結果卻是指針的長度?這是因爲:
(1)數組名作爲函數形參時,在函數體內,其失去了本身的內涵,僅僅只是一個指針;
(2)很遺憾,在失去其內涵的同時,它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
所以,數據名作爲函數形參時,其全面淪落爲一個普通指針!它的貴族身份被剝奪,成了一個地地道道的只擁有4個字節的平民。
sizeof是C語言的一種單目操作符,如C語言的其他操作符++、--等。它並不是函數。sizeof操作符以字節形式給出了其操作數的存儲大小。操作數可以是一個表達式或括在括號內的類型名。操作數的存儲大小由操作數的類型決定。