C++ | 虚函数产生条件
虚函数产生的条件
能否成为虚函数主要有以下两种判断依据，如果以下两种条件均满足，则具有成为虚函数的条件。
-
1、虚函数机制为动多态提供支持，而虚函数表中存放着虚函数的地址。因此虚函数必须是可以取地址的函数。
-
2、虚函数的调用是依靠（对象的）虚表指针解引用得到虚表，再从虚表中找到对应的虚函数入口地址。换言之，虚函数依赖对象调用
在C++的类中主要存在以下几种函数：
1. 构造函数
构造函数不能依赖对象调用 。对象产生的步骤主要有二：1、开辟内存空间，2、调用构造。这两部操作完成之后才会有对象生成。因此，不能成为虚函数。 ✖
2.析构函数
析构函数调用前，对象完整，与既有的逻辑不冲突，理论上可以手动调用析构函数。事实上也的确如此，形如 Obj.~Test() （在Test类中）的调用方法。可以成为虚函数。 ✔
3.内联函数
由inline 关键字修饰的函数，内联函数在函数的调用点直接展开，因此内联函数不可以取地址 ，不能成为虚函数。 ✖
4.static修饰的函数
static修饰的函数使用 __cdecl 调用约定（类成员方法使用 __thiscall 约定），而此类函数不依赖对象调用 ，因此，不能成为虚函数。 ✖
5.全局函数
毫无疑问，全局函数不依赖对象调用 。与类没有关系，不可能被写入类的虚表。不能成为虚函数。 ✖
6.类成员方法
显然类成员方法可以成为虚函数。 ✔
附：
虚函数初探: https://blog.csdn.net/weixin_43919932/article/details/104157463
动多态的发生时机: https://blog.csdn.net/weixin_43919932/article/details/104389342
