# C++ `override` 关键字详解

`override` 是 C++11 引入的关键字，用于显式标识派生类中覆盖（重写）基类虚函数的成员函数。它是现代 C++ 中提高代码安全性和可读性的重要特性。

## 1. 基本用法

```cpp
class Base {
public:
    virtual void foo() const;
    virtual ~Base() = default;
};

class Derived : public Base {
public:
    void foo() const override; // 正确：显式声明覆盖基类虚函数
};
```

## 2. 核心作用

### 编译器检查
- 确保函数确实覆盖了基类的虚函数
- 如果签名不匹配（参数类型、const限定等），编译器将报错

```cpp
class Derived : public Base {
public:
    void foo(int) override; // 错误：没有匹配的基类虚函数可覆盖
};
```

### 代码可读性
- 明确表明这是对基类函数的覆盖
- 区别于派生类新增的函数

## 3. 对比 C++98 传统方式

没有 `override` 时容易出现的隐蔽错误：

```cpp
class Base {
public:
    virtual void foo(int);
};

class Derived : public Base {
public:
    virtual void foo(double); // 本意是覆盖，实际是重载
                             // 无编译错误，运行时多态失效
};
```

使用 `override` 后：

```cpp
class Derived : public Base {
public:
    virtual void foo(double) override; // 编译错误：签名不匹配
};
```

## 4. 使用规则

1. **只能用于虚函数覆盖**
   ```cpp
   void nonVirtual() override; // 错误：基类无此虚函数
   ```

2. **必须与基类虚函数签名完全一致**
   - 包括参数类型、const限定、引用限定等

3. **可配合 `final` 使用**
   ```cpp
   void foo() const override final; // 覆盖并禁止进一步覆盖
   ```

## 5. 实际应用场景

### 大型类继承体系
```cpp
class Shape {
public:
    virtual double area() const = 0;
    virtual std::string type() const;
};

class Circle : public Shape {
public:
    double area() const override; // 明确覆盖纯虚函数
    std::string type() const override; // 覆盖基类实现
};
```

### 模板方法模式
```cpp
class Algorithm {
public:
    virtual void init() {} // 可选步骤
    virtual void process() = 0; // 必须实现的步骤
    void run() {
        init();
        process();
    }
};

class ConcreteAlgo : public Algorithm {
public:
    void init() override { /* 定制初始化 */ }
    void process() override { /* 实现处理逻辑 */ }
};
```

## 6. 与相关关键字的区别

| 关键字 | 作用 | 使用场景 |
|--------|------|----------|
| `virtual` | 声明虚函数 | 基类中首次声明虚函数 |
| `override` | 显式标记覆盖 | 派生类中覆盖基类虚函数 |
| `final` | 禁止进一步覆盖 | 类或虚函数的最终版本 |

## 7. 最佳实践

1. **始终使用 `override`**
   - 即使是明显的覆盖也显式标记
   - 提高代码可维护性

2. **配合现代 IDE 使用**
   - 现代 IDE 能基于 `override` 提供更好的代码导航和重构支持

3. **在团队规范中明确要求**
   - 作为代码审查的必要项

4. **与 `= default` 和 `= delete` 结合**
   ```cpp
   class Derived : public Base {
   public:
       Derived() = default;
       Derived(const Derived&) = delete;
       void foo() override;
   };
   ```

`override` 是防御性编程的重要工具，能有效避免因函数签名错误导致的隐蔽 bug，建议在所有现代 C++ 项目中规范使用。