探究动多态的发生时机
有了虚函数和虚函数表为动多态提供支持，从而可以实现C++语言的动多态。那么，问题又来了。
动多态的发生时机是什么？
或者说，动多态发生有哪些条件与限制呢？
下面让我们一起来探究动多态的秘密，揭示动多态的发生时机。
详细步骤：
1、虚函数与普通函数的调用
2、利用汇编代码分析动多态
3、初步探究动多态调用方式
4、深入探究动多态发生时机
5、总结
1、虚函数与普通函数的调用
我们已经知道，在调用虚函数时会通过虚表中保存的虚函数入口地址来调用。那么试想一下，如果类中既含有虚函数又含有普通函数，他们调用的方式又有何不同呢？
现有以下代码，基类中既有虚函数又有普通的类成员函数。
#include <iostream>
class Base //定义基类
{
public:
Base(int a) :ma(a) {}
virtual void Show()
{
std::cout << "Base: ma = " << ma << std::endl;
}
void Print()
{
std::cout << "Base: This is print " << std::endl;
}
protected:
int ma;
};
class Deriver : public Base //派生类
{
public:
Deriver(int b) :mb(b), Base(b) {}
void Show()
{
std::cout << "Deriver: mb = " << mb << std::endl;
}
protected:
int mb;
};
int main()
{
Base* pb = new Deriver(10);
pb->Show();
pb->Print();
return 0;
}
输出结果：
2、利用汇编代码分析动多态
输出结果毫无疑问是正确的，要想理解程序在运行时究竟做了什么，我们需要在汇编层次上进行探究
/* 以下代码段为：
pb->Show();
pb->Print();
return 0;
*/
pb->Show();
00766512 mov eax,dword ptr [pb]
00766515 mov edx,dword ptr [eax]
pb->Show();
00766517 mov esi,esp
00766519 mov ecx,dword ptr [pb]
0076651C mov eax,dword ptr [edx]
0076651E call eax // ⑴
00766520 cmp esi,esp
00766522 call __RTC_CheckEsp (07612DFh)
pb->Print();
00766527 mov ecx,dword ptr [pb]
0076652A call Base::Print (07614BFh) // ⑵
return 0;
0076652F xor eax,eax
先不看其他汇编代码具体有什么含义，在上述 ⑴ 、⑵ 标出的位置上，都执行了 call 指令（call指令是计算机转移到调用的子程序）。
- 在 ⑴ 处，
call eax，eax寄存器是在运行阶段暂存了某个变量的值，结合 call 指令我们可以得知，eax 中应该存放的就是 Deriver::Show() 的入口地址。通过在运行阶段确定函数的入口地址，进行动态的绑定 - 在 ⑵处，
call Base::Print (07614BFh)直接 call 了 Base::Print() 的入口地址，说明在编译阶段已经确定了函数的调用，直接写入到指令中，进行了一个静态的绑定。
3、初步探究动多态调用方式
上述中通过简单判断 call 指令从而判断函数是否发生了动多态，下面为了更加深入的探究动多态发生原理，我们稍加修改一下源码测试：
3.1 指针方式调用
/* 修改main 函数中内容如下： */
int main()
{
Base b(10);
Deriver d(20);
Base* pb1 = &b; //基类指针 指向 基类
Base* pb2 = &d; //基类指针 指向 派生类
Deriver* pd = &d; //派生类指针 指向 派生类
pb1->Show();
pb2->Show();
pd->Show();
b.Show();
d.Show();
return 0;
}
汇编分析：
pb1->Show();
004365B4 call eax /* 动态绑定 */
pb2->Show();
004365C9 call eax /* 动态绑定 */
pd->Show();
004365DE call eax /* 动态绑定 */
b.Show();
004365EA call Base::Print (043144Ch)
d.Show();
004365F2 call Base::Show (04314B5h)
在结果中我们发现：动多态发生在指针调用虚函数时
3.2 引用方式调用
我们说在C++中，引用的底层实现是依靠指针来做支持的，理论上引用与指针访问是没有多大区别的。那么我们再来测试一下以引用的方式来访问，探究动多态的发生时机。修改代码如下：
/* 修改main 函数中内容如下： */
int main()
{
Base b(10);
Deriver d(20);
Base& rb1 = b;
Base& rb2 = d;
Deriver& rd = d;
rb1.Show();
rb2.Show();
rd.Show();
return 0;
}
汇编分析：
rb1.Show();
006965B4 call eax /* 动态绑定 */
rb2.Show();
006965C9 call eax /* 动态绑定 */
rd.Show();
006965DE call eax /* 动态绑定 */
通过上述实验，我们初步得出结论：动多态发生在指针调用和引用调用的虚函数上
4、深入探究动多态发生时机
思考：那么。是否所有的动多态都可以通过指针或引用的方式调用实现呢，又或者通过引用调用或指针调用的方式就一定会发生动多态吗？
对于第一问，答案是显而易见的，当然是。调用函数无非就是拿到函数的入口地址，而能发生动多态的只能是（成为虚函数的）类成员函数，无论是通过 this->Show() 、.*运算符、->* 运算符（类成员函数指针） 访问，实质上都是普通的类成员方法访问，而要实现动多态就要具备有以基类指针形式存在，而又可以访问派生类的函数的的特点。因此，动多态只能通过指针或引用的方式实现。
ps：理论上通过类成员函数指针的方式模拟实现C++的动多态，这里引用CSDN的一篇博客函数指针实现多态，有兴趣的可以看看。
4.1 在构造和析构中是否可以发生动多态
对于第二问，我们需要进行以下实验才可得出结论。
在C++或者说在C/C++语言中，一个函数可以调用另一个函数，甚至有自身调用自身的递归调用存在。在C++中，类的构造函数和析构函数也支持这一特点，那么我们猜想在构造或者析构中调用函数能否发生动多态。
探究构造函数：
/* 在构造函数中调用 Show() */
#include <iostream>
class Base //定义基类
{
public:
Base(int a) :ma(a)
{
this->Show(); /* 在基类的构造函数中调用 Show（）*/
}
virtual void Show()
{
std::cout << "Base: ma = " << ma << std::endl;
}
void Print()
{
std::cout << "Base: This is print " << std::endl;
}
protected:
int ma;
};
class Deriver : public Base //派生类
{
public:
Deriver(int b) :mb(b), Base(b) {}
void Show()
{
std::cout << "Deriver: mb = " << mb << std::endl;
}
protected:
int mb;
};
int main()
{
Base b(10);
Deriver d(20);
return 0;
}
汇编分析：
Base(int a) :ma(a)
00021F46 mov eax,dword ptr [this]
00021F49 mov ecx,dword ptr [a]
00021F4C mov dword ptr [eax+4],ecx
this->Show();
00021F4F mov ecx,dword ptr [this]
00021F52 call Base::Show (0213E3h)
}
我们可以看到 call Base::Show (0213E3h) 在汇编代码中，发生的是静态的绑定，编译时直接把代码写死在指令段中。
探究析构函数：
/* 添加虚析构函数， 注：在探究析构函数时应取消构造函数中的Show()调用 */
virtual ~Base()
{
this->Show();
}
/* 汇编分析 */
this->Show();
00812295 mov ecx,dword ptr [this]
00812298 call Base::Show (08113E3h)
可以看到，在析构函数中也无法实现函数的动多态调用。
4.2 在普通类成员函数中实现动多态
在普通类成员函数也可以调用函数，下面测试在类成员方法中是否可以实现动多态
/* 在基类的 Print() 函数中调用Show()
在main 函数中添加 b.Print() */
void Print()
{
this->Show();
std::cout << "Base: This is print " << std::endl;
}
/* 汇编分析 */
this->Show();
007D2689 call eax
可以看到在普通的类成员方法中是可以实现动多态的。
5、总结
分析：
构造函数内不能发生动多态：构造函数开始工作时对象正在生成，对象不完整
析构函数内不能发生动多态：析构函数开始工作时对象正在销毁，对象不完整
总结： 动多态发生条件
- 1、指针或引用调用虚函数
- 2、对象完整
满足以上条件可以发生动多态。
动多态发生时机为： 在基类指针访问派生类对象中的虚函数时，并且该访问满足动多态的发生条件，即可发生动多态。
附：
虚函数产生条件：https://blog.csdn.net/weixin_43919932/article/details/104388194