深入解析函數指針與返回函數的指針

以下是對函數指針與返回函數的指針進行了詳細的分析介紹，需要的朋友可以過來參考下  

先看看以下兩個代碼：
1:出自STL-SGI源碼<stl_alloc.h>

復制代碼 代碼如下:
static void (*__set_malloc_handler(void (*__f)()))()
{
 void (*__old)()=__malloc_alloc_oom_handler;
 __malloc_alloc_oom_handler=__f;
 return (__old);
}

2:Linux下的<sginal.h>

復制代碼 代碼如下:
void (*signal (int sig_num, void (*handler)(int))) (int) 

作為一個C/C++高手也許一看就明白，下面來分析一下，分析的方法采用的是從裡向外的分析法

對於例子1分析如下：
1)最裡面是void (*_f)()說明_f是一個指針，與右邊的()結合，說明其是一個函數，在與最左邊的void結合，表明其是一個函數指針。

2)用typedef對void (*_f)()進行一下定義，方便後面的分析

Typedef void (*F)()

3)於是上面的代碼可以變成如下的形式
Static void (*__set_malloc_handler(F f))()

4)再從裡向外分析__set_malloc_handler(F f)先與()結合表明其是一個函數，參數類型為F f,再於左邊的*結合，表明函數返回的是一個指針類型，即static void (*)()，因此是一個函數指針

5)綜上可以得到代碼函數名為__set_malloc_handler，接受一個返回值為空，參數為空的函數指針作為參數，最後返回一個函數指針，該指針同樣返回值與參數均為空，很繞口:)

對於例子2分析如下
1)從裡向外裡面是void (* handler)(int)看過列子1，很容易知道這是一個函數指針，返回值為空，參數為空

2)對void (*handler)(int)進行宏定義，以方便理解
Typedef void (*Handle)(int)

3)於是函數就變成了void (*signal(intsig_num,Handler handler))(int)

4)從裡向外分析signal(int sig_num,Handlerhandler)是一個函數，帶兩個參數，返回值是*,即是一個指針，返回值為void(*)(int)同樣是一個Handler類型的函數指針

5)綜上所述，代碼2的函數名是signal,接受兩個參數，返回一個Handler類型的函數指針。

其他代碼的分析類似，如下幾例:

復制代碼 代碼如下:
1:void *(*(*f)(int))[10];
分析如下(*(*f)(int)->void *(*)[10]
2:void *(*f)(int)[10]
分析如下(*f)(int)->void *[10]

還有一些基本上都是類似的變形