函数重写是C++实现运行时多态的关键机制，指的是子类重新定义父类中已经声明的虚函数，让同一接口在不同子类中表现出不同的行为。很多开发者在编写子类专属代码时，会因为对重写规则不熟悉导致功能异常，下面我们结合实际案例讲解相关技巧。
一、函数重写的基础规则
要实现正确的函数重写，首先需要满足几个核心条件，否则代码可能只是子类的普通函数定义，无法触发多态效果：
- 父类中的函数必须声明为
virtual虚函数，非虚函数无法被重写，调用时会根据指针或引用的静态类型匹配函数 - 子类中重写的函数函数名、参数列表、返回值类型必须与父类虚函数完全一致，除了协变返回类型（返回父类虚函数返回类型的子类指针或引用）的特殊情况
- 子类中重写的函数访问权限不能比父类虚函数更严格，比如父类虚函数是public，子类重写为private会导致外部无法通过父类指针调用该函数
二、使用override关键字避免重写错误
C++11引入的override关键字可以显式标记子类中的函数是重写父类的虚函数，如果重写不符合规则，编译器会直接报错，大幅减少低级错误：
#include <iostream>
using namespace std;
// 父类
class Base {
public:
// 声明虚函数
virtual void printInfo() {
cout << "这是父类Base的信息" << endl;
}
// 虚析构函数，保证删除父类指针时正确调用子类析构函数
virtual ~Base() {}
};
// 子类
class Derived : public Base {
public:
// 使用override标记，显式说明这是重写父类的函数
void printInfo() override {
cout << "这是子类Derived的专属信息" << endl;
}
};
int main() {
Base* obj = new Derived();
// 运行时多态，调用子类的printInfo
obj->printInfo();
delete obj;
return 0;
}如果子类中函数签名和父类虚函数不匹配，比如参数数量不同，加上override后编译器会直接提示错误，避免写出看似重写实际没有生效的代码。
三、编写子类专属代码的常见技巧
1. 保留父类逻辑再扩展
很多时候子类重写函数时，需要保留父类的原有逻辑，再添加子类独有的功能，这时候可以在子类函数中调用父类的对应虚函数：
class Derived : public Base {
public:
void printInfo() override {
// 先调用父类的printInfo，保留原有逻辑
Base::printInfo();
// 添加子类专属逻辑
cout << "子类额外添加的专属描述内容" << endl;
}
};2. 处理父类虚函数的默认参数陷阱
需要注意，虚函数的默认参数是静态绑定的，不会根据对象的动态类型变化，所以重写时最好不要修改父类虚函数的默认参数，否则会出现逻辑不符合预期的情况：
class Base {
public:
virtual void func(int val = 10) {
cout << "父类func，val=" << val << endl;
}
};
class Derived : public Base {
public:
// 不要修改默认参数，否则通过父类指针调用时，默认参数还是父类的10
void func(int val = 10) override {
cout << "子类func，val=" << val << endl;
}
};3. 协变返回类型的应用
如果父类虚函数返回的是父类指针或引用，子类重写时可以返回对应子类的指针或引用，这就是协变返回类型，适合工厂方法等场景：
class Parent {
public:
virtual Parent* createObj() {
return new Parent();
}
virtual ~Parent() {}
};
class Child : public Parent {
public:
// 协变返回类型，返回Child*而不是Parent*
Child* createObj() override {
return new Child();
}
~Child() {}
};四、常见避坑点
- 不要重写父类的非虚函数，非虚函数是静态绑定，重写后无法通过父类指针触发子类实现，反而会让代码逻辑混乱
- 父类的虚析构函数一定要声明，否则删除父类指针指向的子类对象时，只会调用父类析构函数，导致子类资源泄漏
- 如果子类不需要重写某个虚函数，不要强行定义同名函数，避免意外隐藏父类的虚函数
掌握这些C++函数重写的技巧后，就可以更灵活地编写子类专属代码，让多态特性在项目中稳定发挥作用，减少逻辑错误和维护成本。
C++函数重写多态虚函数override关键字子类专属代码修改时间：2026-05-29 03:46:14