S.l.e!ep.￠%

指向函數(shù)的指針的一點(diǎn)理解

準(zhǔn)確地講，本文所涉及的內(nèi)容是C++中較難理解的，本文的目的不是在于將它們解釋清楚，因?yàn)檫@需要你循序漸進(jìn)地做很多練習(xí)才可以。看下面一個(gè)例子：

				int 
				(*func(
				bool 
				real))(
				int
				, 
				int
				)
		

你覺得它的返回值是什么？

這里就涉及到了如何理解指向函數(shù)的指針的問題了。一些來自C++教材的建議是從里向外解讀這個(gè)表達(dá)式，這里所謂的里面就是func(bool real)，那么剩下的部分就是所謂的返回值了？有點(diǎn)生硬吧。下面就讓我們循序漸進(jìn)地看看如何理解更好？

為什么會對這個(gè)表達(dá)式的返回值產(chǎn)生疑問？

要解決問題通常需要找出問題所在，這里是基于這樣一種思維定勢，那就是我們通常習(xí)慣于這樣一種聲明變量的方式：

int a;

這里我們聲明a是一個(gè)int類型的變量。而對于返回值，我們通常也是采用類似的方式，如一個(gè)返回值為int類型的函數(shù)通常可以以下面的方式進(jìn)行聲明：

int func([params]);

因此我們慣性地認(rèn)為返回值就是最左側(cè)的一個(gè)類型名，雖然這通常是對的，但是針對上面的那個(gè)例子則顯得十分尷尬。

讓我們看看一個(gè)指向函數(shù)的指針的聲明式：

				int 
				(*
				pCompare)(
				int
				, 
				int
				);
		

這個(gè)指針的名字就是pCompare，令人奇怪的是pCompare并不是在整個(gè)聲明式的最右邊，類型也肯定不是int，而是一個(gè)復(fù)雜的表達(dá)式。讓我們用typedef來聲明就會發(fā)現(xiàn)typedef的使用也不太一樣。

				typedef int 
				(*
				PF
				)(
				int
				, 
				int
				);
		

我們發(fā)現(xiàn)跟慣用的typedef *** ???;的方式也截然不同，在上面這個(gè)typedef過后，整個(gè)表達(dá)式可以被簡化成：

				PF pCompare;
		

現(xiàn)在我們似乎就一見如故了，現(xiàn)在的表達(dá)式看起來中規(guī)中矩，普通的聲明都是類型名加變量名完成聲明，而函數(shù)指針的聲明則是在一個(gè)表達(dá)式中一個(gè)固定的位置進(jìn)行聲明。

?

				int 
				(*
				)(
				int
				, 
				int
				);
		

在上文中劃線的部分即為聲明的部分，也就是這點(diǎn)不同讓我們逐漸迷失了方向。

現(xiàn)在讓我們寫一個(gè)返回指向函數(shù)的指針的函數(shù)，也就是返回值是PF的函數(shù)，這就像我們從返回int類型的變量到返回int類型值的函數(shù)一樣，因此使用以下方式即可：

PF func([params]);

現(xiàn)在讓我們擴(kuò)展PF，將它還原，也就是把右側(cè)的func([params])部分移到那個(gè)橫線的位置上。現(xiàn)在我們就可以很輕松地理解本文開頭的那個(gè)函數(shù)，原來是返回值為int (*)(int, int)的函數(shù)

				int 
				(*func(
				
						bool 
				
				
						real))(
				int
				, 
				int
				)
		

以上劃線的部分也就是一個(gè)函數(shù)扣除返回值的部分。也就等價(jià)于

				PF 
				func(
				bool 
				real)
		

至此你應(yīng)該能夠分析更加復(fù)雜的表達(dá)式了。

下面的示例旨在幫助理解本文：

?