在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);
注掉之后,这个问题便不存在了。看来问题就一直出在上面的这行代码上去了,仔细想想,想起虚函数表就是在构造函数中初使化的,之所以一直调用基类的方法,一定就是在调用上面基类的构造函数时,之前已经初使化好的虚函数指针被基类的虚函数指针覆盖了。
其实之所以做上面的调用,还是受到Java语言的影响,在Java中,无论在什么位置,直接用super()就搞定了。在C++中,虚函数成员这样调用没有问题,但在构造函数中,还是会出现比较严重的运行故障,如果要在C++编码中不要再出现类似的问题,还是需要透彻了解在C++的构造函数到底干了些什么,以及虚函数表,这个隐藏在背后的实现虚函数功能的机制。