天天看點

C/C++【初級】之二 指針、指針和數組

參考文章:

C++指針詳解

C++指針注意事項

數組指針和指針數組的差別

int (*a)[10] 和 int *a[10] 的差別

指針的類型

把指針聲明語句裡的指針名字去掉,剩下的部分就是這個指針的類型。這是指針本身所具有的類型

int *ptr; //指針的類型是int *  
char *ptr; //指針的類型是char *  
int **ptr; //指針的類型是 int **  
int (*ptr)[3]; //指針的類型是 int(*)[]  
int *(*ptr)[4]; //指針的類型是 int *(*)[]  
           

指針所指向的類型

當你通過指針來通路指針所指向的記憶體區時,指針所指向的類型決定了編譯器将把那片記憶體區裡的内容當做什麼來看待。

從文法上看,你隻須把指針聲明語句中的指針名字和名字左邊的指針聲明符*去掉,剩下的就是指針所指向的類型。

int *ptr; //指針所指向的類型是int  
char *ptr; //指針所指向的的類型是char  
int **ptr; //指針所指向的的類型是 int *  
int (*ptr)[]; //指針所指向的的類型是 int()[]  
int *(*ptr)[]; //指針所指向的的類型是 int *()[]  
           

在指針的算術運算中,指針所指向的類型有很大的作用。

指針的類型(即指針本身的類型)和指針所指向的類型是兩個概念。當你對C越來越熟悉時,你會發現,把與指針攪和在一起的“類型”這個概念分成“指針的類型”和“指針所指向的類型”兩個概念,是精通指針的關鍵點之一。我看了不少書,發現有些寫得差的書中,就把指針的這兩個概念攪在一起了,是以看起書來前後沖突,越看越糊塗。

總結:有關指針的資料類型

變量定義 類型表示 含義
int *p int * 定義P為指向整形資料的指針變量
int *p4 int * 4 定義指針數組P,它由四個指向整形資料的指針元素組成
int (*P)4 int (*)4 P為指向包含4個元素的一維數組的指針變量,p相當于數組的首位址
int f() int() f為傳回整形函數值的函數
int *p() int *() p為傳回一個指針的函數,傳回值是指向int型的指針,p是函數
int (*p)() int (*)() p為指向函數的指針,該函數傳回值是int型
void *p void * P是一個指針變量,基類型為void,不指向具體的對象
const int *P const int * p是一個指向常量的指針變量,不能通過P改變其指向的對象的值
int const *p int const * p是常量指針,其值不變,但指向的對象可變
int **P int ** p是一個指針變量,它指向一個指向int型資料的指針變量

指針的值

指針的值是指針本身存儲的數值,這個值将被編譯器當作一個位址,而不是一個一般的數值。在32位程式裡,所有類型的指針的值都是一個32位整數,因為32位程式裡記憶體位址全都是32位長。

指針所指向的記憶體區就是從指針的值所代表的那個記憶體位址開始,長度為sizeof(指針所指向的類型)的一片記憶體區。以後,我們說一個指針的值是XX,就相當于說該指針指向了以XX為首位址的一片記憶體區域;我們說一個指針指向了某塊記憶體區域,就相當于說該指針的值是這塊記憶體區域的首位址。

指針所指向的記憶體區和指針所指向的類型是兩個完全不同的概念。在例一中,指針所指向的類型已經有了,但由于指針還未初始化,是以它所指向的記憶體區是不存在的,或者說是無意義的。

以後,每遇到一個指針,都應該問問:這個指針的類型是什麼?指針指向的類型是什麼?該指針指向了哪裡?

指針本身所占據的記憶體區

指針本身占了多大的記憶體?你隻要用函數sizeof(指針的類型)測一下就知道了。在32位平台裡,指針本身占據了4個位元組的長度。

指針本身占據的記憶體這個概念在判斷一個指針表達式是否是左值時很有用。  

指針的算術運算

指針可以加上或減去一個整數。指針的這種運算的意義和通常的數值的加減運算的意義是不一樣的。

char a[];  
 int *ptr=a;  
...  
...  
 ptr++;  
           

在上例中,指針ptr的類型是int*,它指向的類型是int,它被初始化為指向整形變量a。接下來的第3句中,指針ptr被加了1,編譯器是這樣處理的:它把指針ptr的值加上了sizeof(int),在32位程式中,是被加上了4。由于位址是用位元組做機關的,故ptr所指向的位址由原來的變量a的位址向高位址方向增加了4個位元組。

由于char類型的長度是一個位元組,是以,原來ptr是指向數組a的第0号單元開始的四個位元組,此時指向了數組a中從第4号單元開始的四個位元組。

