条款33:避免遮掩继承而来的名称

(一)

c++的名称遮掩规则:所做的唯一事情就是:遮掩名称。至于名称是否是相同或不同类型,不重要。

derived class 继承声明与base class 内的所有东西。derived class 作用域被嵌套在base class作用域内:

class Base { 
private: 
    int x; 
public: 
    virtual void mf1() = 0; 
    virtual void mf2(); 
    void mf3(); 
}; 
class Derived : public Base { 
public: 
    virtual void mf1(); 
    void mf4(); 
};

如果derived class 内的mf4的实现是这样的

void Derived::mf4() { 
    mf2(); 
}
当编译器看到这里使用名称mf2,必须估算它指涉什么东西。查找各作用域,看看有没有某个名为mf2声明式。首先查找local作用域,(也就是mf4所覆盖的作用域),没找到任何东西名为mf2.于是查找其外围作用域,class Derived覆盖的作用域。还是没找到任何东西名为mf2,于是再往外围移动,本例为base class。在那找到一个名为mf2的东西,于是停止查找。如果Base 还是没找到mf2,查找继续下去,首先找base 的那个namespace作用域,然后往global作用域找去。


(二)

这次重载mf1和mf3,添加一个新版mf3到derived中。

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: 
    virtual void mf1(); 
    void mf3(); 
    void mf4(); 
};

base class 内所有名为mf1和mf3的函数都被derived class内的mf1和mf3函数遮掩掉了。

Derived d;
int x;
d.mf1();// ok 调用 Derived::mf1
d.mf1(x);//error  Derived::mf1掩盖了Base::mf1
d.mf2();// ok 调用Base::mf2()
d.mf3();//ok 调用Derived::mf3()
d.mf3(x);//error Derived::mf3遮掩了 Base::mf3

即使base class 和derived class 内的函数有不同的参数类型也适用,而且不论函数是virtual 或者 non-virtual也适用。


(三)解决上面的问题 可以用using 声明式达成目标

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;   // 让base class内为mf1和mf3的所有东西   在Derived class作用域内都可见(并且public) 
	using Base::mf3; 
	virtual void mf1(); 
	void mf3(); 
	void mf4(); 
};

Derived d; 
int x; 
d.mf1();  //仍然没问题,仍然调用Derived::mf1
d.mf1(x);//现在没问题了,调用Base::mf1 
d.mf2();   //仍然没问题 调用 Base::mf2
d.mf3();  //仍然没问题,调用 Derived::mf3
d.mf3(x);//现在没问题了,调用Base::mf3

这意味着 如果继承base class并且加上重载函数,而你又希望重新定义或重写(推翻)其中的一部分,那必须为那些原本会覆盖的每一个名称引入一个using 声明式,否则某些你希望继承的名称会被覆盖。


(四)

有时候我们不希望继承base class的所有函数,这个时候就不能用public方式继承了,因为这违反了“base 和 derived 之间的 is-a关系”,所以一个时候就要用private方式继承。


如果 Derived唯一想继承的是base class中的那个无参的版本mf1,。using在这个时候就派不上用场了,using会令继承而来的某给定名称之所有同名函数在Derived class中都可见(在这里如果用using 的话,那么在 base class中的所有mf1在Derived calss中都可见)。这种情况下,我们需要一个简单的转交函数(forward function)


class Base { 
private: 
    int x; 
public: 
    virtual void mf1() = 0; 
    virtual void mf1(int); 
    virtual void mf2(); 
    void mf3(); 
    void mf3(double); 
};

class Derived : private Base { 
public: 
    virtual void mf1()//转交函数 
    { 
        Base::mf1();//暗自转成inline 
    }
};

Derived d; 
int x; 
d.mf1();//调用的是Derived::mf1 
d.mf1(x);//错误,Base::mf1()被遮掩了


记住:

1 derived classes 内的名称会遮掩base classes内的名称。在public 继承下从来没有人希望如此。

2 为了让遮掩的名称再见天日,可以使用using 声明式或者转交函数。








  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值