C++继承与派生中的一个最基本的理念是:在派生类中虚函数的实现,会改写基类中对应虚函数的实现。改写(override)和重载(overload)两个概念容易弄混,但是我们要知道,正是由于虚函数的改写,使得通过基类接口调用派生类函数成为可能。
如果要让改写动作真的发生,有一系列要求必须满足:
- 基类函数必须是虚函数;
- 基类和派生类中(除析构外)函数名字必须相同;
- 基类和派生类中的函数形参型别必须完全相同
- 基类和派生类中的函数常量性必须完全相同
- C++11中还要求基类和派生类的引用饰词必须相同。
对于改写有这么多的要求,哪怕我们编程中忽略了一点都会发生偏差。很多时候甚至编译器都不会告诉我们没有发生改写。C++11提供了一种方法来显式地标明派生类中的函数是为了改写基类版本:为其加上override声明。对于加上override声明的函数,只要上述几条规则没有满足,编译器就会报错。
C++还有一个关键字final,它和override是相对的,override确保派生类函数被改写,final函数应用于虚函数,阻止它在派生类中被改写。