我們可以用一個指針和一個循環來周遊一個數組

int array[];  
int *ptr=array;  
...  
//此處略去為整型數組指派的代碼。  
...  
for(i=;i<;i++)  
{  
    (*ptr)++;  
    ptr++;  
} 
           

這個例子将整型數組中各個單元的值加1。由于每次循環都将指針ptr加1,是以每次循環都能通路數組的下一個單元。

再看例子:

char a[];  
int *ptr = a;  
...  
...  
ptr += ;  
           

  在這個例子中,ptr被加上了5,編譯器是這樣處理的:将指針ptr的值加上5乘sizeof(int),在32位程式中就是加上了5乘4=20。由于位址的機關是位元組,故現在的ptr所指向的位址比起加5後的ptr所指向的位址來說,向高位址方向移動了20個位元組。

  在這個例子中,沒加5前的ptr指向數組a的第0号單元開始的四個位元組,加5後,ptr已經指向了數組a的合法範圍之外了。雖然這種情況在應用上會出問題,但在文法上卻是可以的。這也展現出了指針的靈活性。

  如果上例中,ptr是被減去5,那麼處理過程大同小異,隻不過ptr的值是被減去5乘sizeof(int),新的ptr指向的位址将比原來的ptr所指向的位址向低位址方向移動了20個位元組。

  總結一下:

  

  一個指針ptrold加上一個整數n後,結果是一個新的指針ptrnew

  1.ptrnew和ptrold的類型相同;

  2.ptrnew和ptrold所指向的類型也相同;

  3.ptrnew的值将比ptrold的值增加了n乘sizeof(ptrold所指向的類型)個位元組。就是說,ptrnew所指向的記憶體區将比ptrold所指向的記憶體區向高位址方向移動了n乘sizeof(ptrold所指向的類型)個位元組。

  

  一個指針ptrold減去一個整數n後,結果是一個新的指針ptrnew,

  1.ptrnew和ptrold的類型相同;

  2.ptrnew所指向的類型和ptrold所指向的類型也相同;

  3.ptrnew的值将比ptrold的值減少了n乘sizeof(ptrold所指向的類型)個位元組。就是說,ptrnew所指向的記憶體區将比ptrold所指向的記憶體區向低位址方向移動了n乘sizeof(ptrold所指向的類型)個位元組。

進一步舉例:

指針與數組

/*——————————————————————————————
    示例04: 關于 指針與數組  
    ——————————————————————————————*/ 
    int array[];  
    int *ptr=array;  

    for(int i=;i<;i++) // 賦初始值 
    {
        array[i] = i;
    }

    cout<<"ptr:  "<< ptr <<endl; // 開始時指針指向 數組array第一個元素的位址; 
    cout<<"*ptr: "<< *ptr<<endl; // 
    cout<<"&ptr: "<< &ptr<<endl;
    cout<< endl;

    cout<<"指針指向的位址+1" <<endl;  
    ++ptr;  
    cout<<"ptr:  "<< ptr <<endl; // 指指針指向的位址+1:array時int型數組,是以位址+1,說明指針向高位移動了sizeof(int)個長度【在32位程式中,是被加上了4 】 
    cout<<"*ptr: "<< *ptr<<endl; // 這時指針指向了array[1],array[1]的值為 1 
    cout<<"&ptr: "<< &ptr<<endl; // 指針本身的位址不受影響 ,【指針所指向的位址】 和  【指針所指向的位址對應的内容】發生了變化 
    cout<< endl;

    cout<<"指針指向的内容+1" << endl;
    ++*ptr; 
    cout<<"ptr:  "<< ptr <<endl; // 指指針指向的位址沒變 ,看結果與上一次取的位址一樣:) 
    cout<<"*ptr: "<< *ptr<<endl; // 這時指針還是指向array[1],array[1]的值變為 2 了 
    cout<<"&ptr: "<< &ptr<<endl; // 指針本身的位址不受影響 

  /* 
    ptr:  0x70fde0
    *ptr: 0
    &ptr: 0x70fe30

    指針位址+1
    ptr:  0x70fde4
    *ptr: 1
    &ptr: 0x70fe30

    指針指向的内容+1
    ptr:  0x70fde4
    *ptr: 2
    &ptr: 0x70fe30 
    */ 
           

再看一個示例:

