条款36：绝不重新定义继承而来的non-virtual函数

本文介绍: 假设class D是由class B以public形式派生而来，class B定义有一个public成员函数mf，由于mf的参数和返回值都不重要，所以定义两者都为void。

假设class D是由class B以public形式派生而来，class B定义有一个public成员函数mf，由于mf的参数和返回值都不重要，所以定义两者都为void。即：

class B{

    public:
        void mf();
        ...
};

class D:public B{...};

在这里，虽然我们对B和D及mf都一无所知，但面对一个类型为D的对象x：、

D x;//x是一个类型为D的对象

如果以下行为：

B* pB=&x;//获得一个指针指向x
pB->mf();//经由该指针调用mf
不同以下行为：
D* pD=&x;//获得一个指针指向x
pD->mf();//经由该指针调用mf

为什么两种用法会不同呢，毕竟都是通过对象x调用成员函数mf。由于两者所调用的函数都相同，凭借的对象也相同。

但实际上是这样的，更明确地说：如果mf是个non_virtual函数而D定义有自己地mf版本，那就不是如此：

class D:public B{

    public:
        void mf();//遮掩了B::mf()
        ...
};
pB->mf();//调用B::mf
pD->mf();//调用D：：mf

造成产生这种现象地原因是non-virtual函数如B::mf和D：：mf都是静态绑定。这表明pB被声明为一个pointer-to-B,通过pB调用地non-virtual函数永远是B所定义地版本，即使pB指向一个类型为“B派生之class”地对象。

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。

1.前言