1. 重载、覆盖(重写)、隐藏
1. 重载(overload)
重载的概念相对简单,只有在用一类定义中的同名成员函数才存在重载关系,主要特点是函数的参数类型和数目有所不同,但不能出现函数参数的个数和类型均相同,仅仅依靠返回值类型不同来区分的函数,这和普通函数的重载是完全一致的。另外,重载和成员函数是否是虚函数无关。
成员函数被重载的特征:
相同的范围(在用一个类中);
相同的函数名字;
不同的参数列表;
virtual 关键字可有可无。
2. 覆盖(overrid)
覆盖,又名重写:在派生类中覆盖基类中的同名函数,要求基类函数必须是虚函数,且:
1)与基类的虚函数有相同的参数个数;
2)与基类的虚函数有相同的参数类型;
3)与基类的虚函数有相同的返回类型:或者与基类虚函数的相同,或者都返回指针(或引用),并且派生类虚函数所返回的指针(或引用)类型是基类中被替换的虚函数所返回的指针(或引用)类型的子类型(派生类型)。
覆盖的特征如下:
- 不同的范围(分别位于派生类与基类);
- 相同的函数名字;
- 相同的参数;
- 基类函数必须有 virtual 关键字。
重载与覆盖的区别如下:
- 覆盖是子类和父类之间的关系,是垂直关系;重载是同一个类中不同方法之间的关系,是水平关系;
- 覆盖要求参数列表相同,重载要求参数列表不同;覆盖要求返回类型相同,重载则不要求;
- 覆盖关系中,调用方法体示根据对象的类型来决定的,重载关系是根据调用时的实参表与形参表来选择方法体的。
3. 隐藏(hide, oversee)
隐藏指的是在某些情况下,派生类中的函数屏蔽了基类中的同名函数,这些情况包括:
- 两个函数参数相同,但是基类函数不是虚函数;(注意与覆盖区分)
- 两个函数参数不同,无论基类函数是否是虚函数,基类函数都会被屏蔽。(注意与重载区分)
示例分析
- 函数Derived::f(float)覆盖了Base::f(float)。
- 函数Derived::g(int)隐藏了Base::g(float),而不是重载。
- 函数Derived::h(float)隐藏了Base::h(float),而不是覆盖。
- 父类指针指向子类实例对象,调用普通“重写”方法时,会调用父类中的方法。而调用被子类覆盖虚函数时,会调用子类中的方法。子类中被覆盖的虚函数的运行方式是动态绑定的,与当前指向类实例的父类指针类型无关,仅和类实例对象本身有关。
#include <iostream>
using namespace std;
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; }
};
int main()
{
Derived d;
Base *pb = &d;
Derived *pd = &d;
// Good : behavior depends solely on type of the object
pb->f(3.14f); // Derived::f(float) 3.14
pd->f(3.14f); // Derived::f(float) 3.14
// Bad : behavior depends on type of the pointer
pb->g(3.14f); // Base::g(float) 3.14
pd->g(3.14f); // Derived::g(int) 3 (surprise!)
// Bad : behavior depends on type of the pointer
pb->h(3.14f); // Base::h(float) 3.14 (surprise!)
pd->h(3.14f); // Derived::h(float) 3.14
return 0;
}
运行结果: