前言:先看下面類型的含義程序員
1) int p;小程序
這是一個普通的整型變量。數組
2) int *p;安全
從p處開始,先與*結合,說明p是一個指針,而後再與int結合,說明指針所指向的內容的類型爲int型。因此p是一個指向整型數據的指針。函數
3) int p[3];this
從p處開始,先與[]結合,說明p是一個數組,而後與int結合,說明數組裏的元素是整型的,因此p是一個由整型數據組成的數組。spa
4) int *p[3];指針
從p處開始,先與[]結合,由於[]優先級比*高,因此p是一個數組。而後再與*結合,說明數組裏的元素是指針類型。 而後再與int結合,說明指針所指向的內容的類型是整型的,因此p是一個由指向整型數據的指針所組成的數組。code
5) int (*p)[3];對象
從p處開始,先與*結合,由於()的優先級最高,說明p是一個指針(與""這步能夠忽略,只是爲了改變優先級)。而後再與[]結合,說明指針所指向的內容是一個數組,而後再與int結合,說明數組裏的元素是整型的。因此p是一個指向由整型數據組成的數組的指針。
6) int **p;
從p開始,先與*結合,說明p是一個指針,而後再與*結合,說明指針所指向的元素還是指針,而後再與int結合,說明該二重指針所指向的元素是整型數據。因此p是一個指向整形數據的二級指針。因爲二級指針以及更高級的指針極少用在複雜類型中,因此後面更復雜的類型咱們就不考慮多級指針了,最多隻考慮一級指針。
7) int p(int);
從p處起,先與()結合,說明p是一個函數,而後進入()裏分析,說明該函數有一個整型變量的參數,而後再與外面的int結合,說明函數的返回值是一個整型數據。
8) int *p(int);
從p處開始,先與()結合,說明p是一個函數,而後進入()裏分析,說明該函數有一個整型變量的參數,而後再與外面的*結合,說明函數的返回值是一個指針,而後再與int結合,說明返回值的指針指向的類型爲int型。
9) int (*p)(int);
從p處開始,先與*結合,說明p是一個指針,而後與()結合,說明指針指向的是一個函數,而後進入()裏分析,說明函數有一個int型的參數,再與最外層的int結合,說明函數的返回類型是整型,因此p是一個指向有一個整型參數且返回類型爲整型的函數的指針。
10) int *(*p(int))[3];
能夠先跳過,不看這個類型,過於複雜。從p開始,先與()結合,說明p是一個函數,而後進入()裏面分析,說明函數有一個int型的參數。而後再與外面的*結合,說明函數返回的是一個指針。而後到最外面一層,先與[]結合,說明返回的指針指向的是一個數組,而後再與*結合,說明數組裏的元素是指針,而後再與int結合,說明指針指向的內容是整型數據。因此p是一個參數爲一個整數據且返回一個指向由整型指針變量組成的數組的指針變量的函數。
理解了這幾個類型,其它的類型對我們來講也是小菜了,不過咱們通常不會用太複雜的類型,那樣會大大減少程序的可讀性,請慎用,這上面的幾種類型已經足夠咱們用了。
一、理解指針
指針是一個特殊的變量,它裏面存儲的數值被解釋成爲內存裏的一個地址。 要搞清一個指針須要搞清指針的四方面的內容:
1)指針的類型
2)指針所指向的類型
3)指針的值或者叫指針所指向的內存區
4)指針自己所佔據的內存區
1.1指針的類型
從語法的角度看,你只要把指針聲明語句裏的指針名字去掉,剩下的部分就是這個指針的類型。這是指針自己所具備的類型。
(1)int*ptr; //指針的類型是int* (2)char*ptr; //指針的類型是char* (3)int**ptr; //指針的類型是int** (4)int(*ptr)[3]; //指針的類型是int(*)[3] (5)int*(*ptr)[4]; //指針的類型是int*(*)[4]
1.2指針所指向的類型
當你經過指針來訪問指針所指向的內存區時,指針所指向的類型決定了編譯器將把那片內存區裏的內容當作什麼來看待。從語法上看,你只須把指針聲明語句中的指針名字和名字左邊的指針聲明符*去掉,剩下的就是指針所指向的類型。
(1)int*ptr; //指針所指向的類型是int (2)char*ptr; //指針所指向的的類型是char (3)int**ptr; //指針所指向的的類型是int* (4)int(*ptr)[3]; //指針所指向的的類型是int()[3] (5)int*(*ptr)[4]; //指針所指向的的類型是int*()[4]
指針的類型(即指針自己的類型)和指針所指向的類型是兩個概念。當你對C愈來愈熟悉時,你會發現,把與指針攪和在一塊兒的"類型"這個概念分紅"指針的類型"和"指針所指向的類型"兩個概念,是精通指針的關鍵點之一
1.3指針的值或者叫指針所指向的內存區或地址
指針的值是指針自己存儲的數值,這個值將被編譯器看成一個地址,而不是一個通常的數值。在32位程序裏,全部類型的指針的值都是一個32位整數,由於32位程序裏內存地址全都是32位長。 指針所指向的內存區就是從指針的值所表明的那個內存地址開始,長度爲sizeof(指針所指向的類型)的一片內存區。之後,咱們說一個指針的值是XX,就至關於說該指針指向了以XX爲首地址的一片內存區域;咱們說一個指針指向了某塊內存區域,就至關於說該指針的值是這塊內存區域的首地址。
指針所指向的內存區和指針所指向的類型是兩個徹底不一樣的概念。如"int *ptr;",指針所指向的類型已經有了,但因爲指針還未初始化,因此它所指向的內存區是不存在的,或者說是無心義的。
1.4指針自己所佔據的內存區
指針自己佔了多大的內存?你只要用函數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個單元,因此每次循環都能訪問數組的下一個單元。
再看例子:
char a[20]="You_are_a_girl"; int *ptr=(int *)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個字節。
下面再舉一個例子:
#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); }
誤區一、輸出答案爲Y和o,誤解:ptr是一個char的二級指針,當執行"ptr++;"時,會使指針加一個sizeof(char),因此輸出如上結果,這個可能只是少部分人的結果。
誤區二、輸出答案爲Y和a,誤解:ptr指向一個char*類型,當執行"ptr++;"時,會使指針加一個sizeof(char*)(有可能會有人認爲這個值爲1,那就會獲得誤區一的答案。這個值應該是4,參考前面內容), 即&p+4。那進行一次取值運算不就指向數組中的第五個元素了嗎?那輸出的結果不就是數組中第五個元素了嗎?答案是否認的。
正解: 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,b; int array[10]; int *pa; int *pb; int **ptr; pa=&a; //&a是一個指針表達式 ptr=&pa; //&pa也是一個指針表達式 *ptr=&b; //*ptr和&b都是指針表達式 pa=array; pa++; //這也是指針表達式 pb=*ptr; //*parr是指針表達式 pb=*(ptr+1); //*(ptr+1)是指針表達式
因爲指針表達式的結果是一個指針,因此指針表達式也具備指針所具備的四個要素:指針的類型,指針所指向的類型,指針指向的內存區,指針自身佔據的內存。 當一個指針表達式的結果指針已經明確地具備了指針自身佔據的內存的話,這個指針表達式就是一個左值,不然就不是一個左值。
在上面例子中,&a不是一個左值,由於它尚未佔據明確的內存。*ptr是一個左值,由於*ptr這個指針已經佔據了內存,其實*ptr就是指針pa,既然pa已經在內存中有了本身的位置,那麼*ptr固然也有了本身的位置。
四、指針和數組
數組的數組名其實能夠看做一個指針。看下例:
int array[10] = {0,1,2,3,4,5,6,7,8,9}; int 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"}; 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,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。
int array[10]; int (*ptr)[10]; ptr=&array;
上例中ptr是一個指針,它的類型是int(*)[10],他指向的類型是int[10] ,咱們用整個數組的首地址來初始化它。在語句"ptr=&array"中,array表明數組自己。
五、指針和結構體
能夠聲明一個指向結構類型對象的指針。
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是不一樣的。
1)請問怎樣經過指針ptr來訪問ss的三個成員變量?
答案:
ptr->a; //指向運算符,或者能夠這樣寫(*ptr).a,建議使用前者
ptr->b;
ptr->c;
2)請問怎樣經過指針pstr來訪問ss的三個成員變量?
答案:
*pstr; //訪問了ss的成員a。
*(pstr+1); //訪問了ss的成員b。
*(pstr+2); //訪問了ss的成員c。
要知道,這樣使用pstr來訪問結構成員是不正規的。即不能將結構體強轉成指針訪問。在存放結構對象的各個成員時,在某種編譯環境下,可能會須要字對齊或雙字對齊或者是別的什麼對齊,須要在相鄰兩個成員之間加若干個"填充字節",這就致使各個成員之間可能會有若干個字節的空隙。"*(pstr+1);"可能恰好訪問了這個空隙。
六、指針和函數
1)能夠把一個指針聲明成爲一個指向函數的指針。
int fun1(char *,int); int (*pfun1)(char *,int); pfun1=fun1; int a=(*pfun1)("abcdefg",7); //經過函數指針調用函數。
2)能夠把指針做爲函數的形參。在函數調用語句中,能夠用指針表達式來做爲實參。
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。二者不一致,直接賦值的方法是不行的。爲了實現咱們的目的,須要進行強制類型轉換:"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位整數。那可不能夠把一個整數看成指針的值直接賦給指針呢?就象下面的語句:
unsigned int a; TYPE *ptr; //TYPE是int,char或結構類型等等類型 a=N; //N必須表明一個合法的地址 ptr=(TYPE*)a;
嚴格說來這裏的(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所指向的存儲區時是不安全的。