C++函数重写是面向对象编程中继承体系的重要特性，允许子类重新定义父类中已有的虚函数，从而实现不同子类对同一接口的不同实现，是多态特性的核心支撑。通过函数重写，开发者可以在不修改父类代码的前提下，扩展或调整子类的业务逻辑，大幅提升代码的灵活性和可复用性。
函数重写的基础前提
要实现C++函数重写，首先需要父类将对应方法声明为虚函数，子类才能对其进行覆盖。虚函数通过virtual关键字修饰，父类的虚函数会在虚函数表中记录地址，运行时根据实际对象类型查找对应的函数实现，这就是动态绑定的过程。
以下是一个最基础的函数重写示例：
#include <iostream>
using namespace std;
// 父类：图形类
class Shape {
public:
// 声明为虚函数，允许子类重写
virtual void draw() {
cout << "绘制基础图形" << endl;
}
// 虚析构函数，确保删除子类对象时正确调用子类析构
virtual ~Shape() {}
};
// 子类：圆形类
class Circle : public Shape {
public:
// 重写父类的draw方法
void draw() override {
cout << "绘制圆形" << endl;
}
};
// 子类：矩形类
class Rectangle : public Shape {
public:
void draw() override {
cout << "绘制矩形" << endl;
}
};
int main() {
Shape* shape1 = new Circle();
Shape* shape2 = new Rectangle();
shape1->draw(); // 调用Circle的draw，输出：绘制圆形
shape2->draw(); // 调用Rectangle的draw，输出：绘制矩形
delete shape1;
delete shape2;
return 0;
}函数重写的核心规则
并不是所有子类的方法都能称为函数重写，需要满足以下严格规则：
- 父类方法必须被
virtual关键字修饰，是虚函数 - 子类方法的函数名、参数列表、返回值类型必须和父类虚函数完全一致（协变返回类型除外，即父类返回父类指针/引用，子类返回子类指针/引用）
- 子类方法的访问权限不能比父类方法的访问权限更严格，比如父类虚函数是public，子类重写的方法不能是private
- 子类方法可以添加
override关键字显式声明重写，编译器会检查是否符合重写规则，避免拼写错误等问题
重写与重载、隐藏的区别
很多开发者容易混淆函数重写和其他相似概念，三者的核心区别如下：
| 特性 | 函数重写 | 函数重载 | 函数隐藏 |
|---|---|---|---|
| 作用范围 | 父类和子类之间 | 同一作用域 | 父类和子类之间 |
| 函数特征要求 | 函数名、参数、返回值完全一致 | 函数名相同，参数列表不同 | 函数名相同，无virtual修饰或参数不同 |
| 绑定方式 | 动态绑定（运行时确定） | 静态绑定（编译时确定） | 静态绑定（编译时确定） |
实际开发中的注意事项
在使用函数重写时，有几个常见的坑需要避免：
- 父类析构函数建议声明为虚函数，否则删除父类指针指向的子类对象时，只会调用父类析构，导致子类资源泄漏
- 不要在构造和析构函数中调用虚函数，此时对象未完成初始化或已经开始析构，调用的会是父类版本的虚函数，无法实现多态
- 如果父类虚函数有默认参数，子类重写时不要修改默认参数，因为默认参数是静态绑定的，可能导致逻辑不符合预期
合理使用C++函数重写，可以让继承体系更加灵活，比如在框架开发中定义统一的接口虚函数，不同业务模块通过重写实现各自的业务逻辑，无需修改框架核心代码，大幅降低代码的耦合度，提升项目的可维护性。