C 中的指针(二)函数指针

文章作者 100test 发表时间 2007:03:10 17:10:36
来源 100Test.Com百考试题网

先说一下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.0delete, 3. quit, 4.help"
那么可以写5个函数：
void print().
void copy().
void 0delete().
void quit().
void help().
然后用一个函数指针数组把他们存在一起：
void (*p[])() = {print, copy, 0delete, 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().
}