override 和 final 标识符

实际应用中会发现虚函数在C++中会引起很多问题，因为没有一个强制的机制来标识虚函数在派生类中被重写了，virtual关键字并不是强制性的，这给代码的阅读增加了一些困难，因为你不得不去看继承关系的最顶层以确认这个方法是不是虚方法。在派生类中使用virtual关键字会让代码更易读但会出现一些不明显的错误，示例：

class B 
{
public:
   virtual void f(short)
    {
    cout << "B::f" << endl;
    }
};
 
class D : public B
{
public:
   virtual void f(int)
    {
    cout << "D::f" <<endl;
   }
};

D::f本应该重写B::f，但是这两个函数的签名并不相同，一个参数是short，另一个则是int，因此，B::f仅仅是另外一个和D::f命名相同的函数，是重载而不是重写。你有可能会通过B类型的指针调用f()，并且期盼输出D::f的结果，但是打印出来的结果却是B::f。

这里还有另外一个不明显的错误：参数是相同的，但是在基类中的函数是const成员函数，而在派生类中则不是。

class B 
{
public:
   virtual void f(int) const 
   {
   cout << "B::f " << endl;
   }
};
 
class D : public B
{
public:
   virtual void f(int) 
   {
	cout << "D::f" << endl;
	}
};

又一次，这两个函数的关系是重载而非重写，因此，如果你想通过B类型的指针来调用f()，程序会打印出B::f，而不是D::f。

C++中有一种方法可以来描述这种意图，两个新的、专门的标识符（不是关键字）：

• override，可以指定在基类中的虚函数应该被重写；
• final，可以用来指定派生类中的函数不会重写基类中的虚函数。

第一个例子会变成：

class B 
{
public:
   virtual void f(short) {std::cout << "B::f" << std::endl;}
};
 
class D : public B
{
public:
   virtual void f(int) override {std::cout << "D::f" << std::endl;}
};

这段代码会触发一个编译错误（使用override标识符尝试第二个例子，也会得到相同的错误）：D::f: 有override标识符的函数并没有重写任何基类函数；另一方面，如果想要一个函数永远不能被重写，可以把该函数标识为final，在基类中和派生类中都可以这么做。
如果是在派生类中，可以同时使用override和final标识符。

class B 
{
public:
   virtual void f(int)
    {
    cout << "B::f" << endl;
    }
};
 
class D : public B
{
public:
   virtual void f(int) override final 
   {
   cout << "D::f" << endl;
   }
};
 
class F : public D
{
public:
   virtual void f(int) override 
   {
   cout << "F::f" << endl;
   }
};

用final声明的函数不能被F::f重写。

总结：
1.final 修饰基类的虚函数不能被派生类重写；
2.override 修饰派生类虚函数强制完成重写，如果没有重写会编译报错。