[翻译] Effective C++, 3rd Edition, Item 33: 避免覆盖（hiding）“通过继承得到的名字”（下）

（点击此处，接上篇）

这一行为背后的根本原因是为了防止“当你在一个 library 或者 application framework 中创建一个新的 derived class 时，偶然地发生从遥远的 base classes 继承 overloads 的情况”。不幸的是，一般情况下你是需要继承这些 overloads 的。实际上，如果你使用了 public inheritance 而又没有继承这些 overloads，你就违反了 Item 32 讲解的“base 和 derived classes 之间是 is-a 关系”这一 public inheritance 的基本原则。在这种情况下，你几乎总是要绕过 C++ 对“通过继承得到的名字”的缺省的覆盖机制。

你可以用 using declarations 做到这一点：

class Base {
private:
  int x;

public:
  virtual void mf1() = 0;
  virtual void mf1(int);

  virtual void mf2();

  void mf3();
  void mf3(double);
  ...
};

class Derived: public Base {
public:
  using Base::mf1;       // make all things in Base named mf1 and mf3
  using Base::mf3;       // visible (and public) in Derived's scope

  virtual void mf1();
  void mf3();
  void mf4();
  ...
};

 

现在 inheritance 就可以起到预期的作用：

Derived d;
int x;

...

d.mf1();                 // still fine, still calls Derived::mf1
d.mf1(x);                // now okay, calls Base::mf1

d.mf2();                 // still fine, still calls Base::mf2

d.mf3();                 // fine, calls Derived::mf3
d.mf3(x);                // now okay, calls Base::mf3

这意味着如果你从一个带有重载函数的 base class 继承，而且你只想重定义或替换它们中的一部分，你需要为每一个你不想覆盖的名字使用 using declaration。如果你不这样做，一些你希望继承下来的名字会被覆盖。

可以想象在某些时候你不希望从你的 base classes 继承所有的函数。在 public inheritance 中，这是绝不会发生的，这还是因为，它违反了 public inheritance 在 base 和 derived classes 之间的 is-a 关系。（这就是为什么上面的 using declarations 在 derived class 的 public 部分：在 base class 中是 public 的名字在公有继承的 derived class 中也应该是 public。）然而，在 private inheritance（参见 Item 39）中，它还是有意义的。例如，假设 Derived 从 Base 私有继承，而且 Derived 只想继承没有参数的那个 mf1 的版本。在这里，using declaration 没有这个本事，因为一个 using declaration 会使得所有具有给定名字的函数在 derived class 中可见。不，这里是使用了一种不同的技术的情形，即，一个简单的 forwarding function（转调函数）：

class Base {
public:
  virtual void mf1() = 0;
  virtual void mf1(int);

  ...                                    // as before
};

class Derived: private Base {
public:
  virtual void mf1()                   // forwarding function; implicitly
  { Base::mf1(); }                     // inline (see Item 30)
  ...
};

...

Derived d;
int x;

d.mf1();                               // fine, calls Derived::mf1
d.mf1(x);                              // error! Base::mf1() is hidden

forwarding function（转调函数）的另一个功效是用于老式的编译器，它们（不正确地）不支持用 using declarations 将“通过继承得到的名字”引入到 derived class 的作用域。

这就是关于 inheritance 和 name hiding 的全部故事，但是当 inheritance 与 templates 结合起来，“通过继承得到的名字被隐藏”的问题会以一种全然不同的形式呈现出来。关于全部 angle-bracket-demarcated（边边角角）的细节，参见 Item 43。

Things to Remember

• derived classes 中的名字覆盖 base classes 中的名字，在 public inheritance 中，这从来不是想要的。

• 为了使隐藏的名字重新可见，使用 using declarations 或者 forwarding functions（转调函数）。