在C++的面向对象编程体系中，虚函数是实现运行时多态的核心工具，它允许子类重写父类的函数，并且在通过父类指针或引用调用该函数时，能够根据对象的实际类型执行对应的子类实现，这个特性就是动态绑定。要实现虚函数，首先需要在父类中将目标函数声明为虚函数，声明方式是在函数返回类型前添加virtual关键字，子类可以选择重写这个函数，重写时可以不加virtual关键字，但为了代码可读性通常建议加上。
虚函数的声明与定义
虚函数的声明必须放在类的内部，且只有类的非静态成员函数才能被声明为虚函数。以下是一个基础的虚函数声明示例：
#include <iostream>
using namespace std;
// 父类
class Base {
public:
// 声明虚函数
virtual void show() {
cout << "这是父类的show函数" << endl;
}
// 虚析构函数，避免内存泄漏
virtual ~Base() {}
};
// 子类1
class Derived1 : public Base {
public:
// 重写父类的虚函数
void show() override {
cout << "这是Derived1的show函数" << endl;
}
};
// 子类2
class Derived2 : public Base {
public:
// 重写父类的虚函数
void show() override {
cout << "这是Derived2的show函数" << endl;
}
};
上面的代码中，Base类的show函数被声明为虚函数，两个子类分别重写了这个函数，override关键字是C++11引入的，用于显式标记函数是重写父类的虚函数，能避免拼写错误等问题。
动态绑定的实现与验证
动态绑定的核心是当使用父类的指针或引用指向子类对象时，调用虚函数会执行子类的重写版本，而不是父类的版本。我们可以通过以下代码验证这个特性：
int main() {
Base* base1 = new Derived1();
Base* base2 = new Derived2();
Base& ref1 = *base1;
Base& ref2 = *base2;
// 通过父类指针调用虚函数，触发动态绑定
base1->show();
base2->show();
// 通过父类引用调用虚函数，同样触发动态绑定
ref1.show();
ref2.show();
// 直接调用父类对象的虚函数，执行父类版本
Base base;
base.show();
delete base1;
delete base2;
return 0;
}
这段代码的输出结果会是：
这是Derived1的show函数 这是Derived2的show函数 这是Derived1的show函数 这是Derived2的show函数 这是父类的show函数
可以看到，当指针或引用指向的是子类对象时，调用的都是对应子类的show函数，这就是动态绑定的效果，函数调用的版本是在程序运行时根据对象的实际类型确定的，而不是编译时。
虚函数的底层实现原理
C++中虚函数的动态绑定是通过虚函数表（vtable）实现的。每个包含虚函数的类都会有一个对应的虚函数表，表中存储该类所有虚函数的地址。每个该类的对象都会包含一个指向对应虚函数表的指针（vptr），当调用虚函数时，程序会通过对象的vptr找到对应的虚函数表，再从表中取出函数的地址进行调用。
如果子类重写了父类的虚函数，那么子类的虚函数表中对应位置的地址会被替换为子类重写后的函数地址；如果子类没有重写父类的虚函数，那么子类的虚函数表中对应位置会保留父类虚函数的地址。这就是动态绑定能够生效的底层原因。
虚函数的使用注意事项
- 只有类的非静态成员函数才能被声明为虚函数，静态成员函数和全局函数都不能是虚函数。
- 如果父类的析构函数是虚函数，那么删除父类指针指向的子类对象时，会先调用子类的析构函数，再调用父类的析构函数，避免内存泄漏；如果父类的析构函数不是虚函数，可能会导致子类部分的资源无法释放。
- 虚函数的调用会有一定的性能开销，因为需要通过vptr和虚函数表查找函数地址，在对性能要求极高的场景下需要谨慎使用。
- 构造函数不能是虚函数，因为对象构造时vptr还没有被正确初始化，无法实现动态绑定。
纯虚函数与抽象类
如果父类的虚函数没有具体的实现，只是为了让子类重写，可以将它声明为纯虚函数，声明方式是在函数声明的末尾加上= 0。包含纯虚函数的类称为抽象类，抽象类不能实例化对象，只能作为父类被继承。
// 抽象类
class AbstractBase {
public:
// 纯虚函数
virtual void func() = 0;
virtual ~AbstractBase() {}
};
class ConcreteDerived : public AbstractBase {
public:
void func() override {
cout << "实现了纯虚函数" << endl;
}
};
纯虚函数常用于定义统一的接口规范，要求所有子类都必须实现对应的函数，是C++中实现接口特性的常用方式。