C++ 多态：探索对象的动态行为-优快云博客

C++ 多态：探索对象的动态行为

在C++中，多态性是一种强大的特性，它允许我们通过基类指针或引用来调用派生类的方法。多态性不仅增加了程序的灵活性，还使得代码更加易于扩展和维护。本文将深入探讨C++中的多态性，包括静态多态（主要通过函数重载和模板实现）和动态多态（主要通过虚函数和抽象基类实现）。

一、多态性的概念

多态性（Polymorphism）字面意思为“多种形态”，在面向对象编程中，它指的是同一个操作作用于不同的对象，可以有不同的解释，产生不同的执行结果。多态性分为编译时多态（静态多态）和运行时多态（动态多态）。

二、静态多态

静态多态主要通过函数重载和模板实现，它在编译时就已经确定了具体调用的函数或模板实例。

1. 函数重载

函数重载允许在同一个作用域内定义多个同名函数，只要它们的参数列表（参数个数、类型或顺序）不同即可。编译器会根据函数调用时的实参类型、个数和顺序来选择合适的函数版本。

#include <iostream>
using namespace std;

void print(int i) {
    cout << "Printing int: " << i << endl;
}

void print(double f) {
    cout << "Printing float: " << f << endl;
}

int main() {
    print(5);       // 调用 print(int)
    print(5.5);     // 调用 print(double)
    return 0;
}

2. 模板

模板是C++中另一种实现静态多态的机制，它允许在编译时根据模板参数的类型生成特定的函数或类。

#include <iostream>
using namespace std;

template<typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    print(5);       // 实例化 print<int>(int)
    print(5.5);     // 实例化 print<double>(double)
    return 0;
}

三、动态多态

动态多态主要通过虚函数和抽象基类实现，它在运行时根据对象的实际类型来确定调用哪个函数。

1. 虚函数

在基类中，将成员函数声明为virtual，表示该函数可以在派生类中被重写（Override）。通过基类指针或引用调用虚函数时，会根据指针或引用所指向对象的实际类型来调用相应的函数版本。

#include <iostream>
using namespace std;

class Base {
public:
    virtual void display() {
        cout << "Base class display" << endl;
    }
    virtual ~Base() {} // 虚析构函数，确保派生类对象正确析构
};

class Derived : public Base {
public:
    void display() override { // 使用override关键字明确表示这是一个重写函数
        cout << "Derived class display" << endl;
    }
};

int main() {
    Base* b = new Derived();
    b->display(); // 输出: Derived class display
    delete b;
    return 0;
}

2. 抽象基类

含有至少一个纯虚函数（函数声明后加= 0）的类称为抽象基类。抽象基类不能直接实例化对象，但可以作为基类使用，强制派生类实现基类的纯虚函数。

#include <iostream>
using namespace std;

class Shape {
public:
    virtual void draw() const = 0; // 纯虚函数
    virtual ~Shape() {}
};

class Circle : public Shape {
public:
    void draw() const override {
        cout << "Drawing Circle" << endl;
    }
};

int main() {
    Shape* s = new Circle();
    s->draw(); // 输出: Drawing Circle
    delete s;
    return 0;
}