在C++面向对象编程体系里，函数重写是实现运行时多态的关键机制，指的是子类重新定义父类中已经存在的虚函数，且函数名、参数列表、返回值类型都与父类虚函数完全一致，最终通过父类指针或引用指向子类对象时，能调用到子类重写后的函数版本。
C++函数重写的核心条件
要实现合法的函数重写，必须满足以下几个硬性要求，缺少任意一条都可能导致函数重写失败，变成普通的函数隐藏：
- 父类中的目标函数必须被声明为虚函数，也就是使用
virtual关键字修饰，否则无法触发多态调用。 - 子类中重写的函数，函数名、参数列表（参数类型、个数、顺序）必须与父类虚函数完全一致，否则会被判定为函数重载或者函数隐藏。
- 子类中重写的函数返回值类型，要么和父类虚函数完全一致，要么返回父类虚函数返回值类型的子类（协变返回类型），其他情况都不符合重写规则。
- 子类中重写函数的访问权限不能比父类虚函数的访问权限更严格，比如父类虚函数是public，子类重写函数不能是private。
函数重写的基础实现示例
下面通过一个简单的动物类示例，展示函数重写的基本实现过程：
#include <iostream>
using namespace std;
// 父类：动物类
class Animal {
public:
// 声明为虚函数，支持重写
virtual void makeSound() {
cout << "动物发出声音" << endl;
}
// 虚析构函数，避免父类指针指向子类对象时析构不完全
virtual ~Animal() {}
};
// 子类：狗类，继承自动物类
class Dog : public Animal {
public:
// 重写父类的makeSound函数
void makeSound() override { // override关键字是C++11引入的，用于显式标记重写，避免写错
cout << "狗汪汪叫" << endl;
}
};
// 子类：猫类，继承自动物类
class Cat : public Animal {
public:
void makeSound() override {
cout << "猫喵喵叫" << endl;
}
};
int main() {
// 父类指针指向子类对象
Animal* animal1 = new Dog();
Animal* animal2 = new Cat();
// 调用重写后的函数，会触发多态，调用子类自己的实现
animal1->makeSound(); // 输出：狗汪汪叫
animal2->makeSound(); // 输出：猫喵喵叫
delete animal1;
delete animal2;
return 0;
}函数重写与易混淆概念的对比
很多开发者会把函数重写和函数重载、函数隐藏搞混，下面通过表格对比三者的核心区别：
| 对比项 | 函数重写 | 函数重载 | 函数隐藏 |
|---|---|---|---|
| 作用范围 | 父类与子类之间 | 同一个类内部 | 父类与子类之间 |
| 函数特征要求 | 函数名、参数、返回值完全一致（协变除外） | 函数名相同，参数列表不同 | 函数名相同，参数可同可不同 |
| virtual关键字 | 父类函数必须带virtual | 不需要 | 父类函数不带virtual，或者子类函数参数不同 |
| 调用逻辑 | 运行时根据对象实际类型决定调用版本 | 编译时根据参数匹配决定调用版本 | 编译时根据指针/引用类型决定调用版本 |
函数重写的注意事项
在实际使用函数重写时，还需要注意以下几个常见问题：
- 如果父类虚函数有默认参数，子类重写时最好不要修改默认参数，因为默认参数是编译期确定的，而重写函数的调用是运行期确定的，修改后可能出现不符合预期的结果。
- C++11之后建议使用
override关键字显式标记重写函数，编译器会检查该函数是否真的重写了父类虚函数，如果不符合重写规则会直接报错，减少人为失误。 - 父类的虚析构函数也支持重写，子类如果需要自定义析构逻辑，会自动重写父类的虚析构函数，不需要显式加
virtual，但建议保持和父类一致的声明风格。 - 如果父类虚函数是
const成员函数，子类重写的函数也必须带const修饰，否则会被判定为不同的函数，无法实现重写。
函数重写的典型应用场景
函数重写最常见的应用场景就是实现统一的接口，不同的子类有不同的实现逻辑。比如图形绘制系统中，父类是图形基类，声明了draw虚函数，子类圆形、矩形、三角形分别重写draw函数实现自己的绘制逻辑，上层代码只需要持有图形基类的指针，就可以调用不同图形的绘制方法，不需要关心具体是哪种图形，大大降低了代码的耦合度，也方便后续扩展新的图形类型。
函数重写是C++多态特性的核心实现方式，理解它的规则和原理，能帮助开发者写出更灵活、扩展性更强的面向对象代码，避免很多因为调用逻辑错误导致的bug。
C++函数重写父类函数覆盖多态虚函数virtual关键字修改时间：2026-06-06 03:01:12