C++中的多态(polymorphism)是面向对象编程的一个重要概念,它允许使用基类的指针或引用来调用派生类的方法。多态性使得程序能够根据实际对象的类型动态地选择调用哪个方法,这提供了更灵活和可扩展的代码设计。
在C++中实现多态性主要依赖于两个机制:继承和虚函数。
继承是面向对象编程中的一个基本概念,它允许创建派生类(子类)从基类(父类)继承属性和行为。派生类可以添加新的成员变量和成员函数,并且可以覆盖(override)基类中的方法。
虚函数是通过在基类中声明并在派生类中重写的函数来实现的。使用关键字virtual
来声明一个虚函数。当基类的指针或引用指向派生类对象时,通过调用虚函数,可以实现多态性。这样,根据实际对象的类型,编译器会在运行时选择调用正确的方法。
例如,考虑一个基类Shape
和两个派生类Rectangle
和Circle
,它们都具有一个虚函数draw()
。我们可以通过创建一个指向Shape
的指针,并将其指向一个Rectangle
或Circle
对象来实现多态性。然后,通过调用draw()
方法,无论指针指向哪个对象,都会调用相应对象的draw()
方法。
#include <iostream>
class Shape {
public:
virtual void draw() {
std::cout << "Drawing a shape." << std::endl;
}
};
class Rectangle : public Shape {
public:
void draw() override {
std::cout << "Drawing a rectangle." << std::endl;
}
};
class Circle : public Shape {
public:
void draw() override {
std::cout << "Drawing a circle." << std::endl;
}
};
int main() {
Shape* shapePtr;
Rectangle rectangle;
Circle circle;
shapePtr = &rectangle;
shapePtr->draw(); // 输出:Drawing a rectangle.
shapePtr = &circle;
shapePtr->draw(); // 输出:Drawing a circle.
return 0;
}
在上述代码中,Shape
类是基类,Rectangle
和Circle
类是派生类。通过在基类中将draw()
方法声明为虚函数,并在派生类中重写它们,我们实现了多态性。在main()
函数中,我们创建了一个指向基类的指针shapePtr
,并将其分别指向Rectangle
和Circle
对象。通过调用draw()
方法,我们可以看到无论指针指向哪个对象,都会根据实际对象的类型调用相应的方法。