請(qǐng)看程序
1. #include <iostream.h>
2. int main(int argc, char* argv[])
3. {
4. char str[10];
5. char *pStr = str;
6. cout << sizeof(str) << endl;
7. cout << sizeof(pStr) << endl;
8. return 0;
9. }
運(yùn)行結(jié)果:10
4
由該程序我們可以得出以下結(jié)論:
1、數(shù)組名不是指針,因?yàn)橹羔槾笮?/span>4,而上面數(shù)組名的大小為10
2、數(shù)組名神似指針,程序的第5行將數(shù)組名直接賦值給指針,這顯得數(shù)組名又的確是個(gè)指針!我們還可以發(fā)現(xiàn)數(shù)組名顯得像指針的例子:
1. #include <string.h>
2. #include <iostream.h>
3. int main(int argc, char* argv[])
4. {
5. char str1[10] = "I Love U";
6. char str2[10];
7. strcpy(str2,str1);
8. cout << "string array 1: " << str1 << endl;
9. cout << "string array 2: " << str2 << endl;
10. return 0;
11. }
運(yùn)行結(jié)果:string array 1: I Love U
string array 2: I Love U
標(biāo)準(zhǔn)C庫(kù)函數(shù)strcpy的函數(shù)原形中能接納的兩個(gè)參數(shù)都為char型指針,而我們?cè)谡{(diào)用中傳給它的卻是兩個(gè)數(shù)組名!數(shù)組名再一次顯得像指針!
既然數(shù)組名不是指針,而為什么到處都把數(shù)組名當(dāng)指針用?
現(xiàn)在到揭露數(shù)組名本質(zhì)的時(shí)候了,先給出三個(gè)結(jié)論:
一、數(shù)組名的內(nèi)涵在于其指代實(shí)體是一種數(shù)據(jù)結(jié)構(gòu),這種數(shù)據(jù)結(jié)構(gòu)就是數(shù)組;
二、數(shù)組名的外延在于其可以轉(zhuǎn)換為指向其指代實(shí)體的指針,而且是一個(gè)指針常量;
三、指向數(shù)組的指針則是另外一種變量類型(在WIN32平臺(tái)下,長(zhǎng)度為4),僅僅意味著據(jù)的存放地址!
1、數(shù)組名指代一種數(shù)據(jù)結(jié)構(gòu):數(shù)組
現(xiàn)在可以解釋為什么第1個(gè)程序第6行的輸出為10的問(wèn)題,根據(jù)結(jié)論1,數(shù)組名str的內(nèi)涵為一種數(shù)據(jù)結(jié)構(gòu),即一個(gè)長(zhǎng)度為10的char型數(shù)組,所以sizeof(str)的結(jié)果為這個(gè)數(shù)據(jù)結(jié)構(gòu)占據(jù)的內(nèi)存大?。?/span>10字節(jié)。再看:
1. int intArray[10];
2. cout << sizeof(intArray) ;
第2行的輸出結(jié)果為40(整型數(shù)組占據(jù)的內(nèi)存空間大?。?/span>
2、數(shù)組名可作為指針常量
根據(jù)結(jié)論2,數(shù)組名可以轉(zhuǎn)換為指向其指代實(shí)體的指針,所以程序1中的第5行數(shù)組名直接賦值給指針,程序2第7行直接將數(shù)組名作為指針形參都可成立。
下面的程序成立嗎?
1. int intArray[10];
2. intArray++;
可以編譯之,發(fā)現(xiàn)編譯出錯(cuò)。原因在于,雖然數(shù)組名可以轉(zhuǎn)換為指向其指代實(shí)體的指針,但是它只能被看作一個(gè)指針常量,不能被修改。
而指針,不管是指向結(jié)構(gòu)體、數(shù)組還是基本數(shù)據(jù)類型的指針,都不包含原始數(shù)據(jù)結(jié)構(gòu)的內(nèi)涵,在WIN32平臺(tái)下,sizeof操作的結(jié)果都是4。
順便糾正一下許多程序員的另一個(gè)誤解。許多程序員以為sizeof是一個(gè)函數(shù),而實(shí)際上,它是一個(gè)操作符,不過(guò)其使用方式看起來(lái)的確太像一個(gè)函數(shù)了。語(yǔ)句 sizeof(int)就可以說(shuō)明sizeof的確不是一個(gè)函數(shù),因?yàn)楹瘮?shù)接納形參(一個(gè)變量),世界上沒(méi)有一個(gè)C/C++函數(shù)接納一個(gè)數(shù)據(jù)類型(如 int)為"形參"。
3、數(shù)組名可能失去其數(shù)據(jù)結(jié)構(gòu)內(nèi)涵
請(qǐng)看下面一段程序:
1. #include <iostream.h>
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。不可能吧?
一個(gè)可怕的數(shù)字,前面已經(jīng)提到其為指針的長(zhǎng)度!
結(jié)論1指出,數(shù)據(jù)名內(nèi)涵為數(shù)組這種數(shù)據(jù)結(jié)構(gòu),在arrayTest函數(shù)體內(nèi),str是數(shù)組名,那為什么sizeof的結(jié)果卻是指針的長(zhǎng)度?這是因?yàn)椋?/span>
(1)數(shù)組名作為函數(shù)形參時(shí),在函數(shù)體內(nèi),其失去了本身的內(nèi)涵,僅僅只是一個(gè)指針;
(2)很遺憾,在失去其內(nèi)涵的同時(shí),它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
所以,數(shù)組名作為函數(shù)形參時(shí),其全面淪落為一個(gè)普通指針!它的貴族身份被剝奪,成了一個(gè)地地道道的只擁有4個(gè)字節(jié)的平民。
以下是另一些說(shuō)法:
1.數(shù)組名不可以作為左值,關(guān)于這一點(diǎn),可以將數(shù)組名理解為指針常量 。
int a[10],*b;
b是一個(gè)指針型變量,a是一個(gè)數(shù)組。
b是左值,可以存在b=a;
a不是左值,不能出現(xiàn)在"="左邊。
a相當(dāng)于一個(gè)常量,類型為數(shù)組。
2.對(duì)數(shù)組名進(jìn)行sizeof運(yùn)算時(shí),結(jié)果是整個(gè)數(shù)組占用空間的大小,而sizeof(指針)得到的值是編譯器分配給指針(也就是一個(gè)地址)的內(nèi)存空間。
3.對(duì)數(shù)組名作&(取地址)運(yùn)算,得到的還是數(shù)組第一個(gè)元素的地址,對(duì)指針取地址時(shí)得到的結(jié)果是指針?biāo)诘牡刂?,也就是指向這個(gè)指針的指針。
4 運(yùn)算
一維數(shù)組和指針在"*"運(yùn)算是都有訪存操作。
多維數(shù)組在"*"運(yùn)算只是類型改變,沒(méi)有具體操作。
指針變量在"*"運(yùn)算時(shí)先訪存,獲得地址,再取地址對(duì)應(yīng)內(nèi)存中的值。
指針變量在"&"運(yùn)算時(shí),得到指針變量的地址。
數(shù)組在"&"運(yùn)算只是類型改變,沒(méi)有具體操作。
5修改內(nèi)容
char * p1 = "Hello World" ; //分配字符串常量,然后賦給 p1
char p2[ 20] = "Hello World" ; //分配一個(gè)數(shù)組,然后初始化為字符串
//p1可以指向別的地方,但hello world不能更改,
* p1 = 'h' ; //error
//p2不能指向別的地方,但hello world可以更改
p2[0] = 'h' ;
//第一個(gè)字符串指針的操作等價(jià)于:
const char S[12] = "Hello World" ;
char * p1;
p1 = S;
char p2[12] ;
strcpy ( p2, S) ;