原帖及讨论：http://bbs.bc-cn.net/dispbbs.asp?BoardID=56&ID=92806
先说一下C式的函数指针。这种函数指针的应用十分广泛。
对于任何函数 void print(string s)，它的指针这样定义：
void (*pfun)(string) = NULL;
pfun= &print;
或者 pfun = print;两种写法没有区别。
pfun是指针变量名。可以指向任何只带一个string参数，返回void的函数。这里让它指向print()函数。
以后调用它的时候直接写
if (pfun)
pfun("Hello world");
C++编译器会通过pfun找到print函数，然后call print("Hello world");
一个简单应用是可以作菜单操作。例如在文本模式下的界面，让用户选择如下操作：
"0.print, 1.copy, 2.delete, 3. quit, 4.help"
那么可以写5个函数：
void print();
void copy();
void delete();
void quit();
void help();
然后用一个函数指针数组把他们存在一起：
void (*p[])() = {print, copy, delete, quit, help};
然后根据用户入0,1,2,3,4来直接叫函数
cin >> index;
p[index]();
在windows环境下编译这种函数指针被认为是用C/C++呼叫规则(C/C++ calling convention)。就是呼叫函数caller清理函数呼叫时生成的stack。另一种规则叫标准呼叫规则(standard calling convention)。由被叫函数callee清理自己的stack。二者一般情况下区别不大，但standard calling convention更合理，因为这样使函数size变小了一点。
实际上写C/C++函数指针的时候省略了 __cdecl 前缀。 应该写成void (__decel *p[])()；
而标准规范用 __stdcall前缀。 也可以用宏CALLBACK，这也就是著名的回调函数了。
使用CALLBACK的另一个好处就是呼叫函数(caller)不需要具体关心被叫函数(callee)是什么而直接呼叫。例如我们要写一个排序函数。可以用各种不同算法。如冒泡法。
void CALLBACK BubbleSort(int *pStart, int *pEnd);
也可以用quick sort
void CALLBACK QuickSort(int *pStart, int *pEnd);
那么呼叫方只需要定义一个指向这种格式的函数指针：
void (CALLBACK *p)(int*, int*)，然后让p指向想用的函数就可以了。
这里只对int类型排序，实际上这种排序函数可以再叫一个CALLBACK函数来决定排序规则。以使算法可以应用到各种不同类型的变量以及不同的排序规则中。在各算法书上都有介绍。如果大家有兴趣，我可以写一下这个排序函数。
另一个典型的例子是MFC中Timer使用的CALLBACK函数，每当Timer Exprie的时候会去叫这个函数，根据返回值决定下一个动作。
C++中的函数指针与C的不同
class C
{
public:
bool test();
}
这里指向print的指针不是bool *p()，而是bool (C::*p)();
呼叫这个函数的时候这样写：
C c, *pc=&c;
bool (C::*p)() = &C::test;
c.*p();
或者 pc->*p();
赋值那行bool (C::*p)() = &C::test;在VS2003里右边可以省去 C::，到了VS2005语法更严格了，被禁止了。这里的成员函数指针对非静态函数有效。静态函数不依赖于任何object，它的表示方法和C的一样。
对于非静态成员函数的指针的继承关系是这样的：upcast合法，downcast不合法。这样的到的指针永远是安全的。
非静态成员函数指针在实际程序中的应用很多。一个典型的例子是用来写state machine(状态机器？)。例如程序在控制一个机器人的初始化阶段。整个初始化需要三个函数：1。初始化机器人的身子，2。初始化机器的左手，3。初始化机器人的右手。这样我们在state machine中用两个成员函数指针分别指向当前的状态和下一个状态 bool (CStateMachine::*m_pCurrentState)， bool (CStateMachine::*m_pNextState)。。
一开始永远叫Start()
CStateMachine::CStateMachine
{
m_pCurrentState = CStateMachine::Start;
}
然后在每一个State里面管理状态变化：
bool CStateMachine::Start()
{
.....
m_pNextState = CStateMachine::InitializeLeftHand();
}
bool CStateMachine::InitializeLeftHand()
{
....
m_pNextState = CStateMachine::InitializeRightHand();
}
bool CStateMachine::InitializeRightHand()
{
....
m_pNextState = NULL;
}
这样很清晰的标志了整个初始化的过程。当然这个过程也可以用很土的程序实现，设一个flag，然后把flag于函数一一对应。但那样作出来的程序不易懂，同时增加新状态的时候不好维护。
对于CStateMachine的核心部份可以这样控制：对于任何一步操作，如果函数返回true表示成功，执行下一步
(this->*(m_pCurrentState = m_pNextState))()。如果失败则报错，同时让用户选择重试(Retry)还是放弃(Abort)还是忽略(Ignor)。
如果Abort则结束StateMachine，
如果Retry则再次叫当前函数this->*m_pCurrentState();
如果Ignor则忽略当前错误继续下一步。this->*(m_pCurrentState = m_pNextState)();
当没有下一个状态的时候StateMachine结束。 (m_pNextState == NULL)
这是标准工业中的用法，大家不妨看一看，写成一个标准的class。这将是个很有用的练习。
评论