/*——————————————————————————————
    示例05: 關于 指針與 數組 2
    ——————————————————————————————*/ 
    int array[];  
    int *ptr=array;  

    for(int i=;i<;i++) // 給數組賦初始值 
    {
        array[i] = i;
        cout << array[i] << " ";
    }
    cout << endl;
    for(int i=;i<;i++)  // 【利用指針】給數組array的每一項 +1 
    {  
        (*ptr)++;  
        ptr++; 
    }   
    for(int i=;i<;i++)
    {
         cout << array[i] << " ";
    }
    cout << endl;

    /*
    0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
    */
           

運算符&和*

關于 指針 運算符 取位址 解引用 請參考:

C/C++【初級】之一 指針()、取位址(&)、解引用()與引用(&)的概念

這裡再舉個例子:

int a=;  
int b;  
int *p;  
int **ptr;  
p=&a;     // &a的結果是一個指針,類型是int*,指向的類型是int,指向的位址是a的位址。  
*p=;    // *p的結果,在這裡它的類型是int,它所占用的位址是p所指向的位址,顯然,*p就是變量a。
ptr=&p;   // &p的結果是個指針,該指針的類型是p的類型加個*,在這裡是int**。該指針所指向的類型是p的類型,這裡是int*。該指針所指向的位址就是指針p自己的位址。 
*ptr=&b;  // *ptr是個指針,&b的結果也是個指針,且這兩個指針的類型和所指向的類型是一樣的,是以?amp;b來給*ptr指派就是毫無問題的了。
**ptr=; //*ptr的結果是ptr所指向的東西,在這裡是一個指針,對這個指針再做一次*運算,結果就是一個int類型的變量。
           

指針表達式

一個表達式的最後結果如果是一個指針,那麼這個表達式就叫指針表達式。下面是一些指針表達式的例子:

示例6:

int a,b;  
int array[];  
int *pa;  
pa=&a;//&a是一個指針表達式。  
int **ptr=&pa;//&pa也是一個指針表達式。  
*ptr=&b;//*ptr和&b都是指針表達式。  
pa=array;  
pa++;//這也是指針表達式。
           

示例7:

char *arr[];  
char **parr=arr;//如果把arr看作指針的話,arr也是指針表達式  
char *str;  
str=*parr;//*parr是指針表達式  
str=*(parr+);//*(parr+1)是指針表達式  
str=*(parr+);//*(parr+2)是指針表達式  
           

  由于指針表達式的結果是一個指針,是以指針表達式也具有指針所具有的四個要素:

   1.指針的類型,

   2.指針所指向的類型,

   3.指針指向的記憶體區,

   4.指針自身占據的記憶體。

  當一個指針表達式的結果指針已經明确地具有了指針自身占據的記憶體的話,這個指針表達式就是一個左值,否則就不是一個左值。 在 示例6 中,&a不是一個左值,因為它還沒有占據明确的記憶體。*ptr是一個左值,因為*ptr這個指針已經占據了記憶體,其實*ptr就是指針pa,既然pa已經在記憶體中有了自己的位置,那麼*ptr當然也有了自己的位置。

數組和指針的關系

數組的數組名其實可以看作一個指針。

示例8:

int array[]={,,,,,,,,,},value;  
...  
...  
value=array[];//也可寫成:value=*array;  
value=array[];//也可寫成:value=*(array+);  
value=array[];//也可寫成:value=*(array+);  
           

上例中,數組名array代表數組本身,類型是int [10],但如果把array看做指針的話,它指向數組的第0個單元的位址,位址類型是int *,這個位址所指向的内容類型是int【即:數組array的類型即int】。是以*array等于0就一點也不奇怪了。同理,array+3是一個指向數組第3個單元的指針,是以*(array+3)等于3。其它依此類推。

示例9:

char *str[]={  
"Hello,this is a sample!",  
"Hi,good morning.",  
"Hello world"  
};  
char s[];  
strcpy(s,str[]);//也可寫成strcpy(s,*str);  
strcpy(s,str[]);//也可寫成strcpy(s,*(str+1));  
strcpy(s,str[]);//也可寫成strcpy(s,*(str+2)); 
           

  上例中,str是一個三單元的數組,該數組的每個單元都是一個指針,這些指針各指向一個字元串。把指針數組名str當作一個指針的話,它指向數組的第0号單元,它的類型是char**,它指向的類型是char *。

  *str也是一個指針,它的類型是char*,它所指向的類型是char,它指向的位址是字元串”Hello,this is a sample!”的第一個字元的位址,即’H’的位址。 str+1也是一個指針,它指向數組的第1号單元,它的類型是char**,它指向的類型是char *。

*(str+1)也是一個指針,它的類型是char*,它所指向的類型是char,它指向”Hi,good morning.”的第一個字元’H’,等等。

