C++primer 4.4 數組指針和指針數組(轉)

轉自:http://www.cnblogs.com/mq0036/p/3382732.html

優先級:()>[]>*

一、數組指針(p也稱行指針,只是一個指針)

定義: int (*p)[n];

  • ( )優先級高,首先說明p是一個指針,指向一個整型的一維數組;

  • 這個一維數組的長度是n,也可以說是p的步長。也就是說執行p+1時,p要跨過n個整型數據的長度(4*n),如果是char 型那麼就是(1*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][ ]

所以數組指針也稱指向一維數組的指針,亦稱行指針。指針必須初始化才能使用

二、指針數組(p 是數組,裏面有多個指針)

定義 :int *p[n];

  • [ ] 優先級高,先與p結合成爲一個數組,再由int*說明這是一個存放整型指針的數組

  • 它有n個指針類型的數組元素。這裏執行p+1時,則p指向下一個數組元素

  • 這樣賦值是錯誤的:p=a;因爲p是個不可知的表示,只存在p[0]、p[1]、p[2]…p[n-1],而且它們分別是指針變量可以用來存放變量地址。但可以這樣 *p=a; 這裏*p表示指針數組第一個元素的值,a的首地址的值

  • 針對p=a,因爲p是個不可知的表示,也就像我們定義了一個數組 int q[10] , q=a我們不會這麼用一樣,

  • 如要將二維數組賦給一指針數組:

int *p[3];
int a[3][4];
p++; //該語句表示p數組指向下一個數組元素。注:此數組每一個元素都是一個指針
for(i=0;i<3;i++)
p[i]=a[i] ;//a[ i ]=&a[ i ][0]
// 這裏int *p[3] 表示一個一維數組內存放着三個指針變量,分別是p[0]、p[1]、p[2]
所以要分別賦值。

總結:

  1. 數組指針只是一個指針變量,似乎是C語言裏專門用來指向二維數組的,它佔有內存中一個指針的存儲空間

  2. 指針數組是多個指針變量以數組形式存在內存當中,佔有多個指針的存儲空間。

  3. 還需要說明的一點就是,同時用來指向二維數組時,其引用和用數組名引用都是一樣的。
    比如要表示數組中i行j列一個元素:
    (p[i]+j)、((p+i)+j)、((p+i))[j]、p[i][j]

優先級:()>[]>*

出處:http://www.cnblogs.com/hongcha717/archive/2010/10/24/1859780.html

=========================================================================

三、指針數組和數組指針的內存佈局

初學者總是分不出指針數組與數組指針的區別。其實很好理解:

1、指針數組:

首先它是一個數組,數組的元素都是指針,數組佔多少個字節由數組本身的大小決定,每一個元素都是一個指針,在32 位系統下任何類型的指針永遠是佔4 個字節。64位是8字節,它是“儲存指針的數組”的簡稱。(數組大小:4*數組元素個數)

2、數組指針:

首先它是一個指針,它指向一個數組。在32 位系統下任何類型的指針永遠是佔4 個字節,至於它指向的數組佔多少字節,不知道,具體要看數組大小。它是“指向數組的指針”的簡稱。(指針大小:4個字節)

下面到底哪個是數組指針,哪個是指針數組呢:
A)
int *p1[10];
B)
int (*p2)[10];
每次上課問這個問題,總有弄不清楚的。這裏需要明白一個符號之間的優先級問題。

3、優先級:()>[ ] >*

  • “[]”的優先級比“”要高。p1 先與“[]”結合,構成一個數組的定義,數組名爲p1,int 修飾的是數組的內容,即數組的每個元素。那現在我們清楚,這是一個數組,其包含10 個指向int 類型數據的指針,即指針數組。

  • 至於p2 就更好理解了,在這裏“()”的優先級比“[]”高,“*”號和p2 構成一個指針的定義,指針變量名爲p2,int 修飾的是數組的內容,即數組的每個元素。數組在這裏並沒有名字,是個匿名數組。那現在我們清楚p2 是一個指針,它指向一個包含10 個int 類型數據的數組,即數組指針。我們可以藉助下面的圖加深理解:

這裏寫圖片描述

四、int (*)[10] p2—–也許應該這麼定義數組指針

這裏有個有意思的話題值得探討一下:平時我們定義指針不都是在數據類型後面加上指針變量名麼?這個指針p2 的定義怎麼不是按照這個語法來定義的呢?也許我們應該這樣來定義p2:

