區(qū)別:指針數(shù)組本身是一個(gè)數(shù)組,數(shù)組的元素都是指針,即數(shù)組存儲(chǔ)的是指針,數(shù)組占多少個(gè)字節(jié)由數(shù)組本身決定;而數(shù)組指針本身是一個(gè)指針,它指向一個(gè)數(shù)組,即它是指向數(shù)組的指針,在32位系統(tǒng)下永遠(yuǎn)占4字節(jié)。
本教程操作環(huán)境:windows7系統(tǒng)、c99版本、Dell G3電腦。
對指針數(shù)組和數(shù)組指針的概念,相信很多C程序員都會(huì)混淆。下面通過兩個(gè)簡單的語句來分析一下二者之間的區(qū)別,示例代碼如下所示:
int *p1[5]; int (*p2)[5];
首先,對于語句“int*p1[5]”,因?yàn)椤癧]”的優(yōu)先級(jí)要比“*”要高,所以 p1 先與“[]”結(jié)合,構(gòu)成一個(gè)數(shù)組的定義,數(shù)組名為 p1,而“int*”修飾的是數(shù)組的內(nèi)容,即數(shù)組的每個(gè)元素。也就是說,該數(shù)組包含 5 個(gè)指向 int 類型數(shù)據(jù)的指針,如圖 1 所示,因此,它是一個(gè)指針數(shù)組。
其次,對于語句“int(*p2)[5]”,“()”的優(yōu)先級(jí)比“[]”高,“*”號(hào)和 p2 構(gòu)成一個(gè)指針的定義,指針變量名為 p2,而 int 修飾的是數(shù)組的內(nèi)容,即數(shù)組的每個(gè)元素。也就是說,p2 是一個(gè)指針,它指向一個(gè)包含 5 個(gè) int 類型數(shù)據(jù)的數(shù)組,如圖 2 所示。很顯然,它是一個(gè)數(shù)組指針,數(shù)組在這里并沒有名字,是個(gè)匿名數(shù)組。
由此可見,對指針數(shù)組來說,首先它是一個(gè)數(shù)組,數(shù)組的元素都是指針,也就是說該數(shù)組存儲(chǔ)的是指針,數(shù)組占多少個(gè)字節(jié)由數(shù)組本身決定;而對數(shù)組指針來說,首先它是一個(gè)指針,它指向一個(gè)數(shù)組,也就是說它是指向數(shù)組的指針,在 32 位系統(tǒng)下永遠(yuǎn)占 4 字節(jié),至于它指向的數(shù)組占多少字節(jié),這個(gè)不能夠確定,要看具體情況。
了解指針數(shù)組和數(shù)組指針二者之間的區(qū)別之后,繼續(xù)來看下面的示例代碼:
int arr[5]={1,2,3,4,5}; int (*p1)[5] = &arr; /*下面是錯(cuò)誤的*/ int (*p2)[5] = arr;
不難看出,在上面的示例代碼中,&arr 是指整個(gè)數(shù)組的首地址,而 arr 是指數(shù)組首元素的首地址,雖然所表示的意義不同,但二者之間的值卻是相同的。那么問題出來了,既然值是相同的,為什么語句“int(*p1)[5]=&arr”是正確的,而語句“int(*p2)[5]=arr”卻在有些編譯器下運(yùn)行時(shí)會(huì)提示錯(cuò)誤信息呢。
其實(shí)原因很簡單,在 C 語言中,賦值符號(hào)“=”號(hào)兩邊的數(shù)據(jù)類型必須是相同的,如果不同,則需要顯示或隱式類型轉(zhuǎn)換。在這里,p1 和 p2 都是數(shù)組指針,指向的是整個(gè)數(shù)組。p1 這個(gè)定義的“=”號(hào)兩邊的數(shù)據(jù)類型完全一致,而 p2 這個(gè)定義的“=”號(hào)兩邊的數(shù)據(jù)類型就不一致了(左邊的類型是指向整個(gè)數(shù)組的指針,而右邊的數(shù)據(jù)類型是指向單個(gè)字符的指針),因此會(huì)提示錯(cuò)誤信息。