1. 程式人生 > >c語言指標進階(一)

c語言指標進階(一)

指標也是一種資料型別

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

1)指標是一種變數,佔有記憶體空間,用來儲存記憶體地址

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

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

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

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

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

#include<stdio.h>
void main()
{
int a;
char *p1 ;
char ****p2 ;
printf("a:%d,p1:%d,p2:%d",sizeof(a),sizeof(p1),sizeof(p2));
}

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

想具體深入的瞭解指標的長度是多少看這篇博文指標長度解

2)*p操作記憶體

在指標宣告時,*表示所宣告的變數是指標

在指標使用時,*表示 操作指標所指向的記憶體空間的值

*p相當於通過地址(變數p的值)找到一塊記憶體;然後操作記憶體

*p等號的左邊賦值(從記憶體賦值)*p = 10;

*p放在等號的右邊取值(從記憶體獲取值) int a = *p;

要保證所指的記憶體塊能修改 例如

#include<stdio.h>
char *f()
{
char *p1 = NULL;
p1 = "AB";
return p1;
}
void main()
{
char *p2;
p2 = f();
printf("a:%s",p2);
}

此時會出現宕機

這是為什麼呢 因為abcd存在全域性區 全域性區由作業系統保護 我們無法直接訪問修改

對於全域性區不明白的看這篇https://blog.csdn.net/viafcccy/article/details/84583386

3)指標也是一種資料型別,是指它指向的記憶體空間的資料型別

指標的步長就是一個指標與它下一個指標的距離

指標的步長(p++),根據它所指記憶體空間的資料型別來決定

指標的步長就是一個指標與它下一個指標的距離

指標的步長(p++),根據它所指記憶體空間的資料型別來決定

建立指標指向誰,就把誰的地址賦值給指標

不斷的給指標變數賦值,就是不斷的改變指標變數(和所指的記憶體空間沒有關係)

 

指標的型別和指標所指向的型別

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越來越熟悉時,你會發現,把與指標攪和在一起的“型別”這個概念分成“指標的型別”和“指標所指向的型別”兩個概念,是精通指標的關鍵點之一 你不斷的修改指標只是將指標指向別的記憶體空間但是與記憶體空間裡的資料沒有關係

 

 

關於野指標

看這樣一個程式碼

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
void main()
{
char *p1 = NULL;
p1 = (char*)malloc(100);
if (p1 == NULL)
{
    return ;
}
strcpy(p1,"111222");
printf("p1:%s\n",p1);
if (p1 != NULL)
{
	free(p1); 
}

if (p1 != NULL)
{
    free(p1);
}
}

程式執行時會宕機是因為 首先第一遍釋放只是將p1指向的記憶體空間釋放 但是p1還是存放著那塊記憶體空間的地址 但是記憶體空間已經被釋放 更改所以第二次再次要求將這塊記憶體擦除時就會出問題

我們應該這樣釋放指標

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
void main()
{
char *p1 = NULL;
p1 = (char*)malloc(100);
if (p1 == NULL)
{
    return ;//注意這裡檢測p1是否為NULL,如果為NULL函式直接返回
}
strcpy(p1,"111222");//如果是NULL程式會報錯
printf("p1:%s\n",p1);
if (p1 != NULL)
{
	free(p1); //將p1所指的記憶體空間釋放
	p1 = NULL;//將棧中指標變數p1的記憶體空間釋放
}
}

我們要注意的是指標一定要指向記憶體(開闢一個記憶體給它)才可以向所指向的記憶體賦值

雖說這句話有點像廢話但是我們會常常寫錯 看下面兩個程式例 

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
void main()
{
char *p1 = NULL;
//p1 = (char*)malloc(100);
if (p1 == NULL)
{
    return ;
}
strcpy(p1,"111222");
printf("p1:%s\n",p1);
if (p1 != NULL)
{
	free(p1); 
	p1 = NULL;
}

if (p1 != NULL)
{
    free(p1);
    p1 = NULL;
}
}	

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
void main()
{
char *p1 = NULL;
/*p1 = (char*)malloc(100);
if (p1 == NULL)
{
    return ;
}*/
strcpy(p1,"111222");
printf("p1:%s\n",p1);
if (p1 != NULL)
{
	free(p1); 
	p1 = NULL;
}

if (p1 != NULL)
{
    free(p1);
    p1 = NULL;
}
}	

 

此時程式正常執行 ,這個同樣要求我們要注意指標和指標所指的記憶體空間的概念要清晰

 

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

 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,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的運算結果是一個指標

#include<stdio.h>
void main()
{
int a;
int *p3 =NULL;
p3 = &a;
*p3 = 20;
printf("a:%d",a);
}

*是代表指向,簡單說*a就代表指標a指向的內容

例五:  

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當然也有了自己的位置。

陣列和指標的關係
如果對宣告陣列的語句不太明白的話,請參閱我前段時間貼出的文章<<如何理解c和c++的複雜型別宣告>>。 陣列的陣列名其實可以看作一個指標。看下例:  

例八:  

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中的a的指標。但是它的型別和它指向的型別和ptr是不同的。

請問怎樣通過指標ptr來訪問ss的三個成員變數?時刻牢記ptr指向的是整個結構體而pstr指向的是結構體中的a

 

答案:  

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);//通過函式指標呼叫函式。  
可以把指標作為函式的形參。在函式呼叫語句中,可以用指標表示式來作為實參。