C++指標的概念解讀 超詳細

dav2100發表於2021-09-09

指標是一個特殊的變數,它裡面儲存的數值被解釋成為記憶體裡的一個地址。要搞清一個指標需要搞清指標的四方面的內容:指標的型別,指標所指向的型別,指標的值或者叫指標所指向的記憶體區,還有指標本身所佔據的記憶體區。讓我們分別說明。

先宣告幾個指標放著做例子:

例一:

int *ptr;  
char *ptr;  
int **ptr;  
int (*ptr)[3];  
int *(*ptr)[4];

指標的型別

從語法的角度看,你只要把指標宣告語句裡的指標名字去掉,剩下的部分就是這個指標的型別。這是指標本身所具有的型別。讓我們看看例一中各個指標的型別:

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

怎麼樣?找出指標的型別的方法是不是很簡單?

指標所指向的型別

當你透過指標來訪問指標所指向的記憶體區時,指標所指向的型別決定了編譯器將把那片記憶體區裡的內容當做什麼來看待。

從語法上看,你只須把指標宣告語句中的指標名字和名字左邊的指標宣告符*去掉,剩下的就是指標所指向的型別。例如:

int *ptr; //指標所指向的型別是int  char *ptr; //指標所指向的的型別是char  int **ptr; //指標所指向的的型別是 int *  int (*ptr)[3]; //指標所指向的的型別是 int()[3]  int *(*ptr)[4]; //指標所指向的的型別是 int *()[4]

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

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

指標的值

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

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

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

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

指標本身所佔據的記憶體區

指標本身佔了多大的記憶體?你只要用函式sizeof(指標的型別)測一下就知道了。在32位平臺裡,指標本身佔據了4個位元組的長度。

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

指標的算術運算

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

 char a[20];  
 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[20];  
int *ptr=array;  
...  
//此處略去為整型陣列賦值的程式碼。  ...  
for(i=0;i

這個例子將整型陣列中各個單元的值加1。由於每次迴圈都將指標ptr加1,所以每次迴圈都能訪問陣列的下一個單元。再看例子:

例四:

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

在這個例子中,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,ptrnew的型別和ptrold的型別相同,ptrnew所指向的型別和ptrold所指向的型別也相同。ptrnew的值將比ptrold的值增加了n乘sizeof(ptrold所指向的型別)個位元組。就是說,ptrnew所指向的記憶體區將比ptrold所指向的記憶體區向高地址方向移動了n乘sizeof(ptrold所指向的型別)個位元組。一個指標ptrold減去一個整數n後,結果是一個新的指標ptrnew,ptrnew的型別和ptrold的型別相同,ptrnew所指向的型別和ptrold所指向的型別也相同。ptrnew的值將比ptrold的值減少了n乘sizeof(ptrold所指向的型別)個位元組,就是說,ptrnew所指向的記憶體區將比ptrold所指向的記憶體區向低地址方向移動了n乘sizeof(ptrold所指向的型別)個位元組。

運算子&和*

這裡&是取地址運算子,*是…書上叫做“間接運算子”。&a的運算結果是一個指標,指標的型別是a的型別加個*,指標所指向的型別是a的型別,指標所指向的地址嘛,那就是a的地址。*p的運算結果就五花八門了。總之*p的結果是p所指向的東西,這個東西有這些特點:它的型別是p指向的型別,它所佔用的地址是p所指向的地址。

例五:

int a=12;  
int b;  
int *p;  
int **ptr;  
p=&a;//&a的結果是一個指標,型別是int*,指向的型別是int,指向的地址是a的地址。  *p=24;//*p的結果,在這裡它的型別是int,它所佔用的地址是p所指向的地址,顯然,*p就是變數a。ptr=&p;//&p的結果是個指標,該指標的型別是p的型別加個*,在這裡是int**。該指標所指向的型別是p的型別,這裡是int*。該指標所指向的地址就是指標p自己的地址。 *ptr=&b;//*ptr是個指標,&b的結果也是個指標,且這兩個指標的型別和所指向的型別是一樣的,所以?amp;b來給*ptr賦值就是毫無問題的了。**ptr=34;//*ptr的結果是ptr所指向的東西,在這裡是一個指標,對這個指標再做一次*運算,結果就是一個int型別的變數。

指標表示式

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

例六:

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

例七:

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

由於指標表示式的結果是一個指標,所以指標表示式也具有指標所具有的四個要素:指標的型別,指標所指向的型別,指標指向的記憶體區,指標自身佔據的記憶體。

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

陣列和指標的關係

如果對宣告陣列的語句不太明白的話,請參閱我前段時間貼出的文章>。 陣列的陣列名其實可以看作一個指標。看下例:

例八:

int array[10]={0,1,2,3,4,5,6,7,8,9},value;  
...  
...  
value=array[0];//也可寫成:value=*array;  value=array[3];//也可寫成:value=*(array+3);  value=array[4];//也可寫成:value=*(array+4);

上例中,一般而言陣列名array代表陣列本身,型別是int [10],但如果把array看做指標的話,它指向陣列的第0個單元,型別是int *,所指向的型別是陣列單元的型別即int。因此*array等於0就一點也不奇怪了。同理,array+3是一個指向陣列第3個單元的指標,所以*(array+3)等於3。其它依此類推。

例九:

char *str[3]={  
"Hello,this is a sample!",  
"Hi,good morning.",  
"Hello world"  };  
char s[80];  
strcpy(s,str[0]);//也可寫成strcpy(s,*str);  strcpy(s,str[1]);//也可寫成strcpy(s,*(str+1));  strcpy(s,str[2]);//也可寫成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函式測出的是整個陣列的大小。

在表示式*array中,array扮演的是指標,因此這個表示式的結果就是陣列第0號單元的值。sizeof(*array)測出的是陣列單元的大小。

表示式array+n(其中n=0,1,2,….。)中,array扮演的是指標,故array+n的結果是一個指標,它的型別是TYPE*,它指向的型別是TYPE,它指向陣列第n號單元。故sizeof(array+n)測出的是指標型別的大小。

例十:

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

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

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

int (*ptr)[10];

則在32位程式中,有:

sizeof(int(*)[10])==4  sizeof(int [10])==40  sizeof(ptr)==4

實際上,sizeof(物件)測出的都是物件自身的型別的大小,而不是別的什麼型別的大小。

指標和結構型別的關係

可以宣告一個指向結構型別物件的指標。

例十一:

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

MyStruct ss={20,30,40};//宣告瞭結構物件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+1);//訪問了ss的成員b。  *(pstr+2)//訪問了ss的成員c。

呵呵,雖然我在我的MSVC++6.0上調式過上述程式碼,但是要知道,這樣使用pstr來訪問結構成員是不正規的,為了說明為什麼不正規,讓我們看看怎樣透過指標來訪問陣列的各個單元:
例十二:

int array[3]={35,56,37};  
int *pa=array;

透過指標pa訪問陣列array的三個單元的方法是:

*pa;//訪問了第0號單元  *(pa+1);//訪問了第1號單元  *(pa+2);//訪問了第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",7);//透過函式指標呼叫函式。

可以把指標作為函式的形參。在函式呼叫語句中,可以用指標表示式來作為實參。


來自 “ ITPUB部落格 ” ,連結:http://blog.itpub.net/4479/viewspace-2801801/,如需轉載,請註明出處,否則將追究法律責任。

相關文章