C++11新特性:
在派生类中,重写(override)继承自基类成员函数的实现时,要满足如下条件:
- 基类中,成员函数声明为虚拟的(virtual)
- 基类和派生类中,成员函数的返回类型和异常规格必须兼容
- 基类和派生类中,成员函数名、形参类型、常量属性和引用限定符必须完全相同
如此多的限制条件,导致了虚函数重写如上述代码,极容易因为一个不小心而出错
解决方案:
- virtual 函数类型 函数名(形参表) override
- 如果派生类在虚函数声明时使用了override描述符,那么该函数必须重写其基类中的同名函数,否则代码将无法通过编译
- 可以避免派生类中忘记重写虚函数的错误,具体使用方法和规则见程序
final关键字:(简单暴力,用来避免类被继承,或是基类的函数被重写)
- 避免被继承:struct Base1 final { …… };
- 禁止基类函数被重写:struct Base2 { virtual void f() final; };
#include<iostream>
using namespace std;
class Base
{
public:
virtual void Dis() const
{
printf("Base 1\n");
}
};
class Text: public Base
{
public:
virtual void Dis() //忘了写const,结果这个函数并没有体现多态性覆盖基类的虚函数,如果代码复杂这个错误是致命且难发现的
{
printf("Base 2\n");
}
/* virtual void Dis() override 忘了写const,结果这个函数并没有体现多态性,但是你在函数后面加了override关键字,那么这个时候就会编译失败(提醒你你代码好像写错了)
{
printf("Base 2\n");
} */
/* virtual void Dis() const override 正确!
{
printf("Base 2\n");
} */
};
int main(void)
{
Text er;
Base *p = &er;
p->Dis(); //输出结果:Base 1
return 0;
}