说明:
这是今天看《thinking in c++》的第10章时作的"笔记",前面也有人
问到关于成员函数指针的问题,我那时说直接传入this指针,现在看
了书后有多了一种方法,不过,它的语法有点难计。
这下回去可以看看MFC的消息映射/动态创建是怎么写的了,我想也应
该是成员函数指针把
指针是指向一些内存地址的变量,既可以是数据的地址也可以是函数的地址。C++的
成员指针遵从同样的原则。困难的是所有的指针需要一个地址,但在类内部没有地
址;选择一个类的成员意味着在类中偏移。只有把这个偏移和具体对象的开始地址
结合,才能得到实际地址。成员指针的语法要求选择一个对象的同时逆向引用成员
指针。
struct simple { int a ; }
simple so;
simple* sp = &so;
如果有一个这个结构的指针sp和对象so,如果有一个指针指向一个类对象成员,甚至
假设它代表对象内一定的偏移,将会发生什么?为了取得指针指向的内容,必须用*号逆向引用。但是,它只是一个对象内的偏移,所以还必须要指定那个对象。因此,*号要和逆向引用的对象结合。
sp->*pm = 47; so.*pm = 47;
定义pm的语法是什么?其实它像任何一个指针,必须说出它指向什么类型。并且,在定义中也要使用一个‘*’号。唯一的区别只是必须说出这个成员指针使用什么类的对象。当然,这是用类名和全局操作符实现的:
定义成员指针:
int simple::*pm;
定义并初始化成员指针:
int simple::*pm = &simple::a;
因为引用到一个类而非那个类的对象,因而,&simple::a仅可作为成员指针的语法表示。
指向函数的指针定义像下面的形式:int(*fp)(float); (*fp)的圆括号用来迫使编译器
正确判断定义。没有圆括号,这个表达式就是一个返回int*值的函数。为了定义和使用一个成员函数的指针,圆括号扮演同样重要的角色。假设在一个结构内有一个函数:
struct simple2 { int f(float); };
通过给普通函数插入类名和全局操作符就可以定义一个指向成员函数的指针:
int(simple2::*fp)(float);
初始化:
int(simple2::*fp)(float) = &simple2::f;
&号是可选的;可以用不带参数表的函数标识符来表示地址:fp = simple2::f;
使用:
simple2 s2;
int i = (s2.*fp)(1.5);
另一个使用例子
class CB
{
int f1(){ return 1; }
int f2(){ return 2; }
int (CB::*fptr[2])();
public:
CB() { fptr[0] = CB::f1; fptr[1] = &CB::f2; }
int sel(int i){ return (this->*fptr[i])(); }
};
在构造函数中,成员指针的初始化似乎被过分地指定了。是否可以这样写:
fptr[1] = f2; 因为名字f2在成员函数中出现,是否可以自动地认为在这个类范围内呢?问题是这不符合成员函数的语法,语法要求编译器能够判断将要进行什么。当成员函数被逆向引用时,它仍被过分地指定了,this似乎多余。正如前面所讲的,当它被逆向引用时,语法也需要成员指针总是和一个对象绑定在一起。