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