就像你看到的,即使base和derived classes中的函数具有不同的参数类型,它也同样适用,而且不管函数是virtual还是non-virtual,它也同样适用。与“在本文的开始处,函数someFunc中的double x覆盖了global作用域中的int x”的道理相同,这里Derived中的函数mf3覆盖了具有不同类型的名为mf3的一个Base函数。
这一行为背后的根本原因是为了防止“当你在一个library或者application framework中创建一个新的derived class时,偶然地发生从遥远的base classes继承overloads的情况”。不幸的是,一般情况下你是需要继承这些overloads的。实际上,如果你使用了public inheritance而又没有继承这些overloads,你就违反了“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中,它还是有意义的。例如,假设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(边边角角)的细节。
Things to Remember
◆derived classes中的名字覆盖base classes中的名字,在public inheritance中,这从来不是想要的。
◆为了使隐藏的名字重新可见,使用using declarations或者forwarding functions(转调函数)。 |