关闭

虚函数与const

1193人阅读 评论(1) 收藏 举报

     在网上看到一道c++题,解答者说了很多,但感觉没有说明白问题的真正原因。

    const的考查。
Const这个关键字放在不同的地方将起到不同的作用。
题目是这样的:
class XBase
{
public:
     virtual void play()const
    {
        cout<<"base play"<<endl;
    }
};

class XWind:public XBase
{
public:
     void play()
    {
        cout<<"wind play"<<endl;
    }
};

class XBrass:public XWind
{
public:
     void play()
    {
        cout<<"brass play"<<endl;
    }
};

void Tune(XBase& b)
{
    b.play();
}


void main()
{
    XBase* base[] = {new XWind(),new XBrass()};

    for(int i = 0;i < 2;i++)
    {
        Tune(*base[i]);
    }

}
问这段代码的运行结果:
开始我以为很容易:
不就是:
wind play
brass play
回来我运行一遍,发现错了:


base play
base play
但是把基类改为:
class XBase
{
public:
    const virtual void play()
    {
        cout<<"base play"<<endl;
    }
};

派生类作相应的改动:
class XWind:public XBase
{
public:
   const void play()
    {
        cout<<"wind play"<<endl;
    }
};

class XBrass:public XWind
{
public:
const void play()
    {
        cout<<"brass play"<<endl;
    }
};
则运行结果为:
wind play
brass play
原来Const这个关键字放在不同的地方将起到不同的作用。
大家可以试一下,顺便说一下原理。

 

解答者: 

不论派生类如何修改只要与基类不符就选择调用基类
class XBase
virtual void play()const; // 原型:void play() cont

class XWind:public XBase // 从XBase派生
void play();             // 不符合基函数play,调用基play

XBrass:public XWind      // 从XWind派生
void play();             // 符合函数XWind::play,但因为
                         // XWind::play调用XBase::play
                         // 因此XBrass::play调用XBase::play
你可以试试这样修改,你就会明白
XBase
virtual void play() const;// 原型

XWind : public XBase
void play() cont;         // 符合,调用自己的play

XBrass : public XWind
void play();              // 与XWind::play不符,调用XWind::play
---------------------------------------------------------------
XBase
virtual void play() const;// 原型

XWind : public XBase
void play();         // 不符合,调用XBase::play
XBrass : public XWind
void play() const;   // 与XWind::play不符,往下一级寻找play
                     // 与XBase::play相同,调用自己的play
----------------------------
两次的输出结果为:
1.wind play
  wind play
2.base play
  brass play
 

 

解答者说的是正确的。 不过具体原因,自己写个c++例子,查它的汇编代码就明白了。

比如 XBase 的虚函数表里有一个函数指针:

 _XBase_play

XWind的虚函数表里有两项:

 _XBase_play

_XWind_play

如果通过XBasePtr->play来调用,编译器是按虚函数表里的偏移量来call的,这时候会调用到base的play函数。

如果通过XWindPtr->play来调用,会调用到XWind的play函数。

 

如果const修饰一致,那么XWind的虚函数表里将只有一项:

_XWind_play

 

这个问题反应了c++一个比较搞笑的情况:编译器是尽量防止对只在派生类中存在的函数做虚函数调用的,但是

这里显然突破了这种限制。还有一个例外的地方是明确指出指针在运行时是指向哪个子对象。

 
0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:52214次
    • 积分:848
    • 等级:
    • 排名:千里之外
    • 原创:28篇
    • 转载:18篇
    • 译文:0篇
    • 评论:3条
    文章分类
    最新评论
    blog链接