多态是C++中通过继承和虚函数实现“同一接口,多种实现”的机制,允许基类指针调用派生类的重写函数,实现运行时动态绑定,提升代码灵活性与可扩展性。

多态是面向对象编程的核心特性之一,在C++中它允许不同类的对象对同一消息作出不同的响应。简单来说,就是“同一个接口,多种实现”。多态提高了代码的灵活性和可扩展性,使程序能够以统一的方式处理不同类型的对象。
什么是多态
在C++中,多态主要表现为:基类指针或引用可以指向派生类对象,并能根据实际对象类型调用相应的函数。这种行为在运行时决定,称为运行时多态。
例如,一个图形类体系中,Shape* 指针可以指向 Circle 或 Rectangle 对象,调用 draw() 函数时,会自动执行对应类型的绘制逻辑,而不需要在代码中显式判断类型。
多态的实现条件
要实现多态,必须满足以下几个关键条件:
立即学习“C++免费学习笔记(深入)”;
- 继承关系:至少有一个基类和一个或多个派生类。
- 虚函数(virtual function):基类中声明的函数使用 virtual 关键字,表示该函数可以在派生类中被重写。
- 基类指针或引用调用虚函数:通过基类的指针或引用调用虚函数,才能触发动态绑定。
如何实现多态
实现多态的关键在于使用虚函数和继承机制。下面是一个典型示例:
#includeusing namespace std; class Shape { public: virtual void draw() const { cout << "Drawing a shape." << endl; } virtual ~Shape() {} // 虚析构函数很重要 };
class Circle : public Shape { public: void draw() const override { cout << "Drawing a circle." << endl; } };
class Rectangle : public Shape { public: void draw() const override { cout << "Drawing a rectangle." << endl; } };
int main() { Shape s1 = new Circle(); Shape s2 = new Rectangle();
s1-youjiankuohaophpcndraw(); // 输出: Drawing a circle. s2-youjiankuohaophpcndraw(); // 输出: Drawing a rectangle. delete s1; delete s2; return 0;}
在这个例子中,draw() 是虚函数,通过 Shape* 指针调用时,实际执行的是派生类的版本,这就是多态的体现。
纯虚函数与抽象类
有时候我们希望基类中的某个函数没有具体实现,只作为接口存在。这时可以使用纯虚函数:
class Shape {
public:
virtual void draw() const = 0; // 纯虚函数
virtual ~Shape() {}
};
包含纯虚函数的类称为抽象类,不能实例化对象。派生类必须实现所有纯虚函数,否则也是抽象类。
注意事项
使用多态时需要注意以下几点:
- 虚析构函数:如果类设计为基类,析构函数应声明为 virtual,防止派生类对象通过基类指针删除时发生资源泄漏。
- override 关键字:建议在派生类中重写虚函数时使用 override,帮助编译器检查是否正确覆盖了基类函数。
- 性能考虑:虚函数调用通过虚函数表(vtable)实现,有轻微运行时开销,不适合对性能要求极高的场景。
基本上就这些。多态的本质是接口统一、行为多样,靠虚函数和继承实现,理解清楚机制后用起来就很自然。











