这其实是一个作用域带来的问题:局部变量会掩盖同名的外围变量。注意,只要同名就会被掩盖,与类型无关:
void main()
{
int a = 10;
{
double a = 0.1;
cout<<a<<endl;//结果为0.1
}
cout<<a<<endl;//结果为10
}
而对于继承派生体系也是如此,因为派生类继承了基类的所有public部分,所以:
class Base
{
public:
virtual void f1() = 0;
virtual void f2(){cout<<"Base f2"<<endl;}
};
class Drived: public Base
{
public:
void f1()
{
f2();
}
void f2()
{cout<<"Drived f2"<<endl;}
};
//main.cpp
Drived d;
d.f1();
中f1调用的是派生类的f2,如果想调用基类的f2,那么必须指明作用域:
void f1()
{
Base::f2();
}
明白了作用域关系之后,让我们看一个例子:
class Base
{
public:
virtual void f1() = 0;
virtual void f2(){cout<<"Base f2"<<endl;}
void f3(){cout<<"Base f3"<<endl;}
void f3(double d){cout<<"Base f3 double"<<endl;}//重载
};
class Drived: public Base
{
public:
void f1(){cout<<"Drived f1"<<endl;}
void f2(int i){cout<<"Drived f2"<<endl;}
void f3(){cout<<"Base f3 int"<<endl;}
};
此时
Drived d;
d.f2(1);//正确
//错误d.f2();
因为派生类中的f2(int i)屏蔽了基类中的f2()。同理还有f3(int i)函数。f1函数由于抽象类声明了接口为f1(),所以没有改变。这说明,这种关系的掩盖只取决于函数的名字,与函数的形参、返回值类型,是否为虚函数之类的无关。
总之,我们发现基类的函数在这里不能使用了:即is-a关系不再成立了!为了让is-a关系继续满足,你可以通过声明来实现:
public:
using Base::f2;
using Base::f3;
void f1(){cout<<"Drived f1"<<endl;}
int f2(int i){cout<<"Drived f2"<<endl;return 1;}
void f3(int i){cout<<"Drived f3"<<endl;}
此时:
d.f3();
d.f3(1);
d.f3(1.1);
都是正确的。
但是,using声明带来的问题是:假如我只想使用基类的f3的某个特定版本,但是这里会把f3的所有版本暴漏给派生类。怎么办呢?有一种称为转交函数的办法,在派生类中定义:
void f3(double i)
{
Base::f3(i);
}
此时就避免了基类中的f3()函数暴漏出来了。
总之,派生类内的名称会掩盖基类中的名称,如果不想让这些名称被掩盖,可以使用using声明或者使用转交函数。