C++如何实现多态_C++虚函数与纯虚函数实现动态多态的方法

冰火之心 2025-12-02 00:00:00 次阅读

多态通过虚函数和纯虚函数实现，允许基类指针调用派生类函数。1. 虚函数使用virtual关键字声明，通过指针或引用触发动态绑定；2. 编译器为含虚函数的类生成vtable，对象包含vptr指向该表；3. 纯虚函数语法为virtual func() = 0，含有纯虚函数的类为抽象类，不能实例化；4. 实现多态需满足：继承关系、基类函数为virtual、派生类重写函数、通过基类指针或引用调用。

多态是面向对象编程的重要特性之一，C++通过虚函数和纯虚函数实现动态多态。它允许基类指针或引用在运行时调用派生类的函数，从而实现“一个接口，多种实现”的效果。

虚函数实现动态多态

在基类中使用 virtual 关键字声明的成员函数称为虚函数。当派生类重写该函数后，通过基类指针或引用调用该函数时，会根据实际对象类型决定调用哪个版本。

关键点：

- 必须通过指针或引用调用虚函数才能触发动态绑定- 虚函数在基类中可以有定义，也可以被重写- 编译器为包含虚函数的类生成虚函数表（vtable），每个对象包含指向该表的指针（vptr）

示例代码：

class Animal {
public:
    virtual void speak() {
        cout << "Animal speaks" << endl;
    }
    virtual ~Animal() {} // 建议虚析构函数
};
class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};
// 使用
Animal* pet = new Dog();
pet->speak(); // 输出：Dog barks

纯虚函数与抽象类

纯虚函数是一种特殊的虚函数，在基类中没有实现，要求派生类必须提供具体实现。含有纯虚函数的类称为抽象类，不能实例化。

语法格式：
virtual 返回类型函数名(参数) = 0;

作用：

- 定义接口规范，强制派生类实现特定功能- 实现更彻底的多态设计- 支持回调、插件架构等高级设计模式

示例：

class Shape {
public:
    virtual double area() const = 0; // 纯虚函数
    virtual ~Shape() = default;
};
class Circle : public Shape {
private:
double radius;
public:
Circle(double r) : radius(r) {}
double area() const override {
return 3.14159  radius  radius;
}
};

Shape 是抽象类，无法创建 Shape 对象，但可以用 Shape* 指向具体的图形对象，并统一调用 area()。