(一)
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 声明式或者转交函数。