继承体系下同名成员函数的三种关系
- 重载
- 在同一作用域内
- 函数名相同,参数列表不同(分三种情况:参数个数不同,参数类型不同,参数个数和类型都不同)
- 返回值类型可以相同也可以不同
- 重写(覆盖)
- 在不同作用域内,分别在父类和子类
- 函数名相同,参数列表相同,返回值类型相同,协变除外(下面会介绍什么是协变)
- 基类函数必须有virtual关键字修饰
- 父子类中函数的访问修饰符可以不同
- 重定义(隐藏)
- 在不同的作用域内,分别是父类和子类
- 函数名相同
- 在基类和派生类中只要不构成重写的都是重定义
重载
C++中函数重载达到的效果:
调用函数名相同的函数,根据实参的类型和个数选择相应的实现函数体执行。
函数重载是一种静态多态,或者称之为静态联编、静态绑定、静态决议,其实都一样。
重写/覆盖
在子类中定义一个与父类中完全相同的虚函数:
- 父类和子类中的虚函数,函数名、参数个数、参数类型以及返回值类型都相同,构成重写。
- 子类中的虚函数与父类中的虚函数,函数名、参数个数和类型都相同,只是返回值不同,父类的虚函数返回父类的指针或引用,子类虚函数返回子类的指针或引用,这种情况下也构成重写,我们称之为协变。
C++中函数重写达到的效果:
在子类中重写了父类的虚函数,则子类对象调用该重写函数时从子类内部调用,而不是从父类继承,是一种动态多态。
在子类中重写了父类的虚函数,如果用一个父类指针或引用指向子类对象,那么该指针调用的是重写的虚函数,也即是子类的虚函数, 而如果一个父类指针指向父类对象,则调用父类的虚函数。
重定义/隐藏
指的是在不同作用域内,函数名相同,但不构成重写的则构成重定义。不仅仅是指类的成员函数,也可以是类的成员变量。
C++中重定义达到的效果:
对于在父类和子类中有相同名字的成员,子类会将父类成员隐藏,此时无论在子类内部还是外部,通过子类成员对象访问该成员,访问到的都是子类同名成员。
如果在子类内部或外部通过子类成员访问同名成员函数,则需要根据函数调用的规则来调用子类的同名成员函数,否则调用失败。