Overload、Override和Overwrite英文接近,比较容易混淆,再加上翻译五花八门,使用时张冠李戴,往往是今天清楚明天糊涂。这三个概念在前面章节已分别讨论,这里再集中比较,以作备忘:
Overload
(重载)
前面分析过C++函数重载是借助C++的name mangling机制,允许在同一作用域中出现多个同名不同参的函数,如:
class Base{
int output(int a) {……};
int output(float b, float c){……};
}
这是重载,特点:
1)同名不同参:两个同名同参的函数绝不是重载,注意参数有无const也视为不同;
2)仅仅返回值不同,不构成重载;
3)相同作用域:同一文件域/全局域/namespace域内的同名不同参函数可以构成重载;而对于类成员函数,重载必须发生在同一类域中,分属于基类与派生类的函数不能直接构成重载(派生类函数重载基类函数的说法错误)。
Override
(覆盖)
在派生类中重新定义实现基类中的虚函数,这个过程就是override(译为覆盖),如:
class Base{
virtual void output() { cout << "Base::output()"<< endl;}
};
class Drv0 : public Base{
void output () { cout << "Drv0:: output()" << endl; }
};
这里Drv0::output就是覆盖(override)了Base::output(有人会错用重载overload),覆盖的特征:
1)不同作用域(分别位于派生类与基类);
2)基类函数须为virtual函数,而派生类重新实现的函数需与基类虚函数同名同参。
Overwrite:隐藏(翻译最乱,也有称重定义、重写或屏蔽)
指派生类的函数屏蔽与其同名的基类函数,发生在不同类域(派生类与基类之间),具体情形包括:
1)派生类与基类函数同名但不同参,此时不论基类函数是否virtual,其都将被派生类函数隐藏。(不要与重载混淆,重载发生在同一类域)
2)派生类函数与基类非virtual函数同名同参,此时基类函数被隐藏(不要与覆盖混淆,覆盖特指基类函数为virtual的情况)
梳理后的逻辑:类public派生时,基类成员全部继承到派生类,除非派生类有同名;当派生类与基类成员有同名,除了基类成员为virtual函数时属于覆盖(override),其他情况都是隐藏。
区分
1) overload原理上与override/overwrite没有实质的关联和相似,overload是同一个类中的成员函数间的水平关系;而override/overwrite都是派生类和基类间的垂直关系,只要涉及派生类/基类函数间的关系就不可能是overload。只是overload译成重载,其字面含义与实际功能并不能形象匹配,反而暗示一种上下层间的垂直关系,导致派生类覆盖override或隐藏overwrite基类函数时常被误称为重载,因此只要留心,很容易把overload(重载)区别出来。
2) override覆盖的前提或特点是基类函数必须为virtual,派生类中同名同参重新实现基类的virtual函数就是override,覆盖后可通过基类指针指向的具体对象类型确定调用哪个方法,从而实现函数多态;而overwrite(隐藏)是指派生类的函数屏蔽与其同名的基类非virtual函数,使其不能被派生类对象直接引用。
下例说明覆盖与隐藏的区别:
class Base
{
virtual void a(int x){ cout << "Base::a(int) "<< x << endl; }
void b(int x){ cout << "Base::b(int) "<< x << endl; }
};
class Drv0 : public Base
{
virtual void a(int x){ cout << "Drv0::a(int) "<< x << endl; }
void b(int x){ cout << "Drv0::b(int) "<< x << endl; }
};
void main()
{
Drv0 d;
Base *pbase = &d;
Drv0 *pdrv = &d;
pbase->a(3); //输出Drv0::a(int) 3
pdrv->a(3); //
输出Drv0::a(int) 3
pdrv->b(3); // 输出Drv0::b(int) 3
pbase->b(3); //
输出Base::b(int) 3
}
例中Drv0::a(int)覆盖override了Base::a(int),因此不管是通过基类指针调用pbase->a(3),还是通过派生类指针调用pdrv->a(3),最终都是根据对象类型(Drv0
d;)选择调用函数,结果都为Drv0::a(int) 3
而Drv0::b(int)则隐藏overwrite了Base::b(int),外在表现就是根据指针类型(Base*
pbase和Drv0* pdrv)决定调用函数,即pdrv->b(3)输出Drv0::b(int) 3,而pbase->b(3)输出Base::b(int)
3。因此隐藏相当于对于某一功能派生类另起炉灶,基类和派生类各干各的。
所以覆盖的结果是根据对象类型决定调用哪个函数(多态);而隐藏则表现为根据指针类型决定调用哪个函数,这是覆盖和隐藏最直观的区别。
隐藏overwrite是对函数继承的破坏,多数情况没有必要,因为基类中非virtual型成员函数本就代表类的功能中不变的部分,派生类 应该直接继承使用而不需修改,发生overwrite多数说明设计不完善。
实际上很多时候是不小心把override实现成了overwrite,即本该把基类函数设计为virtual以实现可变功能,却忘了写virtual,结果当在派生类中重写同名函数时就成了overwrite隐藏。