对虚拟函数动态绑定的一点认识

虚拟函数动态绑定过程：

• 每个虚拟函数的类（基类或派生类）都会有一个包含支持所有虚拟函数指针的“虚拟函数表”（virtual table）；
• 每个该类生成的对象都会隐含一个“虚拟函数指针”（virtual point），此指针指向其所属类的“虚拟函数表”；
• 当通过基类的指针或者引用调用某个虚拟函数时，系统需要首先定为这个指针或引用真正对应的“对象”所隐含的虚拟函数指针；
• 虚拟函数指针根据这个虚拟函数的名称，对这个虚拟函数指针所指向的虚拟函数表进行一个偏移定为，再调用这个偏移定位处的函数指针对应的虚拟函数；

以上便是“动态绑定”的解析过程。

虚拟函数的开销：

• 空间：每个支持虚拟函数的类，都有一个虚拟函数表，这个虚拟函数表的大小跟该类拥有的虚拟函数的多少成正比，此虚拟函数表对一个类来说，整个程序只有一个，而无论该类生成的对象在程序运行时会生成多少个。
• 空间：通过支持虚拟函数的类生成的每个对象都有一个指向该类对应的虚拟函数表的虚拟函数指针，无论该类的虚拟函数有多少个，都只有一个函数指针，但是因为与对象绑定，因此程序运行时因为虚拟函数指针引起空间开销跟生成的对象个数成正比。
• 时间：通过支持虚拟函数的类生成的每个对象，当其生成时，在构造函数中会调用编译器在构造函数内部插入的初始化代码，来初始化其虚拟函数指针，使其指向正确的虚拟函数表。
• 时间：当通过指针或者引用调用虚拟函数时，跟普通函数调用相比，会多一个根据虚拟函数指针找到虚拟函数表的操作。

因为内联函数常常可以提高代码执行的速度，因此很多普通函数会根据情况进行内联化，但是虚拟函数无法利用内联化的优势，这是因为内联函数是在“编译期”编译器将调用内联函数的地方用内联函数体的代码代替（内联展开），但是虚拟函数本质上是“运行期”行为，本质上在“编译期”编译器无法知道某处的虚拟函数调用在真正执行的时候会调用到那个具体的实现（即在“编译期”无法确定其绑定），因此在“编译期”编译器不会对通过指针或者引用调用的虚拟函数进行内联化。也就是说，如果想利用虚拟函数的“动态绑定”带来的设计优势，那么必须放弃“内联函数”带来的速度优势。