多态性是面向对象编程中的一个重要概念,指同一个操作作用于不同的对象,可以有不同的解释,产生不同的执行结果。在 C++ 中,多态主要通过虚函数和抽象类来实现:
1.通过虚函数实现多态
- 定义虚函数 :在基类中,使用
virtual
关键字声明函数为虚函数。例如:
cpp
class Shape {
public:
virtual void draw() {
cout << "Drawing a shape." << endl;
}
};
- 重写虚函数:在派生类中重新定义基类的虚函数,函数签名(函数名、参数列表、返回类型)必须与基类中的虚函数完全相同。例如:
cpp
class Circle : public Shape {
public:
void draw() override {
cout << "Drawing a circle." << endl;
}
};
class Rectangle : public Shape {
public:
void draw() override {
cout << "Drawing a rectangle." << endl;
}
};
- 通过基类指针或引用调用虚函数:当使用基类指针或引用调用虚函数时,会根据对象的实际类型来决定调用哪个类的虚函数。例如:
cpp
Shape* shape1 = new Circle();
Shape* shape2 = new Rectangle();
shape1->draw();
shape2->draw();
2.通过抽象类实现多态
- 定义抽象类和纯虚函数:抽象类是至少包含一个纯虚函数的类,纯虚函数是在声明时被初始化为 0 的虚函数。例如:
cpp
class Animal {
public:
virtual void sound() = 0;
};
- 实现抽象类的派生类:派生类必须实现抽象类中的所有纯虚函数,否则该派生类也将成为抽象类。例如:
cpp
class Dog : public Animal {
public:
void sound() override {
cout << "Woof!" << endl;
}
};
class Cat : public Animal {
public:
void sound() override {
cout << "Meow!" << endl;
}
};
- 使用抽象类指针或引用调用函数:与虚函数类似,通过抽象类指针或引用调用纯虚函数时,会根据对象的实际类型来决定调用哪个类的函数。例如:
cpp
Animal* animal1 = new Dog();
Animal* animal2 = new Cat();
animal1->sound();
animal2->sound();
多态性具有以下好处:
3.提高代码的可扩展性
- 当需要添加新的功能或行为时,只需在相应的派生类中重写虚函数或实现抽象类的纯虚函数,而不需要修改调用该函数的代码。例如,在一个图形绘制系统中,如果要添加一种新的图形,如三角形,只需要创建一个
Triangle
类并继承自Shape
类,并重写draw
函数即可,而不需要修改使用Shape
类指针或引用调用draw
函数的代码。
4.增强代码的可维护性
- 多态性使得代码的结构更加清晰,不同的对象行为可以在各自的类中进行定义和实现,而不是在一个大的函数中使用大量的
if-else
语句来判断对象类型并执行相应的操作。这样,当需要修改某个对象的行为时,只需要在该对象所属的类中进行修改,而不需要在整个代码中查找和修改相关的if-else
语句。
5.实现代码的复用
- 基类中定义的虚函数或纯虚函数可以在多个派生类中被重写和复用,提高了代码的复用性。例如,在一个动物模拟程序中,
Animal
类中的sound
函数可以在Dog
、Cat
等多个派生类中被重写,实现不同动物的叫声,而不需要为每个动物都编写一个独立的函数。