C++多态虚函数

最新推荐文章于 2024-09-15 11:40:06 发布

颜庭秋

最新推荐文章于 2024-09-15 11:40:06 发布

阅读量605

点赞数 15

文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/2301_79894855/article/details/141136345

版权

在面向对象编程（OOP）中，多态是一种强大的特性，它允许我们通过基类指针或引用来调用派生类的方法，从而实现了接口的多样化和实现的灵活性。本文将深入探讨多态的构成条件、虚函数、虚函数的重写以及多态的原理，并解析抽象类的概念，帮助读者更好地理解并应用这一核心概念。

1. 多态的构成条件

多态的实现依赖于两个关键条件：

通过基类指针或引用调用虚函数：这是实现多态的基础。当使用基类类型的指针或引用来指向派生类对象，并调用虚函数时，将根据实际对象的类型来执行相应的函数版本。
被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写：虚函数允许在派生类中被覆盖（重写），从而允许在运行时根据对象的实际类型调用相应的方法。

2. 虚函数

虚函数是基类中被virtual关键字修饰的成员函数。一旦在基类中定义了虚函数，派生类中的同名函数（即使不显式使用virtual关键字）也会自动成为虚函数。这一特性确保了多态的实现。

重要提示：虚函数不能是静态成员函数或普通全局函数，因为它们不属于任何特定对象实例。

3. 虚函数的重写

虚函数的重写（或称为覆盖）是派生类对基类虚函数的一种实现替换。当派生类中的虚函数与基类中的虚函数具有相同的函数名、返回类型以及参数列表时，便发生了重写。通过重写，我们可以在不同派生类中为同一接口提供不同的实现，从而实现多态。

示例：买票系统的多态实现

#include <iostream>  
using namespace std;  
  
class person {  
public:  
    virtual void buyticket() {  
        cout << "买票-全价" << endl;  
    }  
};  
  
class student : public person {  
public:  
    void buyticket() override { // 使用override关键字明确指示重写  
        cout << "买票-半价" << endl;  
    }  
};  
  
class soldier : public person {  
public:  
    void buyticket() override {  
        cout << "优先-买票-半价" << endl;  
    }  
};  
  
void func(person& p) {  
    p.buyticket(); // 根据p的实际类型调用相应的buyticket函数  
}  
  
int main() {  
    person ps;  
    student st;  
    soldier sd;  
  
    func(ps); // 输出：买票-全价  
    func(st); // 输出：买票-半价  
    func(sd); // 输出：优先-买票-半价  
  
    return 0;  
}

4. 虚函数重写的两个例外

协变：派生类重写基类虚函数时，返回值类型可以不同，但通常限于指针或引用类型，且派生类返回类型应为基类返回类型的派生类型。
析构函数的重写：基类的析构函数如果声明为虚函数，派生类的析构函数即便没有显式使用virtual关键字，也会被视为虚函数，从而确保通过基类指针删除派生类对象时能够正确调用派生类的析构函数。