int (*)[10] p2;

int (*)[10]是指針類型,p2 是指針變量。這樣看起來的確不錯,不過就是樣子有些彆扭。其實數組指針的原型確實就是這樣子的,只不過爲了方便與好看把指針變量p2 前移了而已。你私下完全可以這麼理解這點。雖然編譯器不這麼想。^_^

五、再論a 和&a 之間的區別

既然這樣,那問題就來了。前面我們講過a 和&a 之間的區別,現在再來看看下面的代碼:

int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[5] = &a; // 數組指針p3,最好用這個
   char (*p4)[5] = a;  // 數組指針p4,別用這個
   return 0;
}
  • 上面對p3 和p4 的使用,哪個正確呢?p3+1 的值會是什麼?p4+1 的值又會是什麼?毫無疑問,p3 和p4 都是數組指針,指向的是整個數組。&a 是整個數組的首地址,a是數組首元素的首地址,其值相同但意義不同。

  • 在C 語言裏,賦值符號“=”號兩邊的數據類型必須是相同的,如果不同需要顯示或隱式的類型轉換。p3 這個定義的“=”號兩邊的數據類型完全一致,而p4 這個定義的“=”號兩邊的數據類型就不一致了。左邊的類型是指向整個數組的指針,右邊的數據類型是指向單個字符的指針。在Visual C++6.0 上給出如下警告:
    warning C4047: ‘initializing’ : ‘char ()[5]’ differs in levels of indirection from ‘char ‘。
    還好,這裏雖然給出了警告,但由於&a 和a 的值一樣,而變量作爲右值時編譯器只是取變量的值,所以運行並沒有什麼問題。不過我仍然警告你別這麼用。

  • 既然現在清楚了p3 和p4 都是指向整個數組的,那p3+1 和p4+1 的值就很好理解了。

但是如果修改一下代碼,把數組大小改小點,會有什麼問題?p3+1 和p4+1 的值又是多少呢?

int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[3] = &a;    //不可以
   char (*p4)[3] = a;
   return 0;
}

甚至還可以把代碼再修改,把數組大小改大點:

int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[10] = &a;    //不可以
   char (*p4)[10] = a;
   return 0;
}

注意:把數組大小改變,都會編譯不通過

這個時候又會有什麼樣的問題?p3+1 和p4+1 的值又是多少?

上述幾個問題,希望讀者能仔細考慮考慮,並且上機測試看看結果。

測試結果:
(1).char (p2)[5]=a;必須使用強制轉換,如:char (*p2)[5]=(char ()[5])a;
(2).把數組大小改變,都會編譯不通過,提示:
error C2440: ‘initializing’ : cannot convert from ‘char ()[5]’ to ‘char ()[3]’
error C2440: ‘initializing’ : cannot convert from ‘char ()[5]’ to ‘char ()[10]’

(3).把以上程序測試代碼如下:

int main()
{
    char a[5]={'a','b','c','d'};
    char (*p1)[5]= &a;
    char (*p2)[5]=(char (*)[5])a;

    printf("a=%d\n",a); //%d 打印有符號的十進制整數,就是一般情況下的整數,這裏打印a ,即&a[0]
    printf("a=%d\n",&a[1]);//這裏打印&a[1],a[1]與a[0]就相差一個存儲單位,因爲是字符型,所以&a[1]值時&a[0]+1
    printf("a=%c\n",a[0]);//%c 打印字符,打印a[0]的值
    printf("p1=%c\n",**p1);
    printf("p2=%c\n",**p2);
    printf("p1+1=%c\n",**(p1+1));
    printf("p2+1=%c\n",**(p2+1));
    return 0;
}

//輸出:
a=1638208
a=a
p1=a
p2=a
p1+1=?
p2+1=?
Press any key to continue

結論:
根據指針類型及所指對象,表示指針大小,每次加1,表示增加指針類型大小的字節.—-後面還會有解釋說明.

注意:這裏不明白的是 求指針所指對象 爲什麼用 *p1而不是 p1

六、地址的強制轉換

先看下面這個例子:

看 《C++primer 5.8sizeof 操作符(不同類型所佔用的內存大小字節)》裏面sizeof是如何計算結構體所佔內存大小的


