多应用+插件架构,代码干净,二开方便,首家独创一键云编译技术,文档视频完善,免费商用码云13.8K 广告
# [23] 继承 — 你所不知道的 ## FAQs in section [23]: * [23.1] 基类的非虚函数调用虚函数可以吗? * [23.2] 上面那个FAQ让我糊涂了。那是使用虚函数的另一种策略吗? * [23.3] 当基类构造函数调用虚函数时,为什么不调用派生类重写的该虚函数? * [23.4] 派生类可以重置(“覆盖”)基类的非虚函数吗? * [23.5] “`Warning: Derived::f(float) hides Base::f(int)”`是什么意思? * [23.6] "virtual table" is an unresolved external 是什么意思? ## 23.1 基类的非虚函数调用虚函数可以吗? 可以。有时(_并非总是!_)这是一个好主意。例如,假设所有`Shape`(图形)对象有一个公共的打印算法。但这个算法依赖于它们的面积并且它们都有不同的方法来计算面积。在这种情况下,`Shape`的`area()`方法(译注:得到`Shape`面积的成员函数)必须是virtual的(可能是纯虚(pure-virtual)的),但`Shape::print()`可以在`Shape`中被定义为非虚(non-virtual)的,前提是所有派生类不会需要不同的打印算法。 ```  #include "Shape.hpp"  void Shape::print() const  {      float a = this->area();  // area() 为纯虚 // ...  } ``` ## 23.2 上面那个FAQ让我糊涂了。那是使用虚函数的另一种策略吗? 是的,那是不同的策略。是的,那的确是使用虚函数的两种不同的基本方法: 1. 假设你遇到了上一个FAQ所描述的情况:每一个派生类都有一个结构完全一样,只有一小块不同的方法。因此算法是相同的,但实质不相同。在这种情况下,你最好在基类写一个全面的算法作为`public:`方法(有时是非虚的),然后在派生类中写那不同的一小块。这一小块在基类中声明(通常是`protected:`的,纯虚的,当然至少是`virtual`的),并且最终在每个派生类中被定义。这种情况下最紧要的问题是包含全面的算法的`public:`方法是否应该是`virtual`的。答案是,如果你认为某些派生类可能需要覆盖它,就让它成为`virtual`的。 2. 假设你遇到了上一个FAQ完全相反的情况,每一个派生类都有一个结构完全不同,但有一小块的大多数(如果不是全部的话)相同的方法。在这种情况下,你最好将全面的算法放在最终在派生类中定义的`public:` `virtual`之中,并且将一小块可以被只写一次的公共代码(避免代码重复)隐藏在某处(任何地方!)。一般放在基类的`protected:`部分,但不是必须的,也可能不是最好的。找个地方隐藏它们就行了。注意,由于`public:`用户不需要/不想做它们做的事情,如果在基类中隐藏它们,通常应该使它们是`protected:`的。假定它们是`protected:`的,那么可能不应该是`virtual`的:如果派生类不喜欢它们之一的行为,可以不必调用这个方法。 强调一下,以上列表中的是“既/又”情况,而不是“二者选一”的。换句话说,在任何给定的类上,不必在两种策略中选择。既有一个符合策略 #1 的方法`f()`,又有一个符合策略 #2 的方法`g()`是非常正常的。换句话说,在同一个类中,有两种策略同时工作是非常正常的。 ## 23.3 当基类构造函数调用虚函数时,为什么不调用派生类重写的该虚函数? 当基类被构造时,对象还不是一个派生类的对象,所以如果 `Base::Base()`调用了虚函数 `virt()`,则 `Base::virt()` 将被调用,即使 `Derived::virt()`(译注:即派生类重写的虚函数)存在。 同样,当基类被析构时,对象已经不再是一个派生类对象了,所以如果 `Base::~Base()`调用了`virt()`,则 `Base::virt()`得到控制权,而不是重写的 `Derived::virt()` 。 当你可以想象到如果 `Derived::virt()` 涉及到派生类的某个成员对象将造成的灾难的时候,你很快就能看到这种方法的明智。详细来说,如果 `Base::Base()`调用了虚函数 `virt()`,这个规则使得 `Base::virt()`被调用。如果不按照这个规则,`Derived::virt()`将在派生对象的派生部分被构造之前被调用,此时属于派生对象的派生部分的某个成员对象还没有被构造,而 `Derived::virt()`却能够访问它。这将是灾难。 ## 23.4 派生类可以重置(“覆盖”)基类的非虚函数吗? 合法但不合理。 有经验的 C++ 程序员有时会重新定义非虚函数(例如,派生类的实现可能可以更有效地利用派生类的资源),或者为了回避隐藏规则。即使非虚函数的指派基于指针/引用的静态类型而不是指针/引用所指对象的动态类型,但其客户可见性必须是一致的。 ## 23.5 “`Warning: Derived::f(float) hides Base::f(int)`” 是什么意思? 意思是:你要完蛋了。 你所处的困境是:如果基类声明了一个成员函数`f(int)`,并且派生类声明了一个成员函数 `f(float)`(名称相同,但参数类型和/或数量不同),那么 `Base` 的 `f(int)`被隐藏(hidden)而不是被重载(overloaded)或被重写(overridden)(即使 基类的`f(int)`是虚拟的) 以下是你如何摆脱困境:派生类必须有一个被隐藏成员函数的`using` 声明,例如: ```  class Base {  public:    void f(int);  };  class Derived : public Base {  public:    using Base::f;    // This un-hides Base::f(int)    void f(double);  }; ``` 如果你的编译器不支持`using`语法,那么就重新定义基类的被隐藏的成员函数,即使它们是非虚的。一般来说这种重定义只不过使用`::`语法调用了基类被隐藏的成员函数,如, ```  class Derived : public Base {  public:    void f(double);    void f(int i) { Base::f(i); }  // The redefinition merely calls Base::f(int)  }; ``` ## 23.6  "virtual table" is an unresolved external 是什么意思? 如果你得到一个连接错误"`Error: Unresolved or undefined symbols detected: virtual table for class Fred`",那么可能是你在 `Fred` 类中有一个未定义的虚成员函数。 编译器通常会为含有虚函数的类创建一个称为“虚函数表”的不可思议的数据结构(这就是它如何处理动态绑定的)。通常你根本不必知道它。但如果你忘了为`Fred` 类定义一个虚函数,则有时会得到这个连接错误。 许多编译器将这个不可思议的“虚函数表”放进定义类的第一个非内联虚函数的编辑单元中。因此如果 `Fred` 类的第一个非内联虚函数是 `wilma()`,那么编译器会将 `Fred` 的虚函数表放在 `Fred::wilma()` 所在的编辑单元里。不幸的是如果你意外的忘了定义 `Fred::wilma()`,那么你会得到一个"`Fred`'s virtual table is undefined"(`Fred`的虚函数表未定义)的错误而不是“`Fred::wilma()` is undefined”(`Fred::wilma()`未定义)。