首页 > 代码库 > Effective C++ 33 避免遮掩继承而来的名称

Effective C++ 33 避免遮掩继承而来的名称

 

  首先介绍一个原则LSP(Liskov Substitution Principle),如果Class D以Public方式继承Class B,则所有B对象可以派上用场的任何地方,D对象一样可以派上用场。

对于重载和重写,相信大家都已经有所了解。这里讨论一下在public继承的时候,重载函数的问题。

 

先看下面的例子:

 1 class Base  
 2     {  
 3     public:  
 4         virtual void mf1() = 0;  
 5         virtual void mf1(int);  
 6         virtual void mf2();  
 7         void mf3();  
 8         void mf3(double);  
 9         ...  
10     private:  
11         int x_;  
12     };  
13     class Derived:public Base  
14     {  
15     public:  
16         virtual void mf1();  
17         void mf3();  
18         void mf4();  
19         ...  
20     };  


在基类中,mf1() 和mf3()都被重载,子类public继承父类,这里的子类覆盖了父类中所有名为mf1和mf3的函数。因而以下调用有些会失败。


Derived d;  
int x;  
...  
d.mf1(); // Derived::mf1  
d.mf1(x); //错误 Derived::mf1 hiden Base::mf1  
d.mf2();  // Base::mf2  
d.mf3();  // Derived::mf3  
d.mf3(x); //错误Derived::mf3 hiden Base::mf3


由此可见,及时子类和父类内的函数有不同的参数时,子类的函数还是会覆盖所有父类中同名的函数。

这样做的原因:避免从疏远的父类中继承重载函数。但是实际上,public继承应该遵循LSP原则,即父类和子类是Is-a 的关系,所以我们可以通过using,显示地实现对父类同名重载函数的继承。


1 class Base{...}; //同上  
2 class Derived:public Base{  
3 public:  
4     //让Base class内名为mf1与mf3的所有东西在  
5      //Derived作用域内都可见(并且都是public)  
6     using Base::mf1;  
7     using Base::mf3;  
8     ....//同上          
9 };  
Derived d;  
int x;  
...  
d.mf1(); //no problem. call Derived::mf1  
d.mf1(x); //no problem. Base::mf1  
d.mf2();  //no problem. call Base::mf2  
d.mf3();  //no problem. call Derived::mf3  
d.mf3(x); //no problem. Base::mf3  


如果你不想继承所有的重载函数,则你不应该使用public继承,因为这样会违反LSP原则,你可以使用private继承,为了选择性的继承重载函数,可以使用inline 转交函数(forwarding function),具体实现如下:

 

 1 class Base  
 2 {  
 3 public:  
 4     virtual void mf1() = 0;  
 5     virtual void mf1(int);  
 6     ... //same as above  
 7 };  
 8 class Derived:private Base  
 9 {  
10 public:  
11     virtual void mf1()//转交函数(forwarding function)  
12     {  
13         Base::mf1();   
14     }  
15     ...  
16 };  
17 ...  
18 Derived d;  
19 int x;  
20 d.mf1(); //good! call Derived::mf1  
21 d.mf1(x); //Error as suppose,Base::mf1() was hidden.  

 

关键:

  子类内的名称会遮掩父类内的名称,在pubilc继承下,不应该这样做。

  为了使被遮掩的名称可见,使用using声明或者转交函数。

 

Effective C++ 33 避免遮掩继承而来的名称