C++中的多态性可以通过虚函数(virtual function)和动态分派(dynamic dispatch)来实现。动态分派是一种在运行时根据对象的实际类型来调用相应函数的方法。这是通过虚函数表(vtable)和虚函数指针(vptr)实现的。
以下是一个简单的示例,展示了如何使用虚函数和动态分派实现多态性:
#include// 基类 Shape class Shape { public: // 虚函数 area() virtual double area() const { return 0.0; } }; // 派生类 Circle,继承自 Shape class Circle : public Shape { public: Circle(double radius) : radius_(radius) {} // 重写基类的虚函数 area() double area() const override { return 3.14159 * radius_ * radius_; } private: double radius_; }; // 派生类 Rectangle,继承自 Shape class Rectangle : public Shape { public: Rectangle(double width, double height) : width_(width), height_(height) {} // 重写基类的虚函数 area() double area() const override { return width_ * height_; } private: double width_; double height_; }; int main() { // 使用基类指针指向派生类对象 Shape* shape1 = new Circle(5.0); Shape* shape2 = new Rectangle(4.0, 6.0); // 调用动态分派的虚函数 area() std::cout << "Circle area: " << shape1->area() << std::endl; std::cout << "Rectangle area: " << shape2->area() << std::endl; // 释放内存 delete shape1; delete shape2; return 0; }
在这个示例中,我们定义了一个基类 Shape
和两个派生类 Circle
和 Rectangle
。基类中有一个虚函数 area()
,派生类分别重写了这个函数。在 main()
函数中,我们使用基类指针指向派生类对象,并通过动态分派调用相应的 area()
函数。这就是C++多态性的实现方式。