對于一個(gè)函數:
void func(void);
我們通??梢远x一個(gè)這樣的函數指針指向它:
void (*p)(void) = func;
通過(guò)p調用func時(shí),通常有兩種寫(xiě)法:
p();或者(*p)();
圍繞這兩種寫(xiě)法,當初C89制定的時(shí)候曾經(jīng)有過(guò)爭論。(*p)();是一種舊式的規定,舊式規定圓括號左邊必須具有“函數”類(lèi)型,如果是指向函數的指針,那么必須加上*聲明符。但C89不再把圓括號的左邊限定為“函數”類(lèi)型,而是一個(gè)后綴表達式。那么問(wèn)題就來(lái)了,如果p的值是函數地址,那么*號就是聲明符,但如果p指向的內容是函數地址,*號就得被看作運算符了。同一種形式會(huì )有兩種解釋?zhuān)@是一個(gè)矛盾。不僅函數調用如此,指向數組的指針也存在這種矛盾。編譯器為了處理這種情況得增加代碼,效率自然就降低了。爭論的最后結果是誰(shuí)也不能把對方完全說(shuō)服,于是就干脆兩種都支持了。筆者認為應該拋棄舊式的規定,p();這種形式簡(jiǎn)潔明了,又符合函數的一般形式,何樂(lè )而不為?
第八章練習的答案,同時(shí)給出用typedef的分解方法:
int (*(*func)[5][6])[7][8];
func是一個(gè)指向數組的指針,這類(lèi)數組的元素是一個(gè)具有5X6個(gè)int元素的二維數組,而這個(gè)二維數組的元素又是一個(gè)二維數組。
typedef int (*PARA)[7][8];
typedef PARA (*func)[5][6];
int (*(*(*func)(int *))[5])(int *);
func是一個(gè)函數指針,這類(lèi)函數的返回值是一個(gè)指向數組的指針,所指向數組的元素也是函數指針,指向的函數具有int*形參,返回值為int。
typedef int (*PARA1)(int*);
typedef PARA1 (*PARA2)[5];
typedef PARA2 (*func)(int*);
int (*(*func[7][8][9])(int*))[5];
func是一個(gè)數組,這個(gè)數組的元素是函數指針,這類(lèi)函數具有int*的形參,返回值是指向數組的指針,所指向的數組的元素是具有5個(gè)int元素的數組。
typedef int (*PARA1)[5];
typedef PARA1 (*PARA2)(int*);
typedef PARA2 func[7][8][9];
聯(lián)系客服