让你不再害怕指针-摘自:无名
讓你不再害怕指針
認認真真看完本文,我堅信你會對指針會有全新的認識!
目錄
前言:復雜類型說明
細說指針
1、指針所指向的類型
2、指針的值
3、指針本身所占據的內存區
指針的算術運算
運算符&和*
指針表達式
數組和指針的關系
指針和結構類型的關系
指針和函數的關系
指針類型轉換
指針的安全問題
致謝
前言:復雜類型說明
要了解指針,多多少少會出現一些比較復雜的類型,所以我先介紹一下如何完全理解一個復雜類型,要理解復雜類型其實很簡單,一個類型里會出現很多運算符,他們也像普通的表達式一樣,有優先級,其優先級和運算優先級一樣,所以我總結了一下其原則:從變量名處起,根據運算符優先級結合,一步一步分析.下面讓我們先從簡單的類型開始慢慢分析吧!
int p; //這是一個普通的整型變量int *p; //首先從P 處開始,先與*結合,所以說明P 是一個指針, //然后再與int 結合,說明指針所指向的內容的類型為int 型. //所以P 是一個返回整型數據的指針int p[3]; //首先從P 處開始,先與[]結合,說明P 是一個數 //組,然后與int 結合,說明數組里的元素是整 //型的,所以P 是一個由整型數據組成的數組int *p[3]; //首先從P 處開始,先與[]結合,因為其優先級 //比*高,所以P 是一個數組,然后再與*結合,說明 //數組里的元素是指針類型,然后再與int 結合, //說明指針所指向的內容的類型是整型的,所以 //P 是一個由返回整型數據的指針所組成的數組int (*p)[3]; //首先從P 處開始,先與*結合,說明P 是一個指針 //然后再與[]結合(與"()"這步可以忽略,只是為 //了改變優先級),說明指針所指向的內容是一個 //數組,然后再與int 結合,說明數組里的元素是 //整型的.所以P 是一個指向由整型數據組成的數 //組的指針int p(int); //從P 處起,先與()結合,說明P 是一個函數,然后進入 //()里分析,說明該函數有一個整型變量的參數 //然后再與外面的int 結合,說明函數的返回值是 //一個整型數據Int (*p)(int); //從P 處開始,先與指針結合,說明P 是一個指針,然后與 //()結合,說明指針指向的是一個函數,然后再與()里的 //int 結合,說明函數有一個int 型的參數,再與最外層的 //int 結合,說明函數的返回類型是整型,所以P 是一個指 //向有一個整型參數且返回類型為整型的函數的指針細說指針
指針是一個特殊的變量,它里面存儲的數值被解釋成為內存里的一個地址。要搞清一個指針需要搞清指針的四方面的內容:指針的類型、指針所指向的類型、指針的值或者叫指針所指向的內存區、指針本身所占據的內存區。讓我們分別說明。
先聲明幾個指針放著做例子:
1、指針所指向的類型
當你通過指針來訪問指針所指向的內存區時,指針所指向的類型決定了編譯器將把那片內存區里的內容當做什么來看待。
從語法上看,你只須把指針聲明語句中的指針名字和名字左邊的指針聲明符*去掉,剩下的就是指針所指向的類型。
例如:
int*ptr; //指針所指向的類型是intchar*ptr; //指針所指向的的類型是charint**ptr; //指針所指向的的類型是int*int(*ptr)[3]; //指針所指向的的類型是int()[3]int*(*ptr)[4]; //指針所指向的的類型是int*()[4]在指針的算術運算中,指針所指向的類型有很大的作用。指針的類型(即指針本身的類型)和指針所指向的類型是兩個概念。當你對C 越來越熟悉時,你會發現,把與指針攪和在一起的"類型"這個概念分成"指針的類型"和"指針所指向的類型"兩個概念,是精通指針的關鍵點之一。
2、指針的值
或者叫指針所指向的內存區或地址
指針的值是指針本身存儲的數值,這個值將被編譯器當作一個地址,而不是一個一般的數值。在32 位程序里,所有類型的指針的值都是一個32 位整數,因為32 位程序里內存地址全都是32 位長。指針所指向的內存區就是從指針的值所代表的那個內存地址開始,長度為si zeof(指針所指向的類型)的一片內存區。以后,我們說一個指針的值是XX,就相當于說該指針指向了以XX 為首地址的一片內存區域;我們說一個指針指向了某塊內存區域,就相當于說該指針的值是這塊內存區域的首地址。
指針所指向的內存區和指針所指向的類型是兩個完全不同的概念。在例一中,指針所指向的類型已經有了,但由于指針還未初始化,所以它所指向的內存區是不存在的,或者說是無意義的。
以后,每遇到一個指針,都應該問問:這個指針的類型是什么?指針指的類型是什么?該指針指向了哪里?(重點注意)
3、指針本身所占據的內存區
指針本身占了多大的內存?你只要用函數sizeof(指針的類型)測一下就知道了。在32 位平臺里,指針本身占據了4 個字節的長度。
指針本身占據的內存這個概念在判斷一個指針表達式(后面會解釋)是否是左值時很有用。
指針的算術運算
指針可以加上或減去一個整數。指針的這種運算的意義和通常的數值的加減運算的意義是不一樣的,以單元為單位。
例如:
char a[20];int *ptr=(int *)a; //強制類型轉換并不會改變a 的類型ptr++;在上例中,指針ptr 的類型是int*,它指向的類型是int,它被初始化為指向整型變量a。接下來的第3 句中,指針ptr 被加了1。
編譯器是這樣處理的:它把指針ptr 的值加上了sizeof(int),在32 位程序中,是被加上了4,因為在32 位程序中,int 占4 個字節。由于地址是用字節做單位的,故ptr 所指向的地址由原來的變量a 的地址向高地址方向增加了4 個字節。由于char 類型的長度是一個字節,所以,原來ptr 是指向數組a 的第0 號單元開始的四個字節,此時指向了數組a 中從第4 號單元開始的四個字節。?
我們可以用一個指針和一個循環來遍歷一個數組。
看例子:
int array[20]={0};int *ptr=array;for(i=0;i<20;i++) {(*ptr) ++;ptr ++; }這個例子將整型數組中各個單元的值加1。由于每次循環都將指針ptr加1 個單元,所以每次循環都能訪問數組的下一個單元。這個地方我指明一下:?(*ptr) ++;這句指令是對數組里面的每個單元加1,而ptr ++;是指向數組的下一個單元。
再看例子:
char a[20]="You_are_a_girl";int *ptr=(int *)a;ptr+=5;在這個例子中,ptr 被加上了5,編譯器是這樣處理的:將指針ptr 的值加上5 乘sizeof(int),大家會問為什么是sizeof(int)而不是sizeof(char),因為變量a被強制轉化位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 個字節。
下面請允許我再舉一個例子:(一個誤區)
#include<stdio.h> int main() {char a[20]=" You_are_a_girl";char *p=a;char **ptr=&p;printf("p=%d\n",p);printf("ptr=%d\n",ptr);printf("*ptr=%d\n",*ptr);printf("**ptr=%c\n",**ptr);ptr++;printf("ptr=%d\n",ptr);printf("*ptr=%d\n",*ptr);printf("**ptr=%c\n",**ptr); }正解: ptr 的類型是char **,指向的類型是一個char *類型,該指向的地址就是p的地址(&p),當執行ptr++;時,會使指針加一個sizeof(char*),即&p+4;那*(&p+4)指向哪呢,這個你去問上帝吧,或者他會告訴你在哪?所以最后的輸出會是一個隨機的值,或許是一個非法操作.
總結一下:一個指針ptrold 加(減)一個整數n 后,結果是一個新的指針ptrnew,ptrnew 的類型和ptrold 的類型相同,ptrnew 所指向的類型和ptrold所指向的類型也相同。ptrnew 的值將比ptrold 的值增加(減少)了n 乘sizeof(ptrold 所指向的類型)個字節。就是說,ptrnew 所指向的內存區將比ptrold 所指向的內存區向高(低)地址方向移動了n 乘sizeof(ptrold 所指向的類型)個字節。
運算符&和*
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 的結果也是個指針,且這兩個指針 //的類型和所指向的類型是一樣的,所以用&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,thisisasample!", "Hi,goodmorning.", "Helloworld"};chars[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,thisisasample!"的第一個字符的地址,即'H'的地址。注意:字符串相當于是一個數組,在內存中以數組的形式儲存,只不過字符串是一個數組常量,內容不可改變,且只能是右值.如果看成指針的話,他即是常量指針,也是指針常量.
str+1 也是一個指針,它指向數組的第1 號單元,它的類型是char**,它指向的類型是char*。
*(str+1)也是一個指針,它的類型是char*,它所指向的類型是char,它指向"Hi,goodmorning."的第一個字符'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)測出的是指針類型的大小。在32 位程序中結果是4。
上例中ptr 是一個指針,它的類型是int(*)[10],他指向的類型是int[10] ,我們用整個數組的首地址來初始化它。在語句ptr=&array中(array 代表數組本身)。
本節中提到了函數sizeof(),那么我來問一問,sizeof(指針名稱)測出的究竟是指針自身類型的大小呢還是指針所指向的類型的大小?答案是前者。
例如:
int(*ptr)[10];//則在32 位程序中,有:sizeof(int(*)[10])==4sizeof(int[10])==40sizeof(ptr)==4?實際上,sizeof(對象)測出的都是對象自身的類型的大小,而不是別的什么類型的大小。
指針和結構類型的關系
可以聲明一個指向結構類型對象的指針。
struct MyStruct {int a;int b;int c; }; struct MyStruct ss={20,30,40}; //聲明了結構對象ss,并把ss 的成員初始化為20,30 和40。struct MyStruct *ptr=&ss; //聲明了一個指向結構對象ss 的指針。它的類型是 //MyStruct *,它指向的類型是MyStruct。int *pstr=(int*)&ss; //聲明了一個指向結構對象ss 的指針。但是pstr 和 //它被指向的類型ptr 是不同的。?請問怎樣通過指針ptr 來訪問ss 的三個成員變量?
ptr->a; //指向運算符,或者可以這們(*ptr).a,建議使用前者ptr->b;ptr->c;又請問怎樣通過指針pstr 來訪問ss 的三個成員變量?
*pstr; //訪問了ss 的成員a。*(pstr+1); //訪問了ss 的成員b。*(pstr+2) //訪問了ss 的成員c。從格式上看倒是與通過指針訪問結構成員的不正規方法的格式一樣。所有的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); //通過函數指針調用函數。 //可以把指針作為函數的形參。在函數調用語句中,可以用指針表達式來 //作為實參。 int fun(char *); int a; char str[]="abcdefghijklmn"; a=fun(str); int fun(char *s) {int num=0;for(int i=0;;) {num+=*s;s++; }return num; }上例中的函數fun 統計一個字符串中各個字符的ASCII 碼值之和。前面說了,數組的名字也是一個指針。在函數調用中,當把str作為實參傳遞給形參s 后,實際是把str 的值傳遞給了s,s 所指向的地址就和str 所指向的地址一致,但是str 和s 各自占用各自的存儲空間。在函數體內對s 進行自加1 運算,并不意味著同時對str 進行了自加1 運算。
指針類型轉換
float f=12.3;float *fptr=&f;int *p;?在上面的例子中,假如我們想讓指針p 指向實數f,應該怎么辦?是用下面的語句嗎?
p=&f;//不對。因為指針p 的類型是int *,它指向的類型是int。表達式 //&f 的結果是一個指針,指針的類型是float *,它指向的類型是float。 //兩者不一致,直接賦值的方法是不行的。至少在我的MSVC++6.0 上,對 //指針的賦值語句要求賦值號兩邊的類型一致,所指向的類型也一致,其 //它的編譯器上我沒試過,大家可以試試。為了實現我們的目的,需要進 //行"強制類型轉換":p=(int*)&f;如果有一個指針p,我們需要把它的類型和所指向的類型改為TYEP *TYPE, 那么語法格式是: (TYPE *)p;
這樣強制類型轉換的結果是一個新指針,該新指針的類型是TYPE *,它指向的類型是TYPE,它指向的地址就是原指針指向的地址。而原來的指針p 的一切屬性都沒有被修改。(切記)
一個函數如果使用了指針作為形參,那么在函數調用語句的實參和形參的結合過程中,必須保證類型一致,否則需要強制轉換 。
void fun(char*);int a=125,b;fun((char*)&a);void fun(char*s) {char c;c=*(s+3);*(s+3)=*(s+0);*(s+0)=c;c=*(s+2);*(s+2)=*(s+1);*(s+1)=c; }注意這是一個32 位程序,故int 類型占了四個字節,char 類型占一個字節。函數fun 的作用是把一個整數的四個字節的順序來個顛倒。注意到了嗎?在函數調用語句中,實參&a 的結果是一個指針,它的類型是int *,它指向的類型是int。形參這個指針的類型是char *,它指向的類型是char。這樣,在實參和形參的結合過程中,我們必須進行一次從int *類型到char *類型的轉換。結合這個例子,我們可以這樣來想象編譯器進行轉換的過程:編譯器先構造一個臨時指針char *temp,然后執行temp=(char *)&a,最后再把temp 的值傳遞給s。所以最后的結果是:s 的類型是char *,它指向的類型是char,它指向的地址就是a 的首地址。?
我們已經知道,指針的值就是指針指向的地址,在32 位程序中,指針的值其實是一個32 位整數。那可不可以把一個整數當作指針的值直接賦給指針呢?就象下面的語句:
嚴格說來這里的(TYPE *)和指針類型轉換中的(TYPE *)還不一樣。這里的(TYPE*)的意思是把無符號整數a 的值當作一個地址來看待。上面強調了a 的值必須代表一個合法的地址,否則的話,在你使用ptr 的時候,就會出現非法操作錯誤。
想想能不能反過來,把指針指向的地址即指針的值當作一個整數取出來。完全可以。下面的例子演示了把一個指針的值當作一個整數取出來,然后再把這個整數當作一個地址賦給一個指針:
int a=123,b;int *ptr=&a;char *str;b=(int)ptr; //把指針ptr 的值當作一個整數取出來。str=(char*)b; //把這個整數的值當作一個地址賦給指針str。現在我們已經知道了,可以把指針的值當作一個整數取出來,也可以把一個整數值當作地址賦給一個指針。
指針的安全問題
看下面的例子:
char s='a';int *ptr;ptr=(int *)&s;*ptr=1298;指針ptr 是一個int *類型的指針,它指向的類型是int。它指向的地址就是s 的首地址。在32 位程序中,s 占一個字節,int 類型占四個字節。最后一條語句不但改變了s 所占的一個字節,還把和s 相臨的高地址方向的三個字節也改變了。這三個字節是干什么的?只有編譯程序知道,而寫程序的人是不太可能知道的。也許這三個字節里存儲了非常重要的數據,也許這三個字節里正好是程序的一條代碼,而由于你對指針的馬虎應用,這三個字節的值被改變了!這會造成崩潰性的錯誤。
讓我們再來看一例:
char a;int *ptr=&a;ptr++;*ptr=115;該例子完全可以通過編譯,并能執行。但是看到沒有?第3 句對指針ptr 進行自加1 運算后,ptr 指向了和整形變量a 相鄰的高地址方向的一塊存儲區。這塊存儲區里是什么?我們不知道。有可能它是一個非常重要的數據,甚至可能是一條代碼。而第4 句竟然往這片存儲區里寫入一個數據!這是嚴重的錯誤。所以在使用指針時,程序員心里必須非常清楚:我的指針究竟指向了哪里。在用指針訪問數組的時候,也要注意不要超出數組的低端和高端界限,否則也會造成類似的錯誤。在指針的強制類型轉換:ptr1=(TYPE *)ptr2 中,如果sizeof(ptr2的類型)大于sizeof(ptr1 的類型),那么在使用指針ptr1 來訪問ptr2所指向的存儲區時是安全的。如果sizeof(ptr2 的類型) 小于sizeof(ptr1 的類型),那么在使用指針ptr1 來訪問ptr2 所指向的存儲區時是不安全的。
致謝
本文非我所寫,我只是費了一點力氣整理了一下!方便大家查閱。由于不是在論壇或者是有鏈接的地方找到的。故放不了原文鏈接:在此晚生說一句抱歉!
再一次感謝原創者!讓后生學指針不再那么迷茫!
摘自:無名
題目:讓你不再害怕指針
?
?
總結
以上是生活随笔為你收集整理的让你不再害怕指针-摘自:无名的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 四种π型RC滤波电路
- 下一篇: 让你不再害怕指针的应用-全程仿真+注解(