c++中如何使用虚函数_C++多态核心之虚函数(virtual)详解

<p>虚函数是C++实现运行时多态的关键机制，允许基类指针调用派生类重写的函数。通过virtual关键字在基类中声明，派生类使用override重写，实现动态绑定。例如Shape基类的virtual void draw()在Circle类中被重写，Shape* ptr = new Circle(); ptr->draw(); 调用Circle的版本。纯虚函数（virtual void draw() = 0;）使类成为抽象类，不能实例化，强制派生类实现该函数。如Rectangle继承Shape并实现draw()。虚析构函数确保通过基类指针删除对象时正确调用派生类析构函数，防止资源泄漏，应始终将基类析构函数设为虚函数。注意虚函数仅适用于非静态成员函数，构造函数不能为虚函数，且虚函数有vtable开销，需谨慎使用。</p>

在C++中，虚函数（virtual function）是实现多态的核心机制。通过虚函数，基类指针或引用可以调用派生类中重写的函数，从而实现“同一个接口，多种行为”。

什么是虚函数？

虚函数是在基类中使用 virtual 关键字声明的成员函数，它允许在派生类中被重写（override）。当通过基类指针或引用调用该函数时，程序会根据对象的实际类型决定调用哪个版本的函数——这就是动态绑定（运行时多态）。

示例：

定义一个基类 Shape，包含一个虚函数 draw()：

class Shape {
public:
    virtual void draw() {
        cout << "Drawing a shape." << endl;
    }
};

再定义一个派生类 Circle，重写 draw() 函数：

class Circle : public Shape {
public:
    void draw() override {
        cout << "Drawing a circle." << endl;
    }
};

使用基类指针调用 draw()：

Shape* ptr = new Circle();
ptr->draw();  // 输出：Drawing a circle.

尽管指针类型是 Shape*，但实际调用的是 Circle 的 draw()，因为 draw() 是虚函数。

纯虚函数与抽象类

如果希望某个函数必须在派生类中实现，可以在基类中将其定义为纯虚函数，语法为：virtual 返回类型 函数名() = 0;

包含纯虚函数的类称为抽象类，不能实例化对象。

示例：

class Shape {
public:
    virtual void draw() = 0;  // 纯虚函数
};
class Rectangle : public Shape {
public:
void draw() override {
cout << "Drawing a rectangle." << endl;
}
};

此时无法创建 Shape 对象：
// Shape s; // 错误！抽象类不能实例化
只能用派生类对象：

Shape* ptr = new Rectangle();
ptr->draw();  // 正确，输出：Drawing a rectangle.

虚析构函数的重要性

当通过基类指针删除派生类对象时，如果不将析构函数设为虚函数，可能导致派生类的析构函数不被调用，造成资源泄漏。

解决方法：将基类的析构函数声明为虚函数。

示例：

class Shape {
public:
    virtual void draw() = 0;
    virtual ~Shape() {
        cout << "Shape destroyed." << endl;
    }
};
class Triangle : public Shape {
public:
~Triangle() {
cout << "Triangle destroyed." << endl;
}
void draw() override {
cout << "Drawing a triangle." << endl;
}
};

现在删除对象时能正确调用派生类析构函数：

Shape* ptr = new Triangle();
delete ptr;
// 输出顺序：
// Triangle destroyed.
// Shape destroyed.

注意事项与常见误区

使用虚函数时需注意以下几点：

• 只有成员函数才能声明为虚函数，全局函数和静态函数不行。
• 构造函数不能是虚函数（对象还没构造完成，无法建立虚函数表）。
• 析构函数通常应为虚函数，尤其是作为基类时。
• 建议使用 override 关键字明确表示重写，提高代码可读性和安全性。
• 虚函数依赖虚函数表（vtable），有一定内存和性能开销，非必要不滥用。

基本上就这些。掌握虚函数的使用，是理解C++面向对象多态特性的关键一步。正确使用虚函数、纯虚函数和虚析构函数，能让程序结构更清晰、扩展性更强。