返回函式指標的函式

顧名思義，指標函式即返回指標的函式。其一般定義形式如下：

型別名*函式名(函式引數表列);

其中，字尾運算子括號「()」表示這是乙個函式，其字首運算子星號「*」表示此函式為指標型函式，其函式值為指標，即它帶回來的值的型別為指標，當呼叫這個函式後，將得到乙個「指向返回值為…的指標（位址），「型別名」表示函式返回的指標指向的型別」。

「(函式引數表列)」中的括號為函式呼叫運算子，在呼叫語句中，即使函式不帶引數，其參數列的一對括號也不能省略。其示例如下：

int *pfun(int, int);

由於「*」的優先順序低於「()」的優先順序，因而pfun首先和後面的「()」結合，也就意味著，pfun是乙個函式。即：

int *(pfun(int, int));

接著再和前面的「*」結合，說明這個函式的返回值是乙個指標。由於前面還有乙個int，也就是說，pfun是乙個返回值為整型指標的函式。

我們不妨來再看一看，指標函式與函式指標有什麼區別？

int (*pfun)(int, int);

通過括號強行將pfun首先與「*」結合，也就意味著，pfun是乙個指標，接著與後面的「()」結合，說明該指標指向的是乙個函式，然後再與前面的int結合，也就是說，該函式的返回值是int。由此可見，pfun是乙個指向返回值為int的函式的指標。

雖然它們只有乙個括號的差別，但是表示的意義卻截然不同。函式指標的本身是乙個指標，指標指向的是乙個函式。指標函式的本身是乙個函式，其函式的返回值是乙個指標。

在上面提到的指標函式裡面，有這樣一類函式，它們也返回指標型資料（位址），但是這個指標不是指向int、char之類的基本型別，而是指向函式。對於初學者，別說寫出這樣的函式宣告，就是看到這樣的寫法也是一頭霧水。比如,下面的語句：

int (*ff(int))(int *, int);

我們用上面介紹的方法分析一下，ff首先與後面的「

()」結合，即：

int (*(ff(int)))(int *, int); // 用括號將ff(int)再括起來

也就意味著，ff是乙個函式。

接著與前面的「

*」結合，說明ff函式的返回值是乙個指標。然後再與後面的「

()」結合，也就是說，該指標指向的是乙個函式。

這種寫法確實讓人非常難懂，以至於一些初學者產生誤解，認為寫出別人看不懂的**才能顯示自己水平高。而事實上恰好相反，能否寫出通俗易懂的**是衡量程式設計師是否優秀的標準。一般來說，用typedef關鍵字會使該宣告更簡單易懂。在前面我們已經見過：

int (*pf)(int *, int);

也就是說，pf是乙個函式指標「變數」。當使用typedef宣告後，則pf就成為了乙個函式指標「型別」，即：

typedef int (*pf)(int *, int);

這樣就定義了返回值的型別。然後，再用pf作為返回值來宣告函式:

pf ff(int);