C++如何实现虚函数实现多态-C++-PHP中文网

虚函数通过动态绑定实现运行时多态，允许基类指针调用派生类重写函数。1. 基类用virtual声明虚函数；2. 派生类以override重写同签名函数；3. 通过基类指针或引用调用时，程序根据实际对象类型确定执行版本。如Shape基类的draw()被Circle和Rectangle重写，Shape*指向派生类时调用对应draw()。4. 虚析构函数确保正确释放资源；5. 构造函数不能为虚；6. 多态有vtable和vptr机制支撑：每个含虚函数的类有vtable存储虚函数地址，每个对象含vptr指向所属类vtable；7. 调用虚函数时通过vptr定位vtable，再按偏移量找到函数地址执行；8. 纯虚函数（=0）定义接口，含纯虚函数的抽象类不可实例化，强制派生类实现其方法，支持开闭原则与设计模式。

c++如何实现虚函数实现多态

在C++中，虚函数是实现运行时多态（Runtime Polymorphism）的关键机制。简单来说，它允许我们通过基类指针或引用调用派生类中重写（override）的成员函数，从而在程序运行时根据对象的实际类型来决定执行哪个函数版本，而非编译时根据指针或引用的类型来决定。

C++中，虚函数实现多态的原理其实挺直观的，但又蕴含着精妙的设计。当你将基类中的某个成员函数声明为

virtual

登录后复制

，你就告诉编译器：“嘿，这个函数在派生类里可能会有不同的实现，到时候别急着决定调用哪个，等程序跑起来看对象到底是个啥类型再说。”

具体到操作层面，这通常涉及以下几步：

声明虚函数： 在基类中，将你希望能够被派生类重写并实现多态行为的函数前加上
```
virtual
```
登录后复制
关键字。
派生类重写： 在派生类中，定义一个与基类虚函数签名（函数名、参数列表和常量性）完全相同的函数。虽然不是强制的，但强烈建议使用
```
override
```
登录后复制
关键字明确指出这是对基类虚函数的重写，这能帮助编译器检查错误并提升代码可读性。
通过基类指针/引用调用： 当你有一个基类指针或引用指向一个派生类对象时，通过这个指针或引用调用那个虚函数，C++的动态绑定机制就会确保调用到的是派生类中对应的实现。

举个例子，假设我们有一个

Shape

登录后复制

基类和

Circle

登录后复制

、

Rectangle

登录后复制

派生类，它们都有一个

draw()

登录后复制

函数。如果

draw()

登录后复制

在

Shape

登录后复制

中是虚函数，那么即使我们用

Shape*

登录后复制

指向一个

Circle

登录后复制

对象，调用

draw()

登录后复制

时，实际执行的也是

Circle

登录后复制

的

draw()

登录后复制

。这正是“一个接口，多种实现”的魅力所在。

立即学习“C++免费学习笔记（深入）”；

#include <iostream>
#include <vector>
#include <memory> // for std::unique_ptr

// 基类
class Shape {
public:
    // 声明为虚函数，允许派生类重写并实现多态
    virtual void draw() const {
        std::cout << "Drawing a generic shape." << std::endl;
    }

    // 虚析构函数至关重要，以确保通过基类指针删除派生类对象时，
    // 能够正确调用派生类的析构函数，避免资源泄露。
    virtual ~Shape() {
        std::cout << "Shape destructor called." << std::endl;
    }
};

// 派生类 Circle
class Circle : public Shape {
public:
    // 使用 override 明确指出重写基类的虚函数
    void draw() const override {
        std::cout << "Drawing a circle." << std::endl;
    }
    ~Circle() override {
        std::cout << "Circle destructor called." << std::endl;
    }
};

// 派生类 Rectangle
class Rectangle : public Shape {
public:
    void draw() const override {
        std::cout << "Drawing a rectangle." << std::endl;
    }
    ~Rectangle() override {
        std::cout << "Rectangle destructor called." << std::endl;
    }
};

// 客户端代码示例
int main() {
    // 创建一个 Shape 指针的 vector
    std::vector<std::unique_ptr<Shape>> shapes;

    // 添加不同类型的派生类对象
    shapes.push_back(std::make_unique<Circle>());
    shapes.push_back(std::make_unique<Rectangle>());
    shapes.push_back(std::make_unique<Shape>()); // 也可以是基类对象

    // 遍历并调用 draw() 函数
    // 尽管我们通过 Shape* 调用，但实际执行的是各自派生类的 draw()
    std::cout << "--- Drawing shapes ---" << std::endl;
    for (const auto& shape_ptr : shapes) {
        shape_ptr->draw();
    }
    std::cout << "--- Shapes drawn ---" << std::endl;

    // 当 unique_ptr 超出作用域时，会自动调用析构函数
    // 由于 Shape 的析构函数是虚的，会正确调用派生类的析构函数
    return 0;
}

登录后复制

这段代码清晰地展示了，即使

shapes

登录后复制

容器里存储的是

std::unique_ptr<Shape>

登录后复制

，在循环中调用

draw()

登录后复制

时，程序依然能根据实际指向的对象类型（

Circle

登录后复制

、

Rectangle

登录后复制

或

Shape

登录后复制

自身）执行正确的

draw()

登录后复制

版本。这就是虚函数带来的多态性。

C++虚函数在设计模式中的核心作用及常见误区

虚函数不仅仅是语法糖，它是面向对象设计中实现“开闭原则”（对扩展开放，对修改关闭）的基石。在许多设计模式中，虚函数扮演着核心角色，比如工厂方法模式、策略模式、模板方法模式等。它允许我们定义一套通用的接口，而具体的实现则留给派生类去完成，使得系统易于扩展，而无需修改现有代码。

然而，在使用虚函数时，也有一些常见的误区和需要注意的点：

虚析构函数的重要性： 如果一个类被设计为基类，并且可能会通过基类指针删除派生类对象，那么它的析构函数必须是虚函数。否则，当通过基类指针
```
delete
```
登录后复制
一个派生类对象时，只会调用基类的析构函数，而派生类的析构函数将不会被调用，导致资源泄露。这是一个非常常见的错误，甚至可以说，只要一个类有虚函数，或者可能被继承，其析构函数就应该考虑声明为虚函数。
构造函数不能是虚函数： 构造函数不能是虚函数，因为在对象构造期间，其类型是确定的，多态机制尚未完全建立。虚函数机制依赖于对象内存布局中的虚函数表（vtable），而vtable指针是在构造函数执行期间初始化的。
性能开销： 虚函数的调用比普通函数多了一次通过虚函数表查找地址的间接开销。对于性能极其敏感的场景，这可能是需要考虑的因素。但对于大多数应用程序而言，这种开销微乎其微，多态带来的设计灵活性和可维护性往往远超这点性能损失。
final
登录后复制
关键字：从C++11开始，可以使用
```
final
```
登录后复制
关键字来阻止派生类进一步重写某个虚函数，或者阻止一个类被继承。这在某些设计场景下很有用，比如你希望某个类的某个行为在特定层级后就固定下来。
override
登录后复制
关键字：强烈建议在派生类中重写虚函数时使用
```
override
```
登录后复制
。它能让编译器检查你的函数签名是否与基类虚函数完全匹配。如果不匹配，编译器会报错，避免了因拼写错误或参数不一致导致的新函数而非重写的问题。