在C++平静的海面底下，隐藏着许许多多暗礁，而类成员函数指针绝对是其中最险恶的之一。所以如果不幸碰到它，那么一定要打醒十二分精神，这是我的小小体会。 下面来看看一个简单的例子。
class Base {
public:
Base () : f_(0) {}
virtual ~Base() {}
public:
typedef void (Base::*FUNC)();
void setf (FUNC f)
{
f_ = f;
}
FUNC getf ()
{
return f_;
}
private:
FUNC f_;
};
class Derived : public Base {
public:
void test1 ()
{
cout << "Derived: Test 1" << endl;
}
void test2 ()
{
cout << "Derived: Test 2" << endl;
}
};
这里定义了两个类Base和Derived。其中Base类定义了一个类成员函数指针，看看它的语法，还是蛮怪异的：
typedef void (Base::*FUNC)();
因此FUNC就成了一个新的类型，这个类型的含义就是指向类成员函数的指针，而该类成员函数不需要入参，返回值是void。然后我们可以用FUNC来定义变量，当成Base的私有成员，并且定义了get、set函数来对它进行存取。
接着我们来定义一个Derived类，从Base继承而来。在Derived类中定义了若干方法test1和test2，注意这些test1()和test2()必须符合FUNC的签名，也就是说，函数的入参和返回值必须一致。
我们可以来写代码：
Base *p = new Derived;
p->setf (&Derived::test1);
我本意是想把Derived的成员函数赋值给f_保存起来，结果编译了一下，VC6编译器不高兴了：
error C2664: 'setf' : cannot convert parameter 1 from 'void (__thiscall Derived::*)(void)' to 'void (__thiscall Base::*)(void)'
Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
OK，原来我在写&Derived::test1时，其实它的类型是void (__thiscall Derived::*)(void)，而定义在Base中的成员变量f_，它的类型是FUNC，也就是void (__thiscall Base::*)(void)，这两者之间没有隐式转换的关系，必须显式进行转换。我改了一下，变成：
p->setf (static_cast<Base::FUNC>(&Derived::test1));
加了一个static_cast，就可以顺利转换了。
最后我想把f_保存的类成员函数指针取出来进行调用，我们知道又要用到比较怪异的语法：
(p->*f)();
这个f就是我们取出来的成员函数指针：f = p->getf();
合起来就是：(p->*(p->getf()))(); 够复杂吧？
类成员函数首先是一个函数指针，这已经是一层间接性；然后它还是在类里面，这又多了一层间接性，因此要通过类成员函数指针来调用成员函数，就必须提供对象的指针，还要提供成员函数的指针，所以它的使用还是蛮复杂的。
关于类成员函数指针，其实还有很多话题。例如Boost里面就有一个function库，对所有形式的函数，象静态函数，类成员函数，函数对象等，提供了统一的接口，可以说是一个泛型的函数类型。有时间希望能对它深入研究一下！