C++多态与虚函数：面向对象编程的核心机制

1. 多态：面向对象编程的核心特性

作为一名有着十多年C++开发经验的老程序员，我深知多态在面向对象编程中的重要性。多态（Polymorphism）这个词源自希腊语，意为"多种形态"。在编程中，它指的是同一个接口可以根据不同的对象类型表现出不同的行为。这就像我们生活中的"购买"行为：不同身份的人（普通成人、学生、老人）购买同一张票时，实际支付的价格可能不同，但都通过"购买"这个统一的接口完成。

1.1 多态的基本分类

多态主要分为两种类型：编译时多态（静态多态）和运行时多态（动态多态）。这两种多态机制在实现方式和应用场景上有着本质区别。

1.1.1 编译时多态（静态多态）

编译时多态主要通过函数重载和模板实现。它的特点是在编译阶段就能确定调用哪个函数，因此称为"静态"。这种多态机制的优势在于效率高，因为所有决策都在编译时完成，运行时没有额外开销。

函数重载的典型例子：

cpp复制void print(int i) {
    cout << "整数: " << i << endl;
}

void print(double d) {
    cout << "浮点数: " << d << endl;
}

void print(const string& s) {
    cout << "字符串: " << s << endl;
}

编译器根据传入参数的类型决定调用哪个print函数版本。这种决策完全在编译时完成，运行时不会有任何额外的判断逻辑。

1.1.2 运行时多态（动态多态）

运行时多态则是通过虚函数和继承实现的，它允许在程序运行时根据对象的实际类型来决定调用哪个函数实现。这种机制更加灵活，但也会带来一定的运行时开销。

注意：运行时多态是面向对象编程中最强大的特性之一，它使得我们可以编写出更加通用、可扩展的代码。在设计框架和库时，运行时多态尤为重要。

1.2 运行时多态的实现条件

要实现运行时多态，必须满足以下三个条件：

1. 继承关系：必须存在基类和派生类之间的继承关系
2. 虚函数：基类中必须声明虚函数，派生类中需要重写（覆盖）这些虚函数
3. 基类指针/引用：必须通过基类的指针或引用来调用虚函数

下面是一个完整的运行时多态示例：

cpp复制class Animal {
public:
    virtual void makeSound() {
        cout << "动物发出声音" << endl;
    }
};

class Dog : public Animal {
public:
    void makeSound() override {
        cout << "汪汪汪" << endl;
    }
};

class Cat : public Animal {
public:
    void makeSound() override {
        cout << "喵喵喵" << endl;
    }
};

void animalSound(Animal& animal) {
    animal.makeSound();  // 运行时决定调用哪个实现
}

int main() {
    Dog dog;
    Cat cat;
    
    animalSound(dog);  // 输出"汪汪汪"
    animalSound(cat);  // 输出"喵喵喵"
    
    return 0;
}

在这个例子中，animalSound函数接收一个Animal引用，但实际调用时会根据传入对象的具体类型（Dog或Cat）来决定调用哪个makeSound实现。这就是运行时多态的典型应用。

2. 虚函数：运行时多态的关键

2.1 虚函数的基本概念

虚函数是C++中实现运行时多态的核心机制。通过在成员函数声明前加上virtual关键字，我们告诉编译器这个函数需要在运行时进行动态绑定。

虚函数的声明格式：

cpp复制class Base {
public:
    virtual ReturnType functionName(Parameters);  // 虚函数声明
};

虚函数有几个重要特性：

1. 一旦基类中的函数被声明为virtual，它在所有派生类中自动成为虚函数
2. 派生类可以重写（覆盖）基类的虚函数，但这不是强制的
3. 虚函数的调用通过虚函数表（vtable）实现，这会带来一定的运行时开销

2.2 虚函数的重写（覆盖）

虚函数重写（也称为覆盖）是派生类提供自己特定实现的过程。要正确重写虚函数，必须满足以下条件：

1. 函数签名完全相同（函数名、参数列表、返回类型）
2. 基类函数必须是虚函数
3. 访问权限可以不同（但通常保持一致）

2.2.1 override关键字（C++11）

C++11引入了override关键字，它明确表示这个函数是要重写基类的虚函数