總結:數組的數組名的問題。

  聲明了一個數組TYPE array[n],則數組名稱array就有了兩重含義:

  第一,它代表整個數組,它的類型是TYPE [n];

  第二,它是一個指針,該指針的類型是TYPE*,該指針指向的類型是TYPE,也就是數組單元的類型,該指針指向的記憶體區就是數組第0号單元,該指針自己占有單獨的記憶體區,注意它和數組第0号單元占據的記憶體區是不同的。該指針的值是不能修改的,即類似array++的表達式是錯誤的。

在不同的表達式中數組名array可以扮演不同的角色。

在表達式 sizeof(array) 中,數組名array代表數組本身,故這時sizeof函數測出的是整個數組的大小。

參考:關于32位 64位系統sizeof()的值

在表達式*array中,array扮演的是指針,是以這個表達式的結果就是數組第0号單元的值。sizeof(*array)測出的是數組單元的大小。

【即:數組單元是array[0], 是int類型,大小是4(32w位系統)】

表達式array+n(其中n=0,1,2,….。)中,array扮演的是指針,故array+n的結果是一個指針,它的類型是TYPE*,它指向的類型是TYPE,它指向數組第n号單元。故sizeof(array+n)測出的是指針類型的大小。

示例10:

int array[];  
int (*ptr)[];  
ptr=&array; 
           

上例中ptr是一個指針,它的類型是int (*)[10],他指向的類型是int [10],我們用整個數組的首位址來初始化它。在語句ptr=&array中,array代表數組本身。

本節中提到了函數sizeof(),那麼我來問一問,sizeof(指針名稱)測出的究竟是指針自身類型的大小呢還是指針所指向的類型的大小?答案是前者。例如:

int (*ptr)[];  
           

在32位程式中:

sizeof(int(*)[])==  
sizeof(int [])==  
sizeof(ptr)==  
           

實際上,sizeof(對象)測出的都是對象自身的類型的大小,而不是别的什麼類型的大小

再來看一個sizeof()的示例:

/*——————————————————————————————
    示例06: 關于指針與數組 3 
    ——————————————————————————————*/ 
    int array[] ={,,,,,,,,,};
    int array2[]={,,,,,,,,,};
    int *parray[];                                            // 指針類型:int * [10];指針所指向的類型 int [10]。parray 是一個指向指針數組首位址的指針 
    int (*parray2)[] ;                                    // 指針類型:int (*)[10];指針所指向的類型int ()[10]。parray2是一個指向數組的指針 。 

    parray[] = array;                                      // 将指針數組的第一個指針位址指向了 array的首位址 
    parray[] = array2;                                     // 将指針數組的第二個 指針位址指向了 array2的首位址 
    //parray = &array;                                      // error:這個指派就是錯誤,因為parray是一個指針數組 
    parray2 = &array2;                                      //  parray2的指針類型是int (*)[10] ,指針所指向的類型:int ()[10],現在它指向了 array2

  cout <<"      常數0的                    sizeof(0)        :"<< sizeof()<<endl;
  cout <<"    int類型的                    sizeof(int)      :"<< sizeof(int)<<endl;
  cout <<"  數組array的                    sizeof(array)    :"<< sizeof(array) <<  endl;   // 表達式:'array'是數組名,測出數組的大小 sizeof(int [10]) = 40 
    cout <<"位址array+0的                    sizeof(array+0)  : "<< sizeof(array+)<<  endl;               
  cout <<"數組指針parray的                 sizeof(parray)   :"<< sizeof(parray) <<  endl;
    cout <<"指針parray[0]的                  sizeof(parray[0]):"<< sizeof(parray[]) <<  endl;
    cout <<"指向數組int()[10]的指針parray2的 sizeof(parray2)  :"<< sizeof(parray2) << endl << endl;

    // sizeof(指針數組) 
    cout <<"  sizeof(   int *[10])   :"<< sizeof(int *[]) << endl; 
    cout <<"  sizeof(  char *[10])   :"<< sizeof(char *[]) << endl;
    cout <<"  sizeof(double *[10])   :"<< sizeof(double *[]) << endl;
    // sizeof(指向數組的指針) 
  cout <<"  sizeof(   int (*)[10]) :"<< sizeof(int (*)[]) << endl; 
  cout <<"  sizeof(  char (*)[10]) :"<< sizeof(char (*)[]) << endl; 
    cout <<"  sizeof(double (*)[10]) :"<< sizeof(double (*)[]) << endl; 
    cout <<"是不是找到了一些規律 :)  "<< endl << endl; 

    cout <<"取數組array2的第一個元素的值   *array2                                          :"<< *array2 << endl;
  cout <<"取數組array2的第一個元素的位址 &array2                                          :"<< &array2 << endl;
    cout <<"指針表達式 array+0 代表array的首個數組元素的位址                                :"<< array+ <<  endl; // 表達式:'array+0' 是一個指針,類型是 int * 測出的是指向數組array[0]單元的值的類型大小sizeof(int) = 4byte【在32位環境下】 
    cout <<"指針表達式 parray 代表一個指針,它指向數組指針int *[10]的首個資料單元的記憶體位址 :"<< parray <<  endl;
    cout <<"指針表達式*parray 代表一個指針,它指向數組指針int *[10]的首個資料單元的值【還是個位址,指向數組array[0]的記憶體位址位址】:"<< *parray <<  endl; 
    cout <<"**parray 指向數組array[0]的數值】                                               :"<< **parray <<  endl; 
    // 同理:這個是array2對應的三個值 
    cout <<   (parray+) << endl;
    cout <<  *(parray+) << endl;
    cout << **(parray+) << endl;

    cout <<"指針表達式 parray[0] 代表 組指針int *[10]的首個單元所指向的位址  :"<< parray[] <<  endl; // *parray == parray[0] == array+0 == &array
    cout <<"指針表達式 parray[1] 代表 組指針int *[10]的第二個單元所指向的位址:"<< parray[] <<  endl; // *(parray+1) == parray[1] == array2+0 == &&array
  cout <<"指針表達式 parray2 代表int()[10]整型數組的首位址                 :"<< parray2 <<  endl;   // 

  // 這四個表達式都表示 擷取數組array所在的首位址 
  cout << *parray   << endl;
  cout <<  parray[]<< endl;
  cout <<  array+  << endl;
  cout <<  &array   << endl;
           

