數組指針和指針數組的區別

原博客地址

數組指針(也稱行指針)

定義

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答案裏還有其他例子,這裏偷懶就不寫了。。

發佈了39 篇原創文章 · 獲贊 4 · 訪問量 1萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章