深入理解C++多态：从概念到原理

深入理解C++多态：从概念到原理

一、什么是多态？

多态（Polymorphism），顾名思义，就是“多种形态”。在C++编程中，它意味着使用同一个接口或函数名，可以执行不同的操作。这大大增强了代码的灵活性和可扩展性。

C++中的多态主要分为两类：

1. 编译时多态（静态多态）：在程序编译期间就确定了具体调用哪个函数。主要包括：函数重载：同一作用域内，函数名相同但参数列表不同的函数。函数模板：通过泛型编程，让编译器根据传入的参数类型自动生成具体的函数。
2. 运行时多态（动态多态）：在程序运行期间才能确定具体调用哪个函数。这是我们本篇博客的重点，它通过虚函数机制实现。

生动比喻：

• 编译时多态就像复印机，你放入A4纸，它出来A4复印件；你放入身份证，它出来身份证复印件。行为在“放入”的那一刻就确定了。
• 运行时多态更像一个智能机器人，你下达“买票”指令，如果对象是“普通人”，它就全价购买；如果是“学生”，它就享受折扣。具体行为要等到运行时看到具体对象才能确定。

二、运行时多态的实现条件

要实现运行时多态，必须同时满足两个条件：

1. 必须是基类的指针或引用调用虚函数。
2. 被调用的函数必须是虚函数，且派生类完成了对基类虚函数的“重写”（Override）。

1. 虚函数 (Virtual Function)

在类的成员函数声明前加上virtual关键字，该函数就成为虚函数。

class Person { public: // 声明虚函数 virtual void BuyTicket() { cout << "买票-全价" << endl; } };

2. 虚函数的重写 (Override)

重写是指：在派生类中，有一个与基类虚函数返回值类型、函数名、参数列表完全相同的虚函数。

class Student : public Person { public: // 重写基类的 BuyTicket 虚函数 // 这里的 virtual 关键字可以省略，因为继承后它仍然是虚函数，但写上更规范。 virtual void BuyTicket() { cout << "买票-打折" << endl; } };

3. 多态的使用场景

有了上述两个条件，我们就可以通过基类的指针或引用来实现多态。

// 参数是基类Person的指针 void Func(Person* ptr) { // ptr既可能指向Person对象，也可能指向Student对象 // 具体调用哪个BuyTicket，由ptr实际指向的对象类型决定 ptr->BuyTicket(); // 多态调用 } int main() { Person ps; Student st; Func(&ps); // 输出：买票-全价 Func(&st); // 输出：买票-打折 return 0; }

为什么必须是指针或引用？

因为只有指针或引用才能既指向基类对象，又指向派生类对象（利用派生类对象可以初始化基类指针/引用的特性，即“向上转型”）。如果直接使用对象本身，会引发“对象切片”，无法实现多态。

三、深入理解多态原理：虚函数表 (vtable)

多态的神奇之处在于其底层实现机制——虚函数表。

1. 虚函数表指针 (vptr)

当一个类包含虚函数时，编译器会为该类生成一个虚函数表（vtable）。这个表就像一个“函数指针数组”，存放着该类所有虚函数的地址。

同时，这个类的每个对象中都会自动添加一个隐藏的成员——虚函数表指针（vptr），它指向该类的虚函数表。

class Base { public: virtual void Func1() { /* ... */ } virtual void Func2() { /* ... */ } private: int _b; };

对于上面的Base类，一个Base对象在内存中的布局大致如下：

Base 对象 [ vptr | _b ] | --> 指向 Base 的虚函数表 [ &Base::Func1 | &Base::Func2 ]

2. 多态的动态绑定过程

当我们通过基类指针ptr调用虚函数ptr->BuyTicket()时，底层发生了以下事情：

1. 从指针ptr找到对象所在的内存。
2. 从对象内存的头部（通常是）找到虚表指针vptr。
3. 通过vptr找到类的虚函数表vtable。
4. 在vtable中找到BuyTicket函数对应的位置，并调用该位置存储的函数地址。

这个过程是在程序运行时完成的，因此称为动态绑定或晚期绑定。

对于派生类，其虚函数表的构成规则如下：

• 先将基类的虚表内容拷贝一份。
• 如果派生类重写了基类的某个虚函数，则用派生类自己的函数地址覆盖虚表中对应的基类函数地址。
• 如果派生类有自己新的虚函数，则将这些函数的地址依次添加到虚表的末尾。

因此，对于之前的Person和Student类：

• Person对象的vptr指向的虚表包含&Person::BuyTicket。
• Student对象的vptr指向的虚表包含&Student::BuyTicket（覆盖了基类的地址）。

这就是Func(&ps)和Func(&st)调用不同函数的根本原因。

四、进阶话题与细节

1. 虚析构函数

强烈建议：如果一个类要做基类，请将其析构函数声明为虚函数。

class A { public: virtual ~A() { // 虚析构函数 cout << "~A()" << endl; } }; class B : public A { public: ~B() { // 虽然没写virtual，但也是虚函数（重写了基类的虚析构） cout << "~B()" << endl; delete[] _p; } private: int* _p = new int[10]; }; int main() { A* p2 = new B; delete p2; // 正确：先调用 ~B()，再调用 ~A() // 如果 ~A() 不是虚函数，则这里只会调用 ~A()，导致B的资源泄漏！ return 0; }

编译器对析构函数名称做了特殊处理，都统一为destructor，所以它们可以构成重写。

2. C++11 override 和 final 关键字

override：显式地告知编译器这个函数是重写基类的虚函数。如果该函数没有成功重写（比如函数名拼错、参数不一致），编译器会报错，帮助我们发现错误。

class Benz : public Car { public: virtual void Drive() override { // 明确表示要重写 cout << "Benz-舒适" << endl; } };

final：修饰虚函数，表示该虚函数不能再被派生类重写；修饰类，表示该类不能被继承。

class Car { public: virtual void Drive() final {} // Drive函数是“最终版”，禁止重写 };

3. 纯虚函数与抽象类

纯虚函数是在声明时初始化为0的虚函数，它只有接口声明，没有默认实现。

virtual void func() = 0; // 纯虚函数

包含纯虚函数的类称为抽象类。抽象类不能实例化对象。它的作用是作为接口规范，强制要求派生类必须重写纯虚函数，否则派生类也会成为抽象类。

class Animal { // 抽象类 public: virtual void talk() const = 0; // 纯虚函数，动物都必须会“叫” }; class Dog : public Animal { public: virtual void talk() const override { // 必须重写 std::cout << "汪汪" << std::endl; } }; // Animal a; // 错误！不能创建抽象类的对象 Dog d; // 正确

总结

理解多态是理解C++面向对象编程的关键一步，它让我们的代码更加灵活、优雅和易于扩展。