函數指針
一個函數在編譯時被分配一個入口地址,將這個入口地址稱為函數的指針,可
以用一個指針變量指向該函數指針,然后通過該變量來調用函數。
有關說明:
1、函數指針的聲明格式:
函數返回值類型(*指針變量名)(參數類型列表)
或者是:
typedef 函數返回值類型?。ǎ羔樧兞棵▍殿愋土斜恚?span lang="EN-US">
2、一個函數指針只能指向一種類型的函數,即具有相同的返回值和相同的參
數的函數
?。?、關于函數指針的加減運算沒有意義
函數指針數組定義:
函數定義:
void fun1(void *p);
void fun2(void *p);
void fun3(void *p);
函數指針數組定義:
void(*fun[3])(void*);//typedef void(*pfun)(void*);pfun fun[3];
指針賦值:
fun[0] = fun1;
fun[1] = fun2;
fun[2] = fun3;
函數調用:
fun[0](&a); //int a;
fun[1](&b); //int b;
fun[3](&c); //int c;
聲明一個指向成員函數的指針
一個指向成員函數的指針包括成員函數的返回類型,帶::符號的類名稱,函數參數表。雖然這一語法看似復雜,其實它和普通的指針是一樣的。指向外部函數的指針可如下聲明:
void (*pf)(char *, const char *);
void strcpy(char * dest, const char * source);
pf=strcpy;
相應指向類A的成員函數的指針如下表示:
void (A::*pmf)(char *, const char *);
以上pmf是指向類A的一個成員函數的指針,傳遞兩個變量char *和 const char *,沒有返回值。注意星號前面的A::符號,這和前面的聲明是一致的。
賦值
為了給一個指向成員函數的指針賦值,可以采用成員函數名并再其前面加一個&的方式
使用typedef
你可以使用typedef來隱藏一些指向成員函數的復雜指針。例如,下面的代碼定義了一個類A中的成員函數的指針PMA,并傳遞char *和const char *參數。
typedef void(A::*PMA)(char *, const char *);
PMA pmf= &A::strcat; // use a typedef to define a pointer to member
使用typedef特別有用,尤其是對于指向成員函數的數組指針。
■ void類型的指針
void含義:
void是“無類型”,void*則為無類型指針,void*可以指向任何類型的數據。
void a;//此變量沒有任何實際意義,無法編譯通過“illegal use of type”
void 的作用:
1、對程序返回的限定
2、對函數參數的限定
我們知道,如何指針p1和p2的類型相同,那么我們可以直接在p1和p2間賦值,如果不同,必須使用強制類型轉換。
如:float *p1; int *p2;
若:p1 = p2; 編譯出錯:“can not covert from int* to float*”
必須為:p1 = (float*)p2;
而void*不同,任何類型的指針都可以直接賦為它,不需要強制類型轉換:
如:void *p1; int *p2;
可作:p1 =p2;
無類型可以包容有類型,有類型不能包容無類型:
必須為:p2 = (int*)p1;
viod 和 void*使用規則總結:
● 如果函數沒有返回值,那么應聲明為void類型
在C語言中,凡不加返回值類型限定的函數,就會被編譯器作為返回整型值處理。但是許多程序員卻誤以為其為void類型. 林銳博士《高質量C/C++編程》中提到:“C++語言有很嚴格的類型安全檢查,不允許上述情況(指函數不加類型聲明)發生”??墒蔷幾g器并不一定這么認定,譬如在Visual C++6.0中上述add函數的編譯無錯也無警告且運行正確,所以不能寄希望于編譯器會做嚴格的類型檢查。
因此,為了避免混亂,我們在編寫C/C++程序時,對于任何函數都必須一個不漏地指定其類型。如果函數沒有返回值,一定要聲明為void類型。這既是程序良好可讀性的需要,也是編程規范性的要求。另外,加上void類型聲明后,也可以發揮代碼的“自注釋”作用。代碼的“自注釋”即代碼能自己注釋自己。
● 如果函數無參數,那么應聲明其參數為void
● 小心使用void指針類型
按照ANSI的標準,不能對void指針進行算法操作,即下列操作是不合法的:
void *pvoid;
pvoid ++; //ansi錯誤
pvoid += 1; //ansi 錯誤
ansi標準之所以這樣認定,是因為它堅持,進行算法操作的指針必須是確定知道其指向數據類型的大小的。
但GUN(GUN’s Not Unix)則不這么認為,它指定void*的算法操作與char*一致。因此在GUN編譯器中上述語句是正確的。
在實際的程序中,為了迎合ansi標準,并提高程序的可移植性,我們可以這樣實現同樣功能的代碼:
void *pvoid;
(char*)pvoid++;
(char*)pvoid += 1;
● 如果函數的參數可以是任意類型指針,那么應聲明其參數為void *
典型的如內存操作函數memcpy和memset的函數原型分別為:
void* memcpy(void *dest, const void *src, size_t len);
void* memset(void *buffer,int c, size_t num);
這樣,任何類型的指針都可以傳入memcpy和memset中,這也真實地體現了內存操作函數的意義,因為它操作的對象僅僅是一片內存,而不論內存是什類型。
● void不能代表一個真實的變量
void a; //錯誤
function(void a); //錯誤
■ this指針
《深入淺出MFC》中解釋:
定義類CRect,定義兩個對象rect1、rect2,各有自己的m_color成員變量,但rect1.setcolor和rect2.setcolor卻都是通往唯一的CRect::setcolor成員函數,那么CRect::setcolor如何處理不同對象的m_color?答案是由一個隱藏參數,名為this指針。當你調用:
rect1.setcolro(2);
rect2.setcolor(3);
時,編譯器實際上為你做出來一下的代碼:
CRect::setcolor(2,(CRect*)&rect1);
CRect::setcolor(3,(CRect*)&rect2);
多出來的參數,就是所謂的this指針。
class CRect
{
……
public:
void setcolor(int color){m_color = color};
};
被編譯后,其實為:
class CRect
{
……
public:
void setcolor(int color,(CRect*)this){this->m_color = color};
};