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