指針和結構類型的關系

struct MyStruct  
{  
int a;  
int b;  
int c;  
}  

MyStruct ss={,,};//聲明了結構對象ss,并把ss的三個成員初始化為20,30和40。
MyStruct *ptr=&ss;//聲明了一個指向結構對象ss的指針。它的類型是
MyStruct*,它指向的類型是MyStruct。
int *pstr=(int*)&ss;//聲明了一個指向結構對象ss的指針。但是它的類型和它指向的類型和ptr是不同的。
           

請問怎樣通過指針ptr來通路ss的三個成員變量?

答案:

ptr->a;  
ptr->b;  
ptr->c; 
           

又請問怎樣通過指針pstr來通路ss的三個成員變量?

答案:

*pstr;//通路了ss的成員a。  
*(pstr+);//通路了ss的成員b。  
*(pstr+)//通路了ss的成員c。 
           

呵呵,雖然我在我的MSVC++6.0上調式過上述代碼,但是要知道,這樣使用pstr來通路結構成員是不正規的,為了說明為什麼不正規,讓我們看看怎樣通過指針來通路數組的各個單元:

例十二:

int array[]={,,};  
int *pa=array;  
           

通過指針pa通路數組array的三個單元的方法是:

*pa;//通路了第0号單元  
*(pa+);//通路了第1号單元  
*(pa+);//通路了第2号單元  
           

從格式上看倒是與通過指針通路結構成員的不正規方法的格式一樣。

所有的C/C++編譯器在排列數組的單元時,總是把各個數組單元存放在連續的存儲區裡,單元和單元之間沒有空隙。但在存放結構對象的各個成員時,在某種編譯環境下,可能會需要字對齊或雙字對齊或者是别的什麼對齊,需要在相鄰兩個成員之間加若幹個“填充位元組”,這就導緻各個成員之間可能會有若幹個位元組的空隙。

是以,在例十二中,即使pstr通路到了結構對象ss的第一個成員變量a,也不能保證(pstr+1)就一定能通路到結構成員b。因為成員a和成員b之間可能會有若幹填充位元組,說不定*(pstr+1)就正好通路到了這些填充位元組呢。這也證明了指針的靈活性。要是你的目的就是想看看各個結構成員之間到底有沒有填充位元組,嘿,這倒是個不錯的方法。

通過指針通路結構成員的正确方法應該是象例十二中使用指針ptr的方法。

指針和函數的關系

可以把一個指針聲明成為一個指向函數的指針。

int fun1(char*,int);  
int (*pfun1)(char*,int);  
pfun1=fun1;  
....  
....  
int a=(*pfun1)("abcdefg",);//通過函數指針調用函數。  
           

可以把指針作為函數的形參。在函數調用語句中,可以用指針表達式來作為實參。