又在函數指針上面犯錯了？
加入技術(shù)交流群
一直覺(jué)得C語(yǔ)言較其他語(yǔ)言最偉大的地方就是C語(yǔ)言中的指針，有些人認為指針很簡(jiǎn)單，而有些人認為指針很難，當然這里的對簡(jiǎn)單和難并不是等價(jià)于對指針的理解程度。
本文引用地址：http://dyxdggzs.com/article/202407/461299.htm為此在這里對C語(yǔ)言中的指針進(jìn)行全面的總結，從底層的內存分析，徹底讓讀者明白指針的本質(zhì)。
建議大家靜下心來(lái)再復習一遍。
1 指針變量
首先讀者要明白指針是一個(gè)變量，為此作者寫(xiě)了如下代碼來(lái)驗證之：
#include "stdio.h"
int main(int argc, char **argv){
unsigned int a = 10;
unsigned int *p = NULL;
p = &a;
printf("&a=%dn",a);
printf("&a=%dn",&a);
*p = 20;
printf("a=%dn",a);
return 0;
}
運行后可以看到a的值被更改了，上面的例子可以清楚的明白指針實(shí)質(zhì)上是一個(gè)放置變量地址的特殊變量，其本質(zhì)仍然是變量。
既然指針是變量，那必然會(huì )有變量類(lèi)型，因此這里必須對變量類(lèi)型做解釋。在C語(yǔ)言中，所有的變量都有變量類(lèi)型，整型、浮現型、字符型、指針類(lèi)型、結構體、聯(lián)合體、枚舉等，這些都是變量類(lèi)型。
變量類(lèi)型的出現是內存管理的必然結果，相信讀者知道，所有的變量都是保存在計算機的內存中，既然是放到計算機的內存中，那必然會(huì )占用一定的空間。
問(wèn)題來(lái)了，一個(gè)變量會(huì )占用多少空間呢，或者說(shuō)應該分出多少內存空間來(lái)放置該變量呢？
為了規定這個(gè)，類(lèi)型由此誕生了，對于32位編譯器來(lái)說(shuō)，int類(lèi)型占用4個(gè)字節，即32位，long類(lèi)型占用8字節，即64位。
這里簡(jiǎn)單說(shuō)了類(lèi)型主要是為后面引出指針這個(gè)特殊性，在計算機中，將要運行的程序都保存在內存中，所有的程序中的變量其實(shí)就是對內存的操作。
計算機的內存結構較為簡(jiǎn)單，這里不詳細談?wù)搩却娴奈锢斫Y構，只談?wù)搩却婺Ｐ汀?/p>
將計算機的內存可以想象為一個(gè)房子，房子里面居住著(zhù)人，每一個(gè)房間對應著(zhù)計算機的內存地址，內存中的數據就相當于房子里的人。
既然指針也是一個(gè)變量，那個(gè)指針也應該被存放在內存中，對于32位編譯器來(lái)說(shuō)，其尋址空間為2^32=4GB，為了能夠都操作所有內存（實(shí)際上普通用戶(hù)不可能操作所有內存），指針變量存放也要用32位數即4個(gè)字節。
這樣就有指針的地址&p，指針和變量的關(guān)系可以用如下圖表示：
從上圖可以看到&p是指針的地址，用來(lái)存放指針p，而指針p來(lái)存放變量a的地址，也就是&a，還有一個(gè)*p在C語(yǔ)言中是解引，意思是告訴編譯器取出該地址存放的內容。
上面提到過(guò)關(guān)于指針類(lèi)型的問(wèn)題，針對32位編譯器而言，既然任何指針都只占用4個(gè)字節，那為何還需要引入指針類(lèi)型呢？
僅僅是為了約束相同類(lèi)型的變量么？實(shí)際上這里不得不提到指針操作，先思考如下兩個(gè)操作：
上面兩個(gè)操作的意思是不同的，先說(shuō)下第一種：p+1操作，如下圖所示：
對于不同類(lèi)型指針而言，其p+1所指向的地址不同，這個(gè)遞增取決于指針類(lèi)型所占的內存大小，而對于((unsigned int)p)+1。
該意思是將地址p所指向的地址的值直接轉換為數字，然后+1，這樣無(wú)論p是何種類(lèi)型的指針，其結果都是指針所指的地址后一個(gè)地址。
從上述可以看到，指針的存在使得程序員可以相當輕松的操作內存，這也使得當前有些人認為指針相當危險，這一觀(guān)點(diǎn)表現在C#和Java語(yǔ)言中，然而實(shí)際上用好指針可以極大的提高效率。
下面深入一點(diǎn)來(lái)通過(guò)指針對內存進(jìn)行操作，現在我們需要對內存6422216中填入一個(gè)數據125，我們可以如下操作：
unsigned int *p=(unsigned int*)(6422216);
*p=125;
當然，上面的代碼使用了一個(gè)指針，實(shí)際上C語(yǔ)言中可以直接利用解引操作對內存進(jìn)行更方便的賦值，下面說(shuō)下解引操作*。
2 解引用
所謂解引操作，實(shí)際上是對一個(gè)地址操作，比如現在想將變量a進(jìn)行賦值，一般操作是a=125，現在我們用解引操作來(lái)完成，操作如下：
*(&a)=125;
上面可以看到解引操作符為*，這個(gè)操作符對于指針有兩個(gè)不同的意義，當在申明的時(shí)候是申明一個(gè)指針，而當在使用p指針時(shí)是解引操作，解引操作右邊是一個(gè)地址，這樣解引操作的意思就是該地址內存中的數據。這樣我們對內存6422216中填入一個(gè)數據125就可以使用如下操作：
*(unsigned int*)(6422216)=125;
上面需要將6422216數值強制轉換為一個(gè)地址，這個(gè)是告訴編譯器該數值是一個(gè)地址。值得注意的是上面的所有內存地址不能隨便指定，必須是計算機已經(jīng)分配的內存，否則計算機會(huì )認為指針越界而被操作系統殺死即程序提前終止。
3 結構體指針
結構體指針和普通變量指針一樣，結構體指針只占4個(gè)字節（32位編譯器），只不過(guò)結構體指針可以很容易的訪(fǎng)問(wèn)結構體類(lèi)型中的任何成員，這就是指針的成員運算符->。
上圖中p是一個(gè)結構體指針，p指向的是一個(gè)結構體的首地址，而p->a可以用來(lái)訪(fǎng)問(wèn)結構體中的成員a，當然p->a和*(p)是相同的。
4 強制類(lèi)型轉換
為何要在這里提強制類(lèi)型轉換呢，上面的測試代碼可以看到編譯器會(huì )報很多警告，意思是告訴程序員數據類(lèi)型不匹配，雖然并不影響程序的正確運行，但是很多警告總會(huì )讓人感到難受。
因此為了告訴編譯器代碼這里沒(méi)有問(wèn)題，程序員可以使用強制類(lèi)型轉換來(lái)將一段內存轉換為需要的數據類(lèi)型，例如下面有一個(gè)數組a，現在將其強制轉換為一個(gè)結構體類(lèi)型stu：
#include <stdio.h>
typedef struct STUDENT
{
int name;
int gender;
}stu;
int a[100]={10,20,30,40,50};
int main(int argc, char **argv){
stu *student;
student=(stu*)a;
printf("student->name=%dn",student->name);
printf("student->gender=%dn",student->gender);
return 0;
}
上面的程序運行結果如下：
可以看到a[100]被強制轉換為stu結構體類(lèi)型，當然不使用強制類(lèi)型轉換也是可以的，只是編譯器會(huì )報警報。
上圖為程序的示意圖，圖中數組a[100]的前12個(gè)字節被強制轉換為了一個(gè)struct stu類(lèi)型，上面僅對數組進(jìn)行了說(shuō)明，其它數據類(lèi)型也是一樣的，本質(zhì)上都是一段內存空間。
5 void指針
為何在這里單獨提到空指針類(lèi)型呢？主要是因為該指針類(lèi)型很特殊。
void類(lèi)型很容易讓人想到是空的意思，但對于指針而言，其并不是指空，而是指不確定。
在很多時(shí)候指針在申明的時(shí)候可能并不知道是什么類(lèi)型或者該指針指向的數據類(lèi)型有多種再或者程序員僅僅是想通過(guò)一個(gè)指針來(lái)操作一段內存空間。這個(gè)時(shí)候可以將指針申明為void類(lèi)型。
但是問(wèn)題來(lái)了，由于void類(lèi)型原因，對于確定的數據類(lèi)型解引時(shí)，編譯器會(huì )根據類(lèi)型所占的空間來(lái)解引相應的數據，例如int p，那么p就會(huì )被編譯器解引為p指針的地址的4個(gè)字節的空間大小。
但對于空指針類(lèi)型來(lái)說(shuō)，編譯器如何知道其要解引的內存大小呢？先看一段代碼：
#include <stdio.h>
int main(int argc, char **argv){
int a=10;
void *p;
p=&a;
printf("p=%dn",*p);
return 0;
}
編譯上面的程序會(huì )發(fā)現，編譯器報錯，無(wú)法正常編譯。
這說(shuō)明編譯器確實(shí)是在解引時(shí)無(wú)法確定*p的大小，因此這里必須告訴編譯器p的類(lèi)型或者*p的大小，如何告訴呢？很簡(jiǎn)單，用強制類(lèi)型轉換即可，如下：
*(int*)p
這樣上面的程序就可以寫(xiě)為如下：
#include <stdio.h>
int main(int argc, char **argv){
int a=10;
void *p;
p=&a;
printf("p=%dn",*(int*)p);
return 0;
}
編譯運行后：
可以看到結果確實(shí)是正確的，也和預期的想法一致。由于void指針沒(méi)有空間大小屬性，因此void指針也沒(méi)有++操作。
6 函數指針
6.1 函數指針使用
函數指針在Linux內核中用的非常多，而且在設計操作系統的時(shí)候也會(huì )用到，因此這里將詳細講解函數指針。既然函數指針也是指針，那函數指針也占用4個(gè)字節（32位編譯器）。
下面以一個(gè)簡(jiǎn)單的例子說(shuō)明：
#include <stdio.h>
int add(int a,int b){
return a+b;
}
int main(int argc, char **argv){
int (*p)(int,int);
p=add;
printf("add(10,20)=%dn",(*p)(10,20));
return 0;
}
程序運行結果如下：
可以看到，函數指針的申明為：
函數指針的解引操作與普通的指針有點(diǎn)不一樣。
對于普通的指針而言，解引只需要根據類(lèi)型來(lái)取出數據即可，但函數指針是要調用一個(gè)函數，其解引不可能是將數據取出，實(shí)際上函數指針的解引本質(zhì)上是執行函數的過(guò)程，只是這個(gè)執行函數是使用的call指令并不是之前的函數，而是函數指針的值，即函數的地址。
其實(shí)執行函數的過(guò)程本質(zhì)上也是利用call指令來(lái)調用函數的地址，因此函數指針本質(zhì)上就是保存函數執行過(guò)程的首地址。函數指針的調用如下：
為了確認函數指針本質(zhì)上是傳遞給call指令一個(gè)函數的地址，下面用一個(gè)簡(jiǎn)單例子說(shuō)明：
上面是編譯后的匯編指令，可以看到，使用函數指針來(lái)調用函數時(shí)，其匯編指令多了如下：
0x4015e3 mov DWORD PTR [esp+0xc],0x4015c0
0x4015eb mov eax,DWORD PTR [esp+0xc]
0x4015ef call eax
分析：第一行mov指令將立即數0x4015c0賦值給寄存器esp+0xc的地址內存中，然后將寄存器esp+0xc地址的值賦值給寄存器eax(累加器），然后調用call指令，此時(shí)pc指針將會(huì )指向add函數，而0x4015c0正好是函數add的首地址，這樣就完成了函數的調用。
細心的讀者是否發(fā)現一個(gè)有趣的現象，上述過(guò)程中函數指針的值和參數一樣是被放在棧幀中，這樣看起來(lái)就是一個(gè)參數傳遞的過(guò)程。
因此可以看到，函數指針最終還是以參數傳遞的形式傳遞給被調用的函數，而這個(gè)傳遞的值正好是函數的首地址。
從上面可以看到函數指針并不是和一般的指針一樣可以操作內存，因此作者覺(jué)得函數指針可以看作是函數的引用申明。
6.2 函數指針應用
在linux驅動(dòng)面向對象編程思想中用的最多，利用函數指針來(lái)實(shí)現封裝，下面以一個(gè)簡(jiǎn)單的例子說(shuō)明：
#include <stdio.h>
typedef struct TFT_DISPLAY
{
int pix_width;
int pix_height;
int color_width;
void (*init)(void);
void (*fill_screen)(int color);
void (*tft_test)(void);
}tft_display;
static void init(void){
printf("the display is initialedn");
}
static void fill_screen(int color){
printf("the display screen set 0x%xn",color);
}
tft_display mydisplay=
{
.pix_width=320,
.pix_height=240,
.color_width=24,
.init=init,
.fill_screen=fill_screen,
};
int main(int argc, char **argv){
mydisplay.init();
mydisplay.fill_screen(0xfff);
return 0;
}
上面的例子將一個(gè)tft_display封裝成一個(gè)對象，上面的結構體成員中最后一個(gè)沒(méi)有初始化，這在Linux中用的非常多。
最常見(jiàn)的是file_operations結構體，該結構體一般來(lái)說(shuō)只需要初始化常見(jiàn)的函數，不需要全部初始化。
上面代碼中采用的結構體初始化方式也是在Linux中最常用的一種方式，這種方式的好處在于無(wú)需按照結構體的順序一對一。
6.3 回調函數
有時(shí)候會(huì )遇到這樣一種情況，當上層人員將一個(gè)功能交給下層程序員完成時(shí)，上層程序員和下層程序員同步工作，這個(gè)時(shí)候該功能函數并未完成，這個(gè)時(shí)候上層程序員可以定義一個(gè)API來(lái)交給下層程序員。
而上層程序員只要關(guān)心該API就可以了而無(wú)需關(guān)心具體實(shí)現，具體實(shí)現交給下層程序員完成即可（這里的上層和下層程序員不指等級關(guān)系，而是項目的分工關(guān)系）。
這種情況下就會(huì )用到回調函數（Callback Function），現在假設程序員A需要一個(gè)FFT算法，這個(gè)時(shí)候程序員A將FFT算法交給程序員B來(lái)完成，現在來(lái)讓實(shí)現這個(gè)過(guò)程：
#include <stdio.h>
int InputData[100]={0};
int OutputData[100]={0};
void FFT_Function(int *inputData,int *outputData,int num){
while(num--)
{
}
}
void TaskA_CallBack(void (*fft)(int*,int*,int)){
(*fft)(InputData,OutputData,100);
}
int main(int argc, char **argv){
TaskA_CallBack(FFT_Function);
return 0;
}
上面的代碼中TaskA_CallBack是回調函數，該函數的形參為一個(gè)函數指針，而FFT_Function是一個(gè)被調用函數。
可以看到回調函數中申明的函數指針必須和被調用函數的類(lèi)型完全相同。
版權聲明：本文來(lái)源網(wǎng)絡(luò )，免費傳達知識，版權歸原作者所有。如涉及作品版權問(wèn)題，請聯(lián)系我進(jìn)行刪除。
評論