虚函数通过动态绑定实现运行时多态，允许基类指针调用派生类重写函数。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++中，虚函数是实现运行时多态（Runtime Polymorphism）的关键机制。简单来说，它允许我们通过基类指针或引用调用派生类中重写（override）的成员函数，从而在程序运行时根据对象的实际类型来决定执行哪个函数版本，而非编译时根据指针或引用的类型来决定。
C++中，虚函数实现多态的原理其实挺直观的，但又蕴含着精妙的设计。当你将基类中的某个成员函数声明为
virtual
，你就告诉编译器：“嘿，这个函数在派生类里可能会有不同的实现，到时候别急着决定调用哪个，等程序跑起来看对象到底是个啥类型再说。”
具体到操作层面，这通常涉及以下几步：
声明虚函数： 在基类中，将你希望能够被派生类重写并实现多态行为的函数前加上
virtual
关键字。派生类重写： 在派生类中，定义一个与基类虚函数签名（函数名、参数列表和常量性）完全相同的函数。虽然不是强制的，但强烈建议使用
override
关键字明确指出这是对基类虚函数的重写，这能帮助编译器检查错误并提升代码可读性。通过基类指针/引用调用： 当你有一个基类指针或引用指向一个派生类对象时，通过这个指针或引用调用那个虚函数，C++的动态绑定机制就会确保调用到的是派生类中对应的实现。
举个例子，假设我们有一个
Shape
基类和
Circle
、
Rectangle
派生类，它们都有一个
draw()
函数。如果
draw()
在
Shape
中是虚函数，那么即使我们用
Shape*
指向一个
Circle
对象，调用
draw()
时，实际执行的也是
Circle
的
draw()
。这正是“一个接口，多种实现”的魅力所在。
立即学习“C++免费学习笔记（深入）”；
#include #include #include // 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; }};// 派生类 Circleclass 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; }};// 派生类 Rectangleclass 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> shapes; // 添加不同类型的派生类对象 shapes.push_back(std::make_unique()); shapes.push_back(std::make_unique()); shapes.push_back(std::make_unique()); // 也可以是基类对象 // 遍历并调用 draw() 函数 // 尽管我们通过 Shape* 调用，但实际执行的是各自派生类的 draw() std::cout << "--- Drawing shapes ---" <draw(); } std::cout << "--- Shapes drawn ---" << std::endl; // 当 unique_ptr 超出作用域时，会自动调用析构函数 // 由于 Shape 的析构函数是虚的，会正确调用派生类的析构函数 return 0;}
这段代码清晰地展示了，即使
shapes
容器里存储的是
std::unique_ptr
，在循环中调用
draw()
时，程序依然能根据实际指向的对象类型（
Circle
、
Rectangle
或
Shape
自身）执行正确的
draw()
版本。这就是虚函数带来的多态性。
C++虚函数在设计模式中的核心作用及常见误区
虚函数不仅仅是语法糖，它是面向对象设计中实现“开闭原则”（对扩展开放，对修改关闭）的基石。在许多设计模式中，虚函数扮演着核心角色，比如工厂方法模式、策略模式、模板方法模式等。它允许我们定义一套通用的接口，而具体的实现则留给派生类去完成，使得系统易于扩展，而无需修改现有代码。
然而，在使用虚函数时，也有一些常见的误区和需要注意的点：
虚析构函数的重要性： 如果一个类被设计为基类，并且可能会通过基类指针删除派生类对象，那么它的析构函数必须是虚函数。否则，当通过基类指针
delete
一个派生类对象时，只会调用基类的析构函数，而派生类的析构函数将不会被调用，导致资源泄露。这是一个非常常见的错误，甚至可以说，只要一个类有虚函数，或者可能被继承，其析构函数就应该考虑声明为虚函数。构造函数不能是虚函数： 构造函数不能是虚函数，因为在对象构造期间，其类型是确定的，多态机制尚未完全建立。虚函数机制依赖于对象内存布局中的虚函数表（vtable），而vtable指针是在构造函数执行期间初始化的。性能开销： 虚函数的调用比普通函数多了一次通过虚函数表查找地址的间接开销。对于性能极其敏感的场景，这可能是需要考虑的因素。但对于大多数应用程序而言，这种开销微乎其微，多态带来的设计灵活性和可维护性往往远超这点性能损失。
final
关键字： 从C++11开始，可以使用
final
关键字来阻止派生类进一步重写某个虚函数，或者阻止一个类被继承。这在某些设计场景下很有用，比如你希望某个类的某个行为在特定层级后就固定下来。
override
关键字： 强烈建议在派生类中重写虚函数时使用
override
。它能让编译器检查你的函数签名是否与基类虚函数完全匹配。如果不匹配，编译器会报错，避免了因拼写错误或参数不一致导致的新函数而非重写的问题。
深入理解C++虚函数表的内部机制
要真正理解虚函数的工作原理，就不得不提其幕后的“英雄”——虚函数表（vtable）和虚指针（vptr）。这虽然是编译器实现细节，但了解它有助于我们更好地使用和理解多态。
当一个类中包含至少一个虚函数时，编译器会为这个类生成一个虚函数表（Virtual Table，简称vtable）。这个vtable本质上是一个函数指针数组，里面存储着该类及其所有基类中所有虚函数的实际地址。每个虚函数在vtable中都有一个固定的偏移量。
同时，该类的每个对象都会在内存中额外包含一个隐藏的虚指针（Virtual Pointer，简称vptr）。这个vptr通常是对象内存布局的第一个成员（或靠近开头），它指向该对象所属类的vtable。
当通过基类指针或引用调用一个虚函数时，C++的运行时系统会执行以下步骤：
查找vptr： 通过基类指针（或引用），找到其所指向对象的vptr。访问vtable： 通过vptr，找到该对象实际类型的vtable。定位函数地址： 在vtable中，根据被调用的虚函数在vtable中的固定偏移量，找到对应函数实现的地址。调用函数： 调用这个地址上的函数。
这个过程就是所谓的动态绑定或运行时绑定。它使得程序在运行时才确定要调用的具体函数版本。例如，
Shape* s = new Circle(); s->draw();
这行代码，编译器并不知道
s
实际指向
Circle
，但在运行时，通过
s
的vptr找到
Circle
的vtable，再从vtable中找到
Circle::draw()
的地址并调用。这就是多态的魔法所在。
纯虚函数与抽象类的设计哲学
虚函数机制的进一步发展是纯虚函数（Pure Virtual Function）和抽象类（Abstract Class）。当一个虚函数被声明为纯虚函数时，它就没有了具体的实现，只提供了一个接口声明。
virtual void draw() const = 0;
这里的
= 0
就表示这是一个纯虚函数。
包含纯虚函数的类被称为抽象类。抽象类不能被直接实例化（即不能创建抽象类的对象），它存在的目的就是作为基类，为派生类提供一个统一的接口规范。派生类必须重写（实现）基类中所有的纯虚函数，否则它自身也将成为一个抽象类。
抽象类和纯虚函数在设计中非常有用，它们强制派生类实现某些特定的行为，确保了接口的完整性。这在构建框架或库时尤为关键，它定义了“契约”，要求所有遵循此契约的派生类都必须提供某些功能。
比如，一个
PaymentProcessor
抽象类可以有一个纯虚函数
processPayment()
。
CreditCardPaymentProcessor
和
PayPalPaymentProcessor
等派生类就必须实现各自的
processPayment()
逻辑。这样，上层代码只需要与
PaymentProcessor
接口打交道，而无需关心具体的支付方式，极大地提升了系统的灵活性和可维护性。这种设计理念，正是C++多态机制的深层次应用，它推动着我们构建更加健壮、可扩展的软件系统。
以上就是C++如何实现虚函数实现多态的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1475308.html
微信扫一扫 
支付宝扫一扫 
