在C++的子类中,定义某成员函数时,我们通常需要显式的调用其基类的版本。例如在一个绘图类结构中,子类只需要去绘制在子类添加进去的部分图形,然后再调用基类去完成基础的图形。这个成员函数有一般都是虚函数。对于构造函数,在子类的构造函数中也可能显式地执行基类的构造函数。 先看看一个例子,基类Shape的默认构造函数不分配name空间,但子类Line的默认构造函数会按照规则自动产生name,这里我们假设name是private的,如果name不是private,问题会很简单,也不会出现下述问题了。但在现实中,通常在基类的构造函数会初使化一些重要的private成员,或者构造函数比较长,在子类中不想复制这些代码而希望直接调用到基类的构造函数。一般我们可以在初使化式中直接构造基类,但有的时候,需要先计算出基类构造函数的参数,如同本例中一样需要先产生一个autoName。 class Shape{ public: Shape(LPCTSTR name){ this->name = new TCHAR[lstrlen(name) + 1]; lstrcpy(this->name, name); } Shape(){ name = NULL; } virtual void draw() = 0; LPCTSTR getName() const{ return name;}; private: LPTSTR name; }; class Line:public Shape{ public: static int autoIdx; Line(){ LPTSTR autoName = new TCHAR[32]; memset(autoName, 0, 32 * sizeof(TCHAR)); lstrcpy(autoName, L"NewLine"); _itow_s(autoIdx++, autoName + lstrlen(autoName), 8, 10); this->Shape::Shape(autoName); } Line(LPCTSTR name):Shape(name){ } void draw(){ } }; int Line::autoIdx = 1; int _tmain(int argc, _TCHAR* argv[]) { Shape* l = new Line(); l->draw(); } 运行该程序,按理来说应该是没有什么问题,但实际出现的错误还是让人丈二摸不着头脑。

一开始我一直以为是不是draw()方法与基类的名称不一致,反复的拷贝,比较参数与返回值,但一直弹出上面的错误。因为明明在Line类定义了draw()方法,怎么会调用得到Shape的纯虚函数呢?折腾了近两个小时,没辙了,只好注释代码一行一行地排查,最后发现,当将 this->Shape::Shape(autoName); Examda提示: 注掉之后,这个问题便不存在了。看来问题就一直出在上面的这行代码上去了,仔细想想,想起虚函数表就是在构造函数中初使化的,之所以一直调用基类的方法,一定就是在调用上面基类的构造函数时,之前已经初使化好的虚函数指针被基类的虚函数指针覆盖了。 其实之所以做上面的调用,还是受到Java语言的影响,在Java中,无论在什么位置,直接用super()就搞定了。在C++中,虚函数成员这样调用没有问题,但在构造函数中,还是会出现比较严重的运行故障,如果要在C++编码中不要再出现类似的问题,还是需要透彻了解在C++的构造函数到底干了些什么,以及虚函数表,这个隐藏在背后的实现虚函数功能的机制。 来源:考试大
|