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

最新推荐文章于 2025-08-01 10:00:24 发布

原创最新推荐文章于 2025-08-01 10:00:24 发布 · 466 阅读

CC 4.0 BY-SA版权

文章标签：

8 篇文章

订阅专栏

本文探讨了C++中多态的概念及其与非虚函数的区别。详细解释了当基类指针指向子类对象时，如何调用成员函数，并分析了在不同情况下调用同一名称函数的行为差异。强调了不应重新定义继承而来的非虚函数的原则。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

知识点：

对于基类B和子类D：

class B{
public:
    void mf();
    ...
};
class D:public B{...};

　　我们知道对于non-virtual函数，子类是既继承接口又继承实现的，在这种情况下，以下行为：

D x;
B *pB = &x;
pB -> mf();//经由该指针调用mf

D *pD = &x;
pD -> mf();//经由该指针调用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被声明为指向B，pD被声明为指向D，通过pB调用的non-virtual函数永远都是B所定义的版本，同理pD。另一方面，virtual函数却是动态绑定的，以实现多态。

本条款关键：不要重新定义继承而来的非虚函数

由前面的条款可知：

如果D要重新定义mf，那么“每个D都是一个B”就不为真。既然如此D就不该以public形式继承B。如果要以public方式继承，且D需要实现出与B不同的mf，那么mf就无法为B反映出“不变性凌驾于特异性”的性质，既然如此，mf应该声明为virtual函数。

所以：不论哪一个观点，结论都相同：任何情况下都不该重新定义一个继承而来的non-virtual函数。