現(xiàn)在到揭露數(shù)組名本質(zhì)的時候了,先給出三個結(jié)論:
(1)數(shù)組名的內(nèi)涵在于其指代實體是一種數(shù)據(jù)結(jié)構(gòu),這種數(shù)據(jù)結(jié)構(gòu)就是數(shù)組;
(2)數(shù)組名的外延在于其可以轉(zhuǎn)換為指向其指代實體的指針,而且是一個指針常量;
(3)指向數(shù)組的指針則是另外一種變量類型(在WIN32平臺下,長度為4),僅僅意味著數(shù)組的存放地址!
1、數(shù)組名指代一種數(shù)據(jù)結(jié)構(gòu):數(shù)組
現(xiàn)在可以解釋為什么第1個程序第6行的輸出為10的問題,根據(jù)結(jié)論1,數(shù)組名str的內(nèi)涵為一種數(shù)據(jù)結(jié)構(gòu),即一個長度為10的char型數(shù)組,所以sizeof(str)的結(jié)果為這個數(shù)據(jù)結(jié)構(gòu)占據(jù)的內(nèi)存大小:10字節(jié)。
再看:
1. int intArray[10];
2. cout < < sizeof(intArray) ;
第2行的輸出結(jié)果為40(整型數(shù)組占據(jù)的內(nèi)存空間大?。?BR> 如果C/C++程序可以這樣寫:
1. int[10] intArray;
2. cout < < sizeof(intArray)
;我們就都明白了,intArray定義為int[10]這種數(shù)據(jù)結(jié)構(gòu)的一個實例,可惜啊,C/C++目前并不支持這種定義方式。
2、數(shù)組名可作為指針常量
根據(jù)結(jié)論2,數(shù)組名可以轉(zhuǎn)換為指向其指代實體的指針,所以程序1中的第5行數(shù)組名直接賦值給指針,程序2第7行直接將數(shù)組名作為指針形參都可成立。
下面的程序成立嗎?
1. int intArray[10];
2. intArray++;
讀者可以編譯之,發(fā)現(xiàn)編譯出錯。原因在于,雖然數(shù)組名可以轉(zhuǎn)換為指向其指代實體的指針,但是它只能被看作一個指針常量,不能被修改。
而指針,不管是指向結(jié)構(gòu)體、數(shù)組還是基本數(shù)據(jù)類型的指針,都不包含原始數(shù)據(jù)結(jié)構(gòu)的內(nèi)涵,在WIN32平臺下,sizeof操作的結(jié)果都是4.
順便糾正一下許多程序員的另一個誤解。許多程序員以為sizeof是一個函數(shù),而實際上,它是一個操作符,不過其使用方式看起來的確太像一個函數(shù)了。語句 sizeof(int)就可以說明sizeof的確不是一個函數(shù),因為函數(shù)接納形參(一個變量),世界上沒有一個C/C++函數(shù)接納一個數(shù)據(jù)類型(如 int)為 "形參 ".
3、數(shù)據(jù)名可能失去其數(shù)據(jù)結(jié)構(gòu)內(nèi)涵
到這里似乎數(shù)組名魔幻問題已經(jīng)宣告圓滿解決,但是平靜的湖面上卻再次掀起波浪。請看下面一段程序:. #include
2. void arrayTest(char str[])
3. {
4. cout << sizeof(str) << endl;
5. }
6. int main(int argc, char* argv[])
7. {
8. char str1[10] = "I Love U";
9. arrayTest(str1);
10. return 0;
11. }
程序的輸出結(jié)果為4.不可能吧?
一個可怕的數(shù)字,前面已經(jīng)提到其為指針的長度!
結(jié)論1指出,數(shù)據(jù)名內(nèi)涵為數(shù)組這種數(shù)據(jù)結(jié)構(gòu),在arrayTest函數(shù)體內(nèi),str是數(shù)組名,那為什么sizeof的結(jié)果卻是指針的長度?這是因為:
(1)數(shù)組名作為函數(shù)形參時,在函數(shù)體內(nèi),其失去了本身的內(nèi)涵,僅僅只是一個指針;
(2)很遺憾,在失去其內(nèi)涵的同時,它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
所以,數(shù)據(jù)名作為函數(shù)形參時,其全面淪落為一個普通指針!它的貴族身份被剝奪,成了一個地地道道的只擁有4個字節(jié)的平民。
以上就是結(jié)論4.
(1)數(shù)組名的內(nèi)涵在于其指代實體是一種數(shù)據(jù)結(jié)構(gòu),這種數(shù)據(jù)結(jié)構(gòu)就是數(shù)組;
(2)數(shù)組名的外延在于其可以轉(zhuǎn)換為指向其指代實體的指針,而且是一個指針常量;
(3)指向數(shù)組的指針則是另外一種變量類型(在WIN32平臺下,長度為4),僅僅意味著數(shù)組的存放地址!
1、數(shù)組名指代一種數(shù)據(jù)結(jié)構(gòu):數(shù)組
現(xiàn)在可以解釋為什么第1個程序第6行的輸出為10的問題,根據(jù)結(jié)論1,數(shù)組名str的內(nèi)涵為一種數(shù)據(jù)結(jié)構(gòu),即一個長度為10的char型數(shù)組,所以sizeof(str)的結(jié)果為這個數(shù)據(jù)結(jié)構(gòu)占據(jù)的內(nèi)存大小:10字節(jié)。
再看:
1. int intArray[10];
2. cout < < sizeof(intArray) ;
第2行的輸出結(jié)果為40(整型數(shù)組占據(jù)的內(nèi)存空間大?。?BR> 如果C/C++程序可以這樣寫:
1. int[10] intArray;
2. cout < < sizeof(intArray)
;我們就都明白了,intArray定義為int[10]這種數(shù)據(jù)結(jié)構(gòu)的一個實例,可惜啊,C/C++目前并不支持這種定義方式。
2、數(shù)組名可作為指針常量
根據(jù)結(jié)論2,數(shù)組名可以轉(zhuǎn)換為指向其指代實體的指針,所以程序1中的第5行數(shù)組名直接賦值給指針,程序2第7行直接將數(shù)組名作為指針形參都可成立。
下面的程序成立嗎?
1. int intArray[10];
2. intArray++;
讀者可以編譯之,發(fā)現(xiàn)編譯出錯。原因在于,雖然數(shù)組名可以轉(zhuǎn)換為指向其指代實體的指針,但是它只能被看作一個指針常量,不能被修改。
而指針,不管是指向結(jié)構(gòu)體、數(shù)組還是基本數(shù)據(jù)類型的指針,都不包含原始數(shù)據(jù)結(jié)構(gòu)的內(nèi)涵,在WIN32平臺下,sizeof操作的結(jié)果都是4.
順便糾正一下許多程序員的另一個誤解。許多程序員以為sizeof是一個函數(shù),而實際上,它是一個操作符,不過其使用方式看起來的確太像一個函數(shù)了。語句 sizeof(int)就可以說明sizeof的確不是一個函數(shù),因為函數(shù)接納形參(一個變量),世界上沒有一個C/C++函數(shù)接納一個數(shù)據(jù)類型(如 int)為 "形參 ".
3、數(shù)據(jù)名可能失去其數(shù)據(jù)結(jié)構(gòu)內(nèi)涵
到這里似乎數(shù)組名魔幻問題已經(jīng)宣告圓滿解決,但是平靜的湖面上卻再次掀起波浪。請看下面一段程序:. #include
2. void arrayTest(char str[])
3. {
4. cout << sizeof(str) << endl;
5. }
6. int main(int argc, char* argv[])
7. {
8. char str1[10] = "I Love U";
9. arrayTest(str1);
10. return 0;
11. }
程序的輸出結(jié)果為4.不可能吧?
一個可怕的數(shù)字,前面已經(jīng)提到其為指針的長度!
結(jié)論1指出,數(shù)據(jù)名內(nèi)涵為數(shù)組這種數(shù)據(jù)結(jié)構(gòu),在arrayTest函數(shù)體內(nèi),str是數(shù)組名,那為什么sizeof的結(jié)果卻是指針的長度?這是因為:
(1)數(shù)組名作為函數(shù)形參時,在函數(shù)體內(nèi),其失去了本身的內(nèi)涵,僅僅只是一個指針;
(2)很遺憾,在失去其內(nèi)涵的同時,它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
所以,數(shù)據(jù)名作為函數(shù)形參時,其全面淪落為一個普通指針!它的貴族身份被剝奪,成了一個地地道道的只擁有4個字節(jié)的平民。
以上就是結(jié)論4.