先看看以下兩個代碼:
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]
還有一些基本上都是類似的變形