參考文章:
C++指針詳解 C++指針注意事項 數組指針和指針數組的區別 int (*a)[10] 和 int *a[10] 的區別
把指針聲明語句里的指針名字去掉,剩下的部分就是這個指針的類型。這是指針本身所具有的類型
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越來越熟悉時,你會發現,把與指針攪和在一起的“類型”這個概念分成“指針的類型”和“指針所指向的類型”兩個概念,是精通指針的關鍵點之一。我看了不少書,發現有些寫得差的書中,就把指針的這兩個概念攪在一起了,所以看起書來前后矛盾,越看越糊涂。
總結:有關指針的數據類型
變量定義 | 類型表示 | 含義 |
---|---|---|
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[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<20;i++) { (*ptr)++; ptr++; }這個例子將整型數組中各個單元的值加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 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所指向的類型)個字節。
進一步舉例:
再看一個示例:
/*—————————————————————————————— 示例05: 關于 指針與 數組 2 ——————————————————————————————*/ int array[20]; int *ptr=array; for(int i=0;i<20;i++) // 給數組賦初始值 { array[i] = i; cout << array[i] << " "; } cout << endl; for(int i=0;i<20;i++) // 【利用指針】給數組array的每一項 +1 { (*ptr)++; ptr++; } for(int i=0;i<20;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=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類型的變量。一個表達式的最后結果如果是一個指針,那么這個表達式就叫指針表達式。下面是一些指針表達式的例子: 示例6:
int a,b; int array[10]; int *pa; pa=&a;//&a是一個指針表達式。 int **ptr=&pa;//&pa也是一個指針表達式。 *ptr=&b;//*ptr和&b都是指針表達式。 pa=array; pa++;//這也是指針表達式。示例7:
char *arr[20]; char **parr=arr;//如果把arr看作指針的話,arr也是指針表達式 char *str; str=*parr;//*parr是指針表達式 str=*(parr+1);//*(parr+1)是指針表達式 str=*(parr+2);//*(parr+2)是指針表達式由于指針表達式的結果是一個指針,所以指針表達式也具有指針所具有的四個要素: 1.指針的類型, 2.指針所指向的類型, 3.指針指向的內存區, 4.指針自身占據的內存。
當一個指針表達式的結果指針已經明確地具有了指針自身占據的內存的話,這個指針表達式就是一個左值,否則就不是一個左值。 在 示例6 中,&a不是一個左值,因為它還沒有占據明確的內存。*ptr是一個左值,因為*ptr這個指針已經占據了內存,其實*ptr就是指針pa,既然pa已經在內存中有了自己的位置,那么*ptr當然也有了自己的位置。
數組的數組名其實可以看作一個指針。
示例8:
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的類型即int】。因此*array等于0就一點也不奇怪了。同理,array+3是一個指向數組第3個單元的指針,所以*(array+3)等于3。其它依此類推。
示例9:
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函數測出的是整個數組的大小。
參考:關于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[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(對象)測出的都是對象自身的類型的大小,而不是別的什么類型的大小
再來看一個sizeof()的示例:
/*—————————————————————————————— 示例06: 關于指針與數組 3 ——————————————————————————————*/ int array[10] ={0,1,2,3,4,5,6,7,8,9}; int array2[10]={9,8,7,6,5,4,3,2,1,0}; int *parray[10]; // 指針類型:int * [10];指針所指向的類型 int [10]。parray 是一個指向指針數組首地址的指針 int (*parray2)[10] ; // 指針類型:int (*)[10];指針所指向的類型int ()[10]。parray2是一個指向數組的指針 。 parray[0] = array; // 將指針數組的第一個指針地址指向了 array的首地址 parray[1] = array2; // 將指針數組的第二個 指針地址指向了 array2的首地址 //parray = &array; // error:這個賦值就是錯誤,因為parray是一個指針數組 parray2 = &array2; // parray2的指針類型是int (*)[10] ,指針所指向的類型:int ()[10],現在它指向了 array2 cout <<" 常數0的 sizeof(0) :"<< sizeof(0)<<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+0)<< endl; cout <<"數組指針parray的 sizeof(parray) :"<< sizeof(parray) << endl; cout <<"指針parray[0]的 sizeof(parray[0]):"<< sizeof(parray[0]) << endl; cout <<"指向數組int()[10]的指針parray2的 sizeof(parray2) :"<< sizeof(parray2) << endl << endl; // sizeof(指針數組) cout <<" sizeof( int *[10]) :"<< sizeof(int *[10]) << endl; cout <<" sizeof( char *[10]) :"<< sizeof(char *[10]) << endl; cout <<" sizeof(double *[10]) :"<< sizeof(double *[10]) << endl; // sizeof(指向數組的指針) cout <<" sizeof( int (*)[10]) :"<< sizeof(int (*)[10]) << endl; cout <<" sizeof( char (*)[10]) :"<< sizeof(char (*)[10]) << endl; cout <<" sizeof(double (*)[10]) :"<< sizeof(double (*)[10]) << endl; cout <<"是不是找到了一些規律 :) "<< endl << endl; cout <<"取數組array2的第一個元素的值 *array2 :"<< *array2 << endl; cout <<"取數組array2的第一個元素的地址 &array2 :"<< &array2 << endl; cout <<"指針表達式 array+0 代表array的首個數組元素的地址 :"<< array+0 << 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+1) << endl; cout << *(parray+1) << endl; cout << **(parray+1) << endl; cout <<"指針表達式 parray[0] 代表 組指針int *[10]的首個單元所指向的地址 :"<< parray[0] << endl; // *parray == parray[0] == array+0 == &array cout <<"指針表達式 parray[1] 代表 組指針int *[10]的第二個單元所指向的地址:"<< parray[1] << endl; // *(parray+1) == parray[1] == array2+0 == &&array cout <<"指針表達式 parray2 代表int()[10]整型數組的首地址 :"<< parray2 << endl; // // 這四個表達式都表示 獲取數組array所在的首地址 cout << *parray << endl; cout << parray[0]<< endl; cout << array+0 << endl; cout << &array << endl;請問怎樣通過指針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);//通過函數指針調用函數。可以把指針作為函數的形參。在函數調用語句中,可以用指針表達式來作為實參。
新聞熱點
疑難解答
圖片精選