C++中的final和override关键字详解

在C++中， final 和 override 是两个关键字，用于对类和类成员进行修饰，提供了更强的编译时检查和更灵活的代码设计。

一、 final 关键字

1. 修饰类： final 用于修饰类，表示该类不能被继承。它将该类标记为最终类，禁止其他类从它派生。

   class Base final {
       // ...
   };
   

   在这个例子中，Base 类被声明为 final，因此不能有其他类继承自它。

2. 修饰虚函数： final 用于修饰虚函数，表示该虚函数在派生类中不能被重写。

   class Base {
   public:
       virtual void foo() final {
           // ...
       }
   };
   

   在这个例子中，foo 被声明为 final，意味着任何派生类都不能再重写这个虚函数。

二、 override 关键字

1. 标记重写： override 用于标记派生类中的虚函数，确保它是基类中虚函数的重写版本。

   class Base {
   public:
       virtual void foo() {
           // ...
       }
   };
   
   class Derived : public Base {
   public:
       void foo() override {
           // ...
       }
   };
   

   在这个例子中，Derived 类中的 foo 被标记为 override，以确保它是 Base 类中虚函数 foo 的重写。

2. 编译时检查： 使用 override 可以在编译时进行检查，确保派生类中的函数确实是基类中虚函数的重写版本。如果没有正确重写，编译器将发出错误。

   class Base {
   public:
       virtual void foo() {
           // ...
       }
   };
   
   class Derived : public Base {
   public:
       void bar() override {  // 编译错误，bar 不是 foo 的重写
           // ...
       }
   };
   

三、使用场景：

• 使用 final 可以确保某个类不被继承，这在设计中有时候是有必要的，例如为了保护某些核心功能不被修改或破坏。

• 使用 override 可以帮助确保派生类正确地重写了基类中的虚函数，提高代码的可读性和可维护性。

四、 注意事项：

• 在使用 final 和 override 时，确保它们的使用场景正确。过度使用可能导致设计变得过于复杂。

• override 关键字只能用于虚函数，而 final 关键字既可以用于类也可以用于虚函数。

• C++11 引入了这两个关键字，因此确保你的编译器和项目支持这些标准。