1. 重载(overload)
重载从overload
翻译过来,是指在同一作用域中,同名函数的形式参数(参数个数、类型或者顺序)不同时,构成函数重载,重载不关心函数返回类型。
1. 相同的范围(在同一个作用域中)
2. 函数名字相同
3. 参数不同列表
4. virtual 关键字可有可无
5. 返回类型可以不同
2. 重写/覆盖(override)
重写定义为:派生类中与基类同返回值类型、同名和同参数的虚函数重定义,构成虚函数覆盖,也叫虚函数重写。重写的基类中被重写的函数必须有virtual
修饰。
如果虚函数返回指针或者引用时(不包括value语义),子类中重写的函数返回的指针或者引用是父类中被重写函数所返回指针或引用的子类型。
1. 不在同一个作用域(分别位于派生类与基类)
2. 函数名字相同
3. 参数相同列表(参数个数,两个参数列表对应的类型)
4. 基类函数必须有 virtual 关键字
5. 返回值类型相同(或是协变)
6. 重写函数的访问修饰符可以不同。尽管 virtual 是 private 的,派生类中重写改写为 public,protected 也是可以的
3. 隐藏(hiding)
隐藏定义:指不同作用域中定义的同名函数构成隐藏(不要求函数返回值和函数参数类型相同)。
隐藏是指派生类的函数屏蔽了与其同名的基类函数。注意只要同名函数,不管参数列表是否相同,基类函数都会被隐藏。
1. 不在同一个作用域(分别位于派生类与基类)
2. 函数名字相同
3. 返回类型可以不同
4. 参数不同,此时,不论有无virtual关键字,基类的函数将被隐藏(注意别与重载混淆)而不是被重写
5. 参数相同,但是基类函数有无virtual关键字都会被隐藏。此时,基类的函数被隐藏(注意别与覆盖混淆)
区别
重载和重写的区别
范围区别:重写和被重写的函数在不同的类中,重载和被重载的函数在同一类中。
参数区别:重写与被重写的函数参数列表一定相同,重载和被重载的函数参数列表一定不同。
virtual的区别:重写的基类必须要有virtual修饰,重载函数和被重载函数可以被virtual修饰,也可以没有。
隐藏和重写,重载的区别
与重载范围不同:隐藏函数和被隐藏函数在不同类中。
参数的区别:隐藏函数和被隐藏函数参数列表可以相同,也可以不同,但函数名一定同;当参数不同时,无论基类中的函数是否被virtual修饰,基类函数都是被隐藏,而不是被重写。
三者 | 作用域 | 有无virtual | 函数名 | 形参列表 | 返回值类型 |
---|---|---|---|---|---|
重载 | 相同 | 可有可无 | 相同 | 不同 | 可同可不同 |
重写 | 不同 | 有 | 相同 | 相同 | 相同(协变) |
隐藏 | 不同 | 可有可无 | 相同 | 可同可不同 | 可同可不同 |
在C++中,只要原来的返回类型是基类类型的指针或引用,新的返回值类型是派生类的指针或引用,覆盖的方法就可以改变返回类型,这样的返回类型称为协变返回类型。
覆盖和隐藏
对比覆盖和隐藏,不难发现函数覆盖其实是函数隐藏的特例。如果派生类中定义了一个与基类虚函数同名但是参数列表不同的非virtual函数,则此函数是一个普通成员函数,并形成对基类中同名虚函数的隐藏,而非虚函数覆盖。
隐藏是一个静态概念,它代表了标识符之间的一种屏蔽现象,而覆盖则是为了实现动态联编,是一个动态概念。