前言你好我是小小风在前面的篇章中我们已经学习了继承——通过继承子类可以复用父类的成员。但继承只是手段真正的杀手锏是多态。多态是C面向对象三大特性中最灵活、也最强大的一个。今天我们就来彻底搞懂它本章内容思维导图一、什么是多态1. 简介多态Polymorphism顾名思义就是多种形态。在C中多态指的是同一个函数调用根据对象类型的不同会执行不同的行为。通俗地理解你对一只猫说叫一声它喵喵叫你对一只狗说叫一声它汪汪叫同样是叫这个指令不同的动物有不同的响应——这就是多态2. 多态的分类C中的多态分为两大类类型发生时机机制示例静态多态编译时多态编译阶段函数重载、模板add(1, 2)和add(1.5, 2.5)动态多态运行时多态运行阶段虚函数 继承父类指针调用子类重写的函数本篇重点讲解的是动态多态它也是面试和实际开发中最常考、最常用的部分。3. 动态多态的三个条件要实现动态多态必须同时满足以下三个条件有继承关系子类继承父类子类重写父类的虚函数函数名、参数列表、返回值类型都要相同父类的指针或引用指向子类对象然后调用该虚函数二、虚函数1. 简介虚函数是在父类中用virtual关键字修饰的成员函数。它的作用是允许子类重写该函数从而在运行时根据实际对象类型决定调用哪个版本的函数。简单来说虚函数就是给子类一个覆盖的机会——你父类定义的默认行为子类可以重新实现自己的版本。语法格式cppclass 父类名 { public: virtual 返回值类型 函数名(参数列表) { // 默认实现 } };2. 示例2.1 不使用虚函数的情况静态绑定这个例子用来说明不使用virtual关键字时父类指针只能调用父类版本的函数无法实现多态。cpp#include iostream using namespace std; class Animal { public: void speak() { // 没有virtual cout 动物在叫 endl; } }; class Cat : public Animal { public: void speak() { // 隐藏了父类的speak cout 小猫喵喵叫 endl; } }; class Dog : public Animal { public: void speak() { cout 小狗汪汪叫 endl; } }; int main() { Animal* a1 new Cat; // 父类指针指向子类对象 Animal* a2 new Dog; a1-speak(); // 输出动物在叫不是喵喵叫 a2-speak(); // 输出动物在叫不是汪汪叫 delete a1; delete a2; return 0; }运行结果动物在叫 动物在叫可以看到虽然a1指向的是Cat对象但调用的却是Animal的speak()。这是因为编译器在编译阶段就根据指针类型Animal*绑定了函数这叫静态绑定。2.2 使用虚函数实现动态多态这个例子用来说明加上virtual关键字后程序会在运行时根据实际对象类型调用对应的函数真正实现多态。cpp#include iostream using namespace std; class Animal { public: virtual void speak() { // 加上virtual cout 动物在叫 endl; } }; class Cat : public Animal { public: void speak() { // 重写父类虚函数 cout 小猫喵喵叫 endl; } }; class Dog : public Animal { public: void speak() { cout 小狗汪汪叫 endl; } }; int main() { Animal* a1 new Cat; Animal* a2 new Dog; a1-speak(); // 输出小猫喵喵叫 a2-speak(); // 输出小狗汪汪叫 delete a1; delete a2; return 0; }运行结果小猫喵喵叫 小狗汪汪叫只加了一个virtual关键字结果就完全不同了这就是动态绑定——程序在运行时根据对象实际类型来决定调用哪个函数。2.3 用引用实现多态这个例子用来说明父类的引用也可以实现多态不仅仅是指针。cpp#include iostream using namespace std; class Shape { public: virtual double area() { return 0; } }; class Circle : public Shape { private: double r; public: Circle(double radius) : r(radius) {} double area() { return 3.14 * r * r; } }; class Rectangle : public Shape { private: double w, h; public: Rectangle(double width, double height) : w(width), h(height) {} double area() { return w * h; } }; // 用父类引用作为参数可以接收任何子类对象 void printArea(Shape s) { cout 面积是 s.area() endl; } int main() { Circle c(5); Rectangle r(3, 4); printArea(c); // 输出面积是78.5 printArea(r); // 输出面积是12 return 0; }运行结果面积是78.5 面积是12这种用法非常常见——函数参数使用父类引用就能接收所有子类对象代码复用性极强。2.4 override关键字C11这个例子用来说明override关键字可以帮助我们检查是否正确重写了父类虚函数防止因拼写错误导致的隐藏bug。cpp#include iostream using namespace std; class Base { public: virtual void func() { cout Base::func() endl; } }; class Derived : public Base { public: void func() override { // 正确重写编译通过 cout Derived::func() endl; } // void Func() override { } // 错误父类没有Func函数编译报错 }; int main() { Base* b new Derived; b-func(); // 输出Derived::func() delete b; return 0; }运行结果Derived::func()小贴士建议在子类重写虚函数时都加上override关键字它不产生任何运行时开销却能在编译期帮你发现错误是防止bug的好习惯3. 经典Bug忘记写virtual导致内存泄漏这是一个非常隐蔽的bug新手特别容易踩坑cpp#include iostream using namespace std; class Base { public: Base() { cout Base构造 endl; } ~Base() { cout Base析构 endl; } // 没有加virtual }; class Derived : public Base { private: int* data; public: Derived() { data new int[100]; cout Derived构造分配了内存 endl; } ~Derived() { delete[] data; cout Derived析构释放了内存 endl; } }; int main() { Base* b new Derived; delete b; // 只调用了Base的析构函数Derived的析构没被调用 return 0; }运行结果Base构造 Derived构造分配了内存 Base析构注意看Derived的析构函数没有被调用data数组的内存泄漏了原因delete b时编译器根据指针类型Base*调用了Base的析构函数。由于析构函数不是虚函数不会发生动态绑定所以Derived的析构函数被跳过了。解决方案把父类的析构函数声明为虚函数详见后文虚析构函数部分。三、纯虚函数1. 简介纯虚函数是一个在父类中只声明、不实现的虚函数它的实现交给子类去完成。语法格式cppvirtual 返回值类型 函数名(参数列表) 0; // 0表示纯虚函数作用当父类本身不知道该怎么实现某个功能时就把它声明为纯虚函数强制子类去实现比如动物这个类你无法确定动物到底怎么叫但你可以要求每种具体动物必须实现自己的叫声2. 示例2.1 纯虚函数的基本使用这个例子用来说明纯虚函数没有函数体必须由子类实现。cpp#include iostream using namespace std; class Animal { public: // 纯虚函数只声明不实现 virtual void speak() 0; // 普通成员函数也可以和纯虚函数共存 void breathe() { cout 动物在呼吸 endl; } }; class Cat : public Animal { public: void speak() { cout 小猫喵喵叫 endl; } }; class Dog : public Animal { public: void speak() { cout 小狗汪汪叫 endl; } }; int main() { Cat c; Dog d; c.speak(); // 输出小猫喵喵叫 c.breathe(); // 输出动物在呼吸 d.speak(); // 输出小狗汪汪叫 return 0; }运行结果小猫喵喵叫 动物在呼吸 小狗汪汪叫注意如果子类没有实现纯虚函数那子类也会变成抽象类仍然无法实例化对象。2.2 纯虚函数也可以有函数体这个例子用来说明纯虚函数也可以提供默认实现子类可以通过父类名::函数名()来调用。cpp#include iostream using namespace std; class Base { public: virtual void func() 0; // 声明纯虚函数 // 纯虚函数的实现写在类外 void Base::func() { cout Base的纯虚函数默认实现 endl; } }; // 纯虚函数在类外实现 void Base::func() { cout Base的纯虚函数默认实现 endl; } class Derived : public Base { public: void func() { Base::func(); // 调用父类纯虚函数的默认实现 cout Derived重写的func endl; } }; int main() { Derived d; d.func(); return 0; }运行结果Base的纯虚函数默认实现 Derived重写的func这个特性不常用了解即可。主要记住纯虚函数一般是不带函数体的。四、抽象类1. 简介抽象类是指包含至少一个纯虚函数的类。抽象类的特点无法实例化对象不能new也不能直接定义对象可以定义指针和引用指向子类对象子类必须实现所有纯虚函数否则子类也是抽象类抽象类通常用作接口规定子类必须具备哪些行为可以这样理解抽象类就像一个合同模板它规定了子类必须做什么但不管你怎么做。2. 示例2.1 抽象类的基本使用这个例子用来说明抽象类不能实例化子类必须实现纯虚函数后才能使用。cpp#include iostream using namespace std; // 抽象类图形 class Shape { public: virtual double area() 0; // 纯虚函数求面积 virtual double perimeter() 0; // 纯虚函数求周长 void printInfo() { cout 面积 area() 周长 perimeter() endl; } }; // 圆形 class Circle : public Shape { private: double r; public: Circle(double radius) : r(radius) {} double area() { return 3.14 * r * r; } double perimeter() { return 2 * 3.14 * r; } }; // 矩形 class Rectangle : public Shape { private: double w, h; public: Rectangle(double width, double height) : w(width), h(height) {} double area() { return w * h; } double perimeter() { return 2 * (w h); } }; int main() { // Shape s; // 错误抽象类不能实例化 Circle c(5); Rectangle r(3, 4); c.printInfo(); // 面积78.5周长31.4 r.printInfo(); // 面积12周长14 // 用抽象类指针实现多态 Shape* s1 c; Shape* s2 r; s1-printInfo(); s2-printInfo(); return 0; }运行结果面积78.5周长31.4 面积12周长14 面积78.5周长31.4 面积12周长14这个例子非常经典Shape定义了所有图形必须能算面积和周长但具体怎么算交给子类。Circle和Rectangle各自实现自己的计算方式而printInfo()这个普通函数可以被所有子类复用——这就是接口与实现分离的设计思想。2.2 子类未完全实现纯虚函数时也是抽象类这个例子用来说明子类如果没实现全部纯虚函数自己也会变成抽象类无法实例化。cpp#include iostream using namespace std; class Animal { public: virtual void speak() 0; virtual void move() 0; }; // 只实现了speak没实现move class Bird : public Animal { public: void speak() { cout 叽叽喳喳 endl; } // 没有实现move() }; // 完整实现了两个纯虚函数 class Parrot : public Bird { public: void move() { cout 鹦鹉飞走了 endl; } void speak() { cout 叽叽喳喳 endl; } }; int main() { // Bird b; // 错误Bird还是抽象类不能实例化 Parrot p; p.speak(); // 输出叽叽喳喳 p.move(); // 输出鹦鹉飞走了 return 0; }运行结果叽叽喳喳 鹦鹉飞走了小结只有把父类所有纯虚函数都实现了子类才能变成具体类才能实例化对象。五、虚析构函数1. 简介虚析构函数就是把父类的析构函数声明为virtual。语法cppvirtual ~类名() { // 清理资源 }作用当用父类指针delete子类对象时保证子类的析构函数也会被调用避免内存泄漏。只要一个类打算被继承并且可能通过父类指针来操作子类对象就应该把析构函数声明为虚函数。这是C编程的黄金法则之一。2. 示例2.1 虚析构函数的正确使用这个例子用来说明使用虚析构函数后delete父类指针会先调用子类析构再调用父类析构资源正确释放。cpp#include iostream using namespace std; class Base { public: Base() { cout Base构造 endl; } virtual ~Base() { cout Base析构 endl; } // 虚析构 }; class Derived : public Base { private: int* data; public: Derived() { data new int[100]; cout Derived构造分配了内存 endl; } ~Derived() { delete[] data; cout Derived析构释放了内存 endl; } }; int main() { Base* b new Derived; delete b; // 现在会正确调用Derived的析构函数 return 0; }运行结果Base构造 Derived构造分配了内存 Derived析构释放了内存 Base析构对比之前经典Bug中的例子加了virtual后析构顺序变成了先子类析构 → 再父类析构内存正确释放了六、多态的底层原理拓展了解这一节适合有一定基础的同学新手可以跳过不影响使用。1. 虚函数表vftable当一个类中有虚函数时编译器会为这个类生成一个虚函数表本质上是一个函数指针数组存放着每个虚函数的地址。2. 虚表指针vfptr每个含有虚函数的对象内部都会多出一个隐藏的指针成员通常在对象内存布局的最前面指向该类对应的虚函数表。工作流程创建对象时编译器在构造函数中初始化虚表指针指向该对象所属类的虚函数表通过父类指针调用虚函数时程序先通过对象的虚表指针找到虚函数表再在虚函数表中查找真正的函数地址进行调用cpp#include iostream using namespace std; class Animal { public: virtual void speak() { cout 动物叫 endl; } }; class Cat : public Animal { public: void speak() { cout 喵喵叫 endl; } }; int main() { Animal a; Cat c; // 查看对象大小多了虚表指针 cout Animal大小 sizeof(a) endl; // 864位系统一个指针 cout Cat大小 sizeof(c) endl; // 8 return 0; }所以使用虚函数是有空间开销的——每个对象多了一个指针的大小8字节/64位系统同时调用虚函数比普通函数稍慢需要多一次指针跳转。但这点开销相对于多态带来的灵活性来说微不足道。七、多态的实际应用案例这个例子展示多态在实际开发中的典型用法——模拟一个简单的绘图系统。cpp#include iostream #include vector using namespace std; // 抽象基类图形 class Shape { public: virtual void draw() 0; // 纯虚函数绘制 virtual double area() 0; // 纯虚函数面积 virtual ~Shape() {} // 虚析构函数 }; // 圆形 class Circle : public Shape { private: double r; public: Circle(double radius) : r(radius) {} void draw() { cout 画一个圆形半径 r endl; } double area() { return 3.14 * r * r; } }; // 矩形 class Rectangle : public Shape { private: double w, h; public: Rectangle(double width, double height) : w(width), h(height) {} void draw() { cout 画一个矩形宽 w 高 h endl; } double area() { return w * h; } }; // 三角形 class Triangle : public Shape { private: double base, height; public: Triangle(double b, double h) : base(b), height(h) {} void draw() { cout 画一个三角形底 base 高 height endl; } double area() { return 0.5 * base * height; } }; int main() { // 用父类指针管理所有图形多态的精髓 vectorShape* shapes; shapes.push_back(new Circle(5)); shapes.push_back(new Rectangle(3, 4)); shapes.push_back(new Triangle(6, 8)); cout 绘制所有图形 endl; for (auto s : shapes) { s-draw(); // 多态调用每个图形画法不同 } cout \n 计算总面积 endl; double total 0; for (auto s : shapes) { total s-area(); // 多态调用每个图形面积算法不同 } cout 所有图形总面积 total endl; // 释放内存 for (auto s : shapes) { delete s; } return 0; }运行结果 绘制所有图形 画一个圆形半径5 画一个矩形宽3高4 画一个三角形底6高8 计算总面积 所有图形总面积102.5这就是多态的威力main函数里完全不需要知道具体是哪种图形只需要用Shape*调用draw()和area()即可。以后要新增一种图形比如梯形只需要写一个新类继承Shape主程序一行都不用改——这就是开闭原则对扩展开放对修改关闭。八、重写、重载和隐藏的区别这三个概念初学者容易混淆这里统一对比一下。概念作用范围函数名参数列表virtual发生条件重载overload同一类中相同不同无关同一作用域内重写override父子类间相同相同父类需要有继承关系 虚函数隐藏hide父子类间相同无关无关继承关系 非虚函数简单记忆重载同类同名不同参就像同一个名字的多个工具重写子类重新实现父类虚函数真正的多态隐藏子类同名函数遮住了父类函数不是多态是覆盖名字总结本篇我们学习了C多态的核心内容总结如下多态 同一调用不同行为。分为静态多态编译时和动态多态运行时虚函数用virtual修饰是实现动态多态的关键纯虚函数 0结尾只有声明没有实现强制子类去实现抽象类含有纯虚函数的类不能实例化只能作为接口使用虚析构函数父类析构函数加virtual防止通过父类指针删除子类对象时内存泄漏override关键字帮助编译器检查是否正确重写推荐使用多态的底层靠虚函数表和虚表指针实现多态是C面向对象的精髓也是面试的高频考点。理解多态的关键在于动手敲代码、多画图、多调试。下一篇我们将学习二叉搜索树敬请期待如果觉得有帮助欢迎点赞收藏关注三连有问题欢迎评论区交流~