C++辅导:C++函数虚函数功能失效?

C++辅导:C++函数虚函数功能失效?,第1张

在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++的构造函数到底干了些什么,以及虚函数表,这个隐藏在背后的实现虚函数功能的机制。在C++的子类中,定义成员函数时,我们通常需要显式调用其基类的版本。比如一个画图类结构,子类只需要画一些子类添加的图形,然后调用基类完成基本图形。这个成员函数通常是虚拟的。对于构造函数,也可以在子类的构造函数中显式执行基类的构造函数。
我们先来看一个例子。基类Shape的默认构造函数不在names空之间分配,但是子类Line的默认构造函数会根据规则自动生成名称。这里,我们假设名字是私有的。名字不私密的话,问题就很简单了,不会出现下面的问题。但现实中,基类的构造函数通常会初始化一些重要的私有成员,或者构造函数比较长,子类想直接调用基类的构造函数,而不是复制这些代码。一般我们可以直接在初始化器中构造基类,但是有时候,我们需要先计算基类构造函数的参数,就像这个例子中,我们需要先生成一个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 auto idx;
Line(){
LPTSTR autoName =新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::auto idx = 1;
int _tmain(int argc,_ TCHAR * argv[])
{
Shape * l = new Line();
l-> draw();
}
理论上运行这个程序应该没什么问题,但实际错误还是让人摸不着头脑。
Shape::Shape(autoName);
Examda提示:便笺丢失后,这个问题就不存在了。好像问题一直都在上面那行代码里。仔细想想,想起虚函数表是在构造函数中初始化的。之所以总是调用基类的方法,是因为在调用上述基类的构造函数时,之前已经初始化的虚函数指针被基类的虚函数指针覆盖了。
实际上,之所以进行上面的调用,还是受到了Java语言的影响。在Java中,无论你在哪里,都可以直接使用super()。在C++中,虚函数成员这样调用是没有问题的,但是在构造函数中,还是会出现严重的运行失败。如果想避免C++编码中的类似问题,还是需要透彻理解C++中的构造函数做了什么,虚函数表,也就是实现虚函数的隐藏机制。

位律师回复
DABAN RP主题是一个优秀的主题,极致后台体验,无插件,集成会员系统
白度搜_经验知识百科全书 » C++辅导:C++函数虚函数功能失效?

0条评论

发表评论

提供最优质的资源集合

立即查看 了解详情