struct Test
{
   int Num;     //int 類型 4字節
   char *pcName;  //指針類型 4 字節
   short sDate;   //short 類型 2字節
   char cha[2];   //整個數組佔用: 2*1=2個字節
   short sBa[4];  //整個數組佔用:2*4=8字節
   //綜上:結構體所佔總的字節數是20字節
}*p;

假設p 的值爲0x100000(16進制數)。如下表達式的值分別爲多少?
p + 0x1 = 0x___ ?
(unsigned long)p + 0x1 = 0x___?
(unsigned int*)p + 0x1 = 0x___?
我相信會有很多人一開始沒看明白這個問題是什麼意思。其實我們再仔細看看,這個知識點似曾相識。一個指針變量與一個整數相加減,到底該怎麼解析呢?

  • 還記得前面我們的表達式“a+1”與“&a+1”之間的區別嗎?其實這裏也一樣。指針變量與一個整數相加減並不是用指針變量裏的地址直接加減這個整數。這個整數的單位不是byte 而是元素的個數(就是指針加1,指針向右移動1位)。所以:p + 0x1 的值爲0x100000+sizeof(Test)*0x1。至於此結構體的大小爲20byte,前面的章節已經詳細講解過。所以p +0x1 的值爲:0x100014。
    (怎麼算的???)
    (這裏都寫成0x 十六進制的了,看的時候可以直接去掉)
  • (unsigned long)p + 0x1 的值呢?這裏涉及到強制轉換,將指針變量p 保存的值強制轉換成無符號的長整型數。任何數值一旦被強制轉換,其類型就改變了。所以這個表達式其實就是一個無符號的長整型數加上另一個整數。所以其值爲:0x100001。

  • (unsigned int*)p + 0x1 的值呢?這裏的p 被強制轉換成一個指向無符號整型的指針。所以其值爲:0x100000+sizof(unsigned int)*0x1,等於0x100004。

上面這個問題似乎還沒啥技術含量,下面就來個有技術含量的:在x86 系統下,其值爲多少?

int main()
{
   int a[4]={1,2,3,4};
   int *ptr1=(int *)(&a+1);//指向a數組後面的內存單元,&a+1表示向後移16個存儲單元
   int *ptr2=(int *)((int)a+1);//表示a的存儲單元的地址增加一個字節
   printf("%x,%x",ptr1[-1],*ptr2);//ptr1[-1]其實指向的是a數組的最後一個單元,*ptr1則表示a數組的地址後移一個字節之後的4個連續存儲單元所存儲的值
   return 0;
}

這是我講課時一個學生問我的題,他在網上看到的,據說難倒了n 個人。我看題之後告訴他,這些人肯定不懂彙編,一個懂彙編的人,這種題實在是小case。下面就來分析分析這個問題:

根據上面的講解,&a+1 與a+1 的區別已經清楚。

  • ptr1:將&a+1 的值強制轉換成int*類型,賦值給int* 類型的變量ptr,ptr1 肯定指到數組a 的下一個int 類型數據了。ptr1[-1]被解析成*(ptr1-1),即ptr1 往後退4 個byte。所以其值爲0x4。

  • ptr2:按照上面的講解,(int)a+1 的值是元素a[0]的第二個字節的地址。然後把這個地址強制轉換成int*類型的值賦給ptr2,也就是說*ptr2 的值應該爲元素a[0]的第二個字節開始的連續4 個byte 的內容。

其內存佈局如下圖:
這裏寫圖片描述

好,問題就來了,這連續4 個byte 裏到底存了什麼東西呢?也就是說元素a[0],a[1]裏面的值到底怎麼存儲的。這就涉及到系統的大小端模式了,如果懂彙編的話,這根本就不是問題。既然不知道當前系統是什麼模式,那就得想辦法測試。大小端模式與測試的方法在第一章講解union 關鍵字時已經詳細討論過了,請翻到彼處參看,這裏就不再詳述。我們可以用下面這個函數來測試當前系統的模式。

int checkSystem()
{
  union check
  {
      int i;
      char ch;
  } c;
  c.i = 1;
  return (c.ch ==1);//如果當前系統爲大端模式這個函數返回0;如果爲小端模式,函數返回1。
}
  • 如果當前系統爲大端模式這個函數返回0;

  • 如果爲小端模式,函數返回1。

  • 也就是說如果此函數的返回值爲1 的話,*ptr2 的值爲0x2000000。

  • 如果此函數的返回值爲0 的話,*ptr2 的值爲0x100。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章