为什么虚函数功能失常了？

在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++的构造函数到底干了些什么，以及虚函数表，这个隐藏在背后的实现虚函数功能的机制。