數組指針(也稱行指針)
定義
int (*p)[n];
()優先級高,首先說明p是一個指針,指向一個整型的一維數組,這個一維數組的長度是n,也可以說是p的步長。也就是說執行p+1時,p要跨過n個整型數據的長度。
如要將二維數組賦給一指針,應這樣賦值:
int a[3][4];
int (*p)[4]; //該語句是定義一個數組指針,指向含4個元素的一維數組。
p=a; //將該二維數組的首地址賦給p,也就是a[0]或&a[0][0]
p++; //該語句執行過後,也就是p=p+1;p跨過行a[0][]指向了行a[1][]
所以數組指針也稱指向一維數組的指針,亦稱行指針。
指針數組的大小由數組大小決定。例如對char *p[4]
進行sizeof
運算,結果爲4。如果讓p
指向一個char a[4]={1,0,0,0},並對
char *p[4]進行強制類型轉換爲
int`後輸出,可以得到相應的int值(還可以據此發現系統存儲方式到底是Little-Endian還是Big-Endian)
指針數組
定義
int *p[n];
[]優先級高,先與p結合成爲一個數組,再由int*說明這是一個整型指針數組,它有n個指針類型的數組元素。這裏執行p+1是錯誤的,這樣賦值也是錯誤的:p=a;因爲p是個不可知的表示,只存在p[0]、p[1]、p[2]…p[n-1],而且它們分別是指針變量可以用來存放變量地址。但可以這樣 *p=a; 這裏*p表示指針數組第一個元素的值,a的首地址的值。
如要將二維數組賦給一指針數組:
int *p[3];
int a[3][4];
for(i=0;i<3;i++)
p[i]=a[i];
這裏int *p[3]
表示一個一維數組內存放着三個指針變量,分別是p[0]
、p[1]
、p[2]
,所以要分別賦值。
這樣兩者的區別就豁然開朗了,數組指針只是一個指針變量,似乎是C語言裏專門用來指向二維數組的,它佔有內存中一個指針的存儲空間。指針數組是多個指針變量,以數組形式存在內存當中,佔有多個指針的存儲空間。
還需要說明的一點就是,同時用來指向二維數組時,其引用和用數組名引用都是一樣的。
比如要表示數組中i行j列一個元素:
*(p[i]+j)、*(*(p+i)+j)、(*(p+i))[j]、p[i][j]
優先級:()
>[]
>*
從編譯器角度理解數組指針定義
上面回答中經常提到()
符號優先級高,但這個“高”,具體體現在哪裏,我一直沒有理解。最近在StackOverflow上提問時找到了一個非常棒的回答StackOverflow
把原貼內容轉PO一下就是:
首先這些規則可以從C標準文檔裏查到(我在最新版的ISO/IEC9899:201x中的6.7.6節確實也找到了)。由於規則太長,介紹兩條與問題相關的。
1.T * D is defined to mean that if the type of D in T D would be “something of/to T”, then the type of D is “something of pointer to T”.
2.T D[N] (where N could be blank or various other things) is defined to mean that if the type of Din T D would be “something of T”, then the type of D is “something of/to array (of dimension N) of T”.
編譯器根據以上規則遞歸地分析語句。比如對於
int *p[4];
編譯器眼中看到的是
int * (p[4]) //根據符號優先級可以不加括號,這裏爲了明確順序
(以下部分是我根據我對原PO答案的理解進行的解釋,也可以看原PO的答案)
此時根據規則1,T=int
, D=p[4]
。用規則裏的話說,p[4] is something of pointer to int。暫且把pointer to int的數據類型稱爲pointer_of_int
再根據規則2,T=pointer_of_int
(這裏不用int*
因爲好像根據標準int*
並不是一種數據類型,只是大家習慣這麼理解而已),D=p[4]
,很顯然,D就是個數組,元素是pointer_to_int。
原PO答案裏還有其他例子,這裏偷懶就不寫了。。