在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库,对所有形式的函数,象静态函数,类成员函数,函数对象等,提供了统一的接口,可以说是一个泛型的函数类型。有时间希望能对它深入研究一下!