只有参数相同,且有virtual才是覆盖,剩下参数不同或者没有virtual都是隐藏。
学习过C++基础课程的人,对重载函数的概念相对熟悉一些,但是对覆盖和隐藏就相对陌
生了,在编程技术的学习上,你会发现一个规律,很多知识点你都知道,但是一旦用起来,
就常常出错,为什么呢?笔者一直都在探索这个问题。。
重载函数有哪些特性呢?
《高质量C++/C编程指南》已经清晰的列出了重载函数的特性:
(1)相同的范围(在同一个类中);
(2)函数名字相同;
(3)参数不同;
(4)virtual关键字可有可无。
因为函数参数不同,可以简单的理解为:两个重载函数是不同的函数,调用者能够明确
的根据不同的参数来调用不同的函数。那么如果存在这样两个函数,编译器怎么处理呢?
class A
{
public:
void Func(int a, int b=0) {printf("This is Func1/n");}
void Func(int a) {printf("This is Func2/n");}
};
int main()
{
A a;
a.Func(5);
return 0;
}
当然,对于这样两个函数,调用者不知道应该调用哪个函数,故编译器直接报错。
我们在看看,覆盖和隐藏分别是什么特性呢?从字面意思来讲,覆盖和隐藏都具有一个把另
一个给遮住了,那只不过是谁遮谁的问题。
覆盖,是指派生类函数覆盖基类函数,只作用于派生类函数,其特性为:
(1)不同的范围(分别位于派生类与基类);
(2)函数名字相同;
(3)参数相同;
(4)基类函数必须有virtual关键字。
我们发现,这里用到了虚函数,实际上虚函数的作用,就是实现覆盖。
隐藏,是指派生累函数将基类函数给藏起来了,当然只作用于派生类函数,其特性与覆
盖不同。
(1)如果派生类的函数与基类的函数同名,但是参数不同。此时,不论有无virtual关键字
,基类的函数将被隐藏。
(2)如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有virtual关
键字。此时,基类的函数被隐藏。
这里的隐藏和覆盖的含义,感觉上非常的模糊,甚至不清,并且隐藏的规则,常常令人感觉
到神出鬼没。。。
请参看如下实例:
class Base
{
public:
virtual void f(float x){ cout << "Base::f(float) " << x << endl; }
void g(float x){ cout << "Base::g(float) " << x << endl; }
void h(float x){ cout << "Base::h(float) " << x << endl; }
};
class Derived : public Base
{
public:
virtual void f(float x){ cout << "Derived::f(float) " << x << endl; }
void g(int x){ cout << "Derived::g(int) " << x << endl; }
void h(float x){ cout << "Derived::h(float) " << x << endl; }
};
void main(void)
{
Derived d;
Base *pb = &d;
Derived *pd = &d;
pb->f(3.14f);
pd->f(3.14f);
// Bad : behavior depends on type of the pointer
pb->g(3.14f);
pd->g(3.14f);
// Bad : behavior depends on type of the pointer
pb->h(3.14f);
pd->h(3.14f);
}
令人非常不解,bp和dp指向同一地址,按理说运行结果应该是相同的,可事实并非这样。所
以我们还是要想办法摆脱隐藏。
还有一点要切忌,对于static这种静态成员函数,是属于类的方法,而不是对象的方法,所
以static方法绝对不能被覆盖或者隐藏。