1.编译器在查找我们所定义的变量的时候,是根据作用域来查找的,C++的名称遮掩规则也是这样的,比如下边这个例子:
int x;
void someFunc()
{
double x;
std::cin >> x;
}
当程序运行到someFunc 函数时,它在将一个值输入到x中时,先对函数 local 作用内查找,是否有叫x 的,如果找不到,就到其他作用域找,在此例中Global 中有x,所以最终先找到的是 double x,它遮掩了int x。
它与名称类型没有关系。
2.我们再看一个继承关系的例子:
class Base
{
public:
virtual void mf1() = 0;
virtual void mf2();
void mf3();
...
private:
int x;
};
class Derived : public Base
{
public:
virtual void mf1();
void mf4();
...
};
// ex_a
void Derived::mf4()
{
...
mf2();
...
}
在ex_a中, 我们调用派生类的 mf4 函数,里边调用到了基类的方法函数mf2,它就是先从local作用域中寻找,如果没有,再到Derived作用域中查找,再然后到Base 作用域中,最后往Global作用域去,这就是一个大致查找的规则;
好的,我们继续看下一个例子:
//ex_b
class Base
{
public:
virtual void mf1() = 0;
virtual void mf1( int );
virtual void mf2();
void mf3();
void mf3( double );
...
private:
int x;
};
class Derived : public Base
{
public:
virtual void mf1();
void mf3();
void mf4();
...
};
让我们来看一下调用结果是否正确吧:
Derived d;
int x;
...
d.mf1(); //没问题,调用Derived::mf1();
d.mf1(x); //错误,因为Derived::mf1 遮掩了 Base::mf1;
d.mf2(); //没问题,调用Base::mf2();
d.mf3(); //没问题,调用Derived::mf3();
d.mf3(x); //错误,因为Derived::mf3 遮掩了Base::mf3;
如你所见,上述规则都适用了,即使在base classes 和 derived classes 内的函数有不同的参数类型也适用。Derived 内的函数mf3 遮掩了Base 内的一个名为mf3但类型不同的函数。
那如果你想推翻这种对 “继承而来的名称” 的遮掩时,该如何做呢?
你可以使用 using 声明式达成目标:
//ex_c
class Base
{
public:
virtual void mf1() = 0;
virtual void mf1( int );
virtual void mf2();
void mf3();
void mf3( double );
...
private:
int x;
};
class Derived : public Base
{
public:
using Base::mf1;
using Base::mf3;
virtual void mf1();
void mf3();
void mf4();
...
};
前例结果都成立,在public 继承下,使用using可使被遮掩的函数显现;
如果是私有继承呢!
//ex_d
class Base
{
public:
virtual void mf1() = 0;
virtual void mf1( int );
...
private:
int x;
};
class Derived : private Base
{
public:
virtual void mf1();//转交函数
{Base::mf1();} //inline
...
};
ex_d 使用 inline 转交函数,将继承而得的名称汇入 派生类(Derived)的作用域中;
到此 此节内容结束,只看例子,结论即可;