学步园

准确地讲，本文所涉及的内容是C++中较难理解的，本文的目的不是在于将它们解释清楚，因为这需要你循序渐进地做很多练习才可以。看下面一个例子：

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


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

这里就涉及到了如何理解指向函数的指针的问题了。一些来自C++教材的建议是从里向外解读这个表达式，这里所谓的里面就是func(bool real)，那么剩下的部分就是所谓的返回值了？有点生硬吧。下面就让我们循序渐进地看看如何理解更好？

为什么会对这个表达式的返回值产生疑问？

要解决问题通常需要找出问题所在，这里是基于这样一种思维定势，那就是我们通常习惯于这样一种声明变量的方式：

int a;

这里我们声明a是一个int类型的变量。而对于返回值，我们通常也是采用类似的方式，如一个返回值为int类型的函数通常可以以下面的方式进行声明：

int func([params]);
因此我们惯性地认为返回值就是最左侧的一个类型名，虽然这通常是对的，但是针对上面的那个例子则显得十分尴尬。

让我们看看一个指向函数的指针的声明式：

int (*pCompare)(int, int);

这个指针的名字就是pCompare，令人奇怪的是pCompare并不是在整个声明式的最右边，类型也肯定不是int，而是一个复杂的表达式。让我们用typedef来声明就会发现typedef的使用也不太一样。

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

我们发现跟惯用的typedef *** ???;的方式也截然不同，在上面这个typedef过后，整个表达式可以被简化成：

PF pCompare;

现在我们似乎就一见如故了，现在的表达式看起来中规中矩，普通的声明都是类型名加变量名完成声明，而函数指针的声明则是在一个表达式中一个固定的位置进行声明。

int (*____)(int, int);

在上文中划线的部分即为声明的部分，也就是这点不同让我们逐渐迷失了方向。

现在让我们写一个返回指向函数的指针的函数，也就是返回值是PF的函数，这就像我们从返回int类型的变量到返回int类型值的函数一样，因此使用以下方式即可：

PF func([params]);

现在让我们扩展PF，将它还原，也就是把右侧的func([params])部分移到那个横线的位置上。现在我们就可以很轻松地理解本文开头的那个函数，原来是返回值为int (*)(int, int)的函数

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

以上划线的部分也就是一个函数扣除返回值的部分。也就等价

PF func(bool real)

至此你应该能够分析更加复杂的表达式了。

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

* main.cc<br /> *<br /> * Created on: 2009-2-1<br /> * Author: Volnet<br /> */<br /> #include <stdlib.h><br /> #include <iostream><br /> using std::cout;<br /> using std::endl;<br /> int myCompare1(<br /> int a, int b,<br /> int (*Compare)(int, int));<br /> int realCompare(int a, int b);<br /> int fakeCompare(int a, int b);<br /> typedef int (*PF)(int, int);<br /> int myCompare2(<br /> int a, int b,<br /> PF Compare);<br /> PF getAPointerFunc1(bool real);<br /> int (*getAPointerFunc2(bool real))(int, int);<br /> int main(void){<br /> int typeDeclared;<br /> typeDeclared = 1;<br /> //PF pCompare;<br /> int (*pCompare)(int, int);<br /> if(pCompare == NULL)<br /> cout<<"pCompare == NULL"<<endl;<br /> else<br /> {<br /> cout<<"pCompare != NULL"<<" pComapre = "<<pCompare<<endl;<br /> }<br /> cout<<"Compare the pointer function."<<endl;<br /> cout<<"The compare result is : "<<<br /> myCompare1(6, 5, realCompare)<<endl;<br /> cout<<"It's the same to invoke realCompare & *realCompare : "<<<br /> myCompare1(6, 5, *realCompare)<<endl;<br /> cout<<"Using the typedef to predigest definition : "<<<br /> myCompare2(8, 7, realCompare)<<endl;<br /> cout<<"Return a pointer from a function : "<<<br /> myCompare2(10, 20, getAPointerFunc1(true))<<endl;<br /> cout<<"Return a pointer from a function : "<<<br /> myCompare2(20, 30, getAPointerFunc2(false))<<endl;<br /> return EXIT_SUCCESS;<br /> }<br /> int myCompare1(<br /> int a, int b,<br /> int (*Compare)(int, int)){<br /> return Compare(a, b);<br /> }<br /> int realCompare(int a, int b){<br /> cout<<"The realCompare has be invoked."<<endl;<br /> if(a == b)<br /> return 0;<br /> if(a < b)<br /> return -1;<br /> else<br /> return 1;<br /> }<br /> int fakeCompare(int a, int b){<br /> cout<<"The fackCompare has be invoked."<<endl;<br /> return 200;<br /> }<br /> int myCompare2(<br /> int a, int b,<br /> PF Compare){<br /> return Compare(a, b);<br /> }<br /> PF getAPointerFunc1(bool real){<br /> if(real)<br /> return realCompare;<br /> else return fakeCompare;<br /> }<br /> int (*getAPointerFunc2(bool real))(int, int){<br /> if(real)<br /> return realCompare;<br /> else return fakeCompare;<br /> }

本文转自Hellocpp：  http://www.hellocpp.net/Articles/Article/6.aspx