每日一个C++知识点|虚函数-编程阁

C++虚函数

作为C++程序员，“多态”绝对是绕不开的核心知识点，而撑起多态的关键技术，正是今天要聊的虚函数。

一、先搞懂：虚函数到底是啥？

一句话概括：基类中加了virtual关键字的成员函数，就是虚函数。

它的核心“魔法”的是：当用基类指针指向子类对象时，调用这个函数会自动执行子类的版本，而不是基类的！

举个生活中的例子：

基类就像“动物”，有个“叫”的行为；
子类是“狗”“猫”，继承了“动物”，但“叫”的方式不一样（狗汪汪、猫喵喵）；
没有虚函数时：用“动物指针”指向“狗”，调用“叫”会输出“动物叫”（认指针类型）；
有了虚函数后：同样的指针指向“狗”，会输出“汪汪叫”（认对象真实身份）。

这就是虚函数的核心价值——让指针“认清”对象的真实面目，实现多态！

二、3步实现虚函数多态

光说不练假把式，咱们用代码一步步实现上面的“动物叫”例子，一看就懂～

第一步：定义基类，给函数加virtual

先创建“动物”基类，把“叫”函数设为虚函数（加virtual关键字）：

#include<iostream>usingnamespacestd;// 基类：动物classAnimal{public:// 虚函数：动物叫virtualvoidmakeSound(){cout<<"动物发出叫声～"<<endl;}};

第二步：定义子类，重写虚函数

创建“狗”和“猫”两个子类，继承Animal，并重写makeSound函数。这里可以加override关键字（可选，但强烈推荐），明确表示“我在重写基类的虚函数”，避免写错参数/返回值：

// 子类：狗（继承动物）classDog:publicAnimal{public:// 重写虚函数，加override更规范voidmakeSound()override{cout<<"汪汪汪！小狗在叫～"<<endl;}};// 子类：猫（继承动物）classCat:publicAnimal{public:voidmakeSound()override{cout<<"喵喵喵！小猫在叫～"<<endl;}};

第三步：测试多态效果

用基类指针指向不同的子类对象，调用makeSound，看看会不会自动匹配对应版本：

intmain(){// 基类指针Animal*animalPtr;// 指向狗对象Dog dog;animalPtr=&dog;animalPtr->makeSound();// 输出：汪汪汪！小狗在叫～// 指向猫对象Cat cat;animalPtr=&cat;animalPtr->makeSound();// 输出：喵喵喵！小猫在叫～return0;}

运行结果完全符合预期！同一个基类指针，指向不同子类对象时，自动调用子类的函数——这就是虚函数实现的多态，是不是很简单？

三、必记避坑点：3个关键规则

学会用法还不够，这3个坑一定要避开，否则容易出bug或内存泄漏！

1. 析构函数必须设为虚函数

如果基类指针指向子类对象，删除指针时如果析构函数不是虚函数，会只调用基类的析构函数，子类的资源释放不掉，导致内存泄漏！

正确做法：基类析构函数加virtual：

classAnimal{public:virtualvoidmakeSound(){...}// 虚析构函数virtual~Animal(){cout<<"动物基类析构"<<endl;}};classDog:publicAnimal{public:voidmakeSound()override{...}~Dog()override{cout<<"小狗子类析构"<<endl;}};// 测试：删除基类指针指向的子类对象Animal*ptr=newDog();deleteptr;// 会先调用Dog析构，再调用Animal析构，无内存泄漏