c++中虚函数的实现详解
前言
c++ 分为编译时多态和运行时多态。运行时多态依赖于虚函数，大部分人或许听说过虚函数是由虚函数表+虚函数指针实现的，但，真的是这样吗？虽然 c++ 规范有着复杂的语言细节，但底层实现机制却任由编译器厂商想象。（没准某种特殊的处理器电路结构原生支持虚函数，没准这个处理器压根不是冯纽曼型，或者将来厂商发明了比虚函数表更有效率的数据结构。）
虚函数表
封装把实例的数据和操作结合在了一起，但实例本身只有数据，没有函数，同一个类的函数是共享的。我们通过一个例子来间接证明这一点
class Base1
{
public:
int a;
void func() { cout << "heel" << endl; }
};
Base1 b1;
cout << sizeof(b1) << endl;
打印
4
如果类中有虚函数，则会在对象中加入一个虚函数指针，该指针指向一个虚函数表，表中是各个虚函数的地址。
+--------+ +---------+ | pvtbl |------>| vfunc1 | +--------+ +---------+ | data1 | | vfunc2 | +--------+ +---------+ | ... | | ... |
当子类继承父类时，会依次覆盖虚函数表中的各个项，如果子类没有重写某项，那该项就保留。当实例化对象后，虚函数指针就作为一个隐藏数据存在于实例中。如果通过父类指针调用普通成员函数，由于普通函数和类型绑定在一起，所以仍会调用父类成员函数；如果通过父类指针调用虚函数，则会通过对象的虚指针找到虚函数表（即子类的虚函数表），定位虚函数项，实现多态。
原理是不是很简单？c++ 就是通过这种看似原始的方式实现高级抽象。以上是编译器的通用做法，我手上的 Visual Studio 2013 编译器就是这么做的，为了提高性能，VS 保证虚函数指针存在于对象实例中最前面位置（历史上也有编译器不这么做，好像是 Borland 的？）。
Visual Studio 2013 中的实现
来一个例子（能这么写是因为我已知了 Visual Studio 2013 编译后对象的内存布局）
#include <iostream>
using namespace std;
class Base
{
public:
typedef void (*func)();
virtual void func1() { cout << "Base::func1" << endl; }
virtual void func2() { cout << "Base::func2" << endl; }
virtual void func3() { cout << "Base::func3" << endl; }
};
class Derived: public Base
{
public:
virtual void func1() { cout << "Derived::func1" << endl; }
virtual void func3() { cout << "Derived::func3" << endl; }
};
int main()
{
Base b, b1;
int** pvirtualtable1 = (int**)&b;
cout << "Base object vtbl address: " << pvirtualtable1[0] << endl;
int** pvirtualtable11 = (int**)&b1;
cout << "another Base object vtbl address: " << pvirtualtable11[0] << endl;
cout << "function in virtual table" << endl;
for (int i = 0; (Base::func)pvirtualtable1[0][i] != NULL; ++i)
{
auto p = (Base::func)pvirtualtable1[0][i];
p();
}
cout << endl;
Derived d;
int** pvirtualtable2 = (int**)&d;
cout << "Derived object vtbl address: " << pvirtualtable2[0] << endl;
cout << "function in virtual table" << endl;
for (int i = 0; (Base::func)pvirtualtable2[0][i] != NULL; ++i)
{
auto p = (Base::func)pvirtualtable2[0][i];
p();
}
cout << endl;
}
打印
Base object pvtbl address: 0029DA58 another Base object pvtbl address: 0029DA58 function address in virtual table Base::func1 Base::func2 Base::func3 Derived object pvtbl address: 0029DB20 function address in virtual table Derived::func1 Base::func2 Derived::func3
可以看到，同一类型不同实例的虚函数表是相同的，继承之后，子类有了自己的虚函数表，表也有相应的更新(Derived::func1, Derived::func3)，表中未重写的项还保留为原值(Base::func2)。
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作能带来一定的帮助，如果有疑问大家可以留言交流。
相关文章
C++是面向对象编程的,这也是C++与C语言的最大区别,而类和对象就是C++面向对象的基础,下面这篇文章主要给大家介绍了关于C++初阶教程之类和对象的相关资料,需要的朋友可以参考下2022-02-02
这篇文章主要为大家详细介绍了C语言实现飞机小游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-12-12
最近小编在研究Tree Widget树形控件的相关知识，这种控件其实有时还是很有用处的，我主要利用的是带有复选框的树形控件，下面通过实例代码给大家介绍下Qt中树形控件Tree Widget的一些使用方法，感兴趣的朋友一起学习吧2021-11-11
类型转换（type cast），是高级语言的一个基本语法。它被实现为一个特殊的运算符，以小括号内加上类型名来表示，接下来让我们一起来详细了解2022-05-05
堆排序Heap Sort就是利用堆进行排序的方法,下面这篇文章主要给大家介绍了关于C语言数据结构之堆排序的优化算法的相关资料,文中通过实例代码介绍的非常详细,需要的朋友可以参考下2022-04-04
这篇文章主要为大家详细介绍了OpenCV3实现车牌识别功能，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-08-08
C++利用std::forward_list查找插入数据方法示例
这篇文章主要给大家介绍了关于C++利用std::forward_list查找插入数据的相关资料，文中先对std::forward_list进行了详细的介绍，而后通过示例代码给大家介绍了查找的方法，需要的朋友可以参考借鉴，下面话不多说了，来一起看看吧。2017-08-08
之前对c语言数据存储一直不太明白,最近仔细研究了一番,所以下面这篇文章主要给大家介绍了关于C语言数据（整数、浮点数）在内存中存储的相关资料,需要的朋友可以参考下2021-06-06![C++下标运算符[]重载代码示例](//img.jbzj.com/images/xgimg/bcimg8.png)
这篇文章主要给大家介绍了关于C++下标运算符[]重载的相关资料,C++ 规定下标运算符[]必须以成员函数的形式进行重载,文中通过代码介绍的非常详细,需要的朋友可以参考下2024-01-01
这篇文章主要为大家详细介绍了一些C++中String类的常见题目，文中的示例代码讲解详细，对我们掌握C++有一定的帮助，感兴趣的小伙伴可以了解一下2023-06-06
![C++下标运算符[]重载代码示例](http://img.jbzj.com/images/xgimg/bcimg8.png)
最新评论