C++ 中的虚函数表及虚函数执行原理详解
为了实现虚函数，C++ 使用了虚函数表来达到延迟绑定的目的。虚函数表在动态/延迟绑定行为中用于查询调用的函数。
尽管要描述清楚虚函数表的机制会多费点口舌，但其实其本身还是比较简单的。
首先，每个包含虚函数的类（或者继承自的类包含了虚函数）都有一个自己的虚函数表。这个表是一个在编译时确定的静态数组。虚函数表包含了指向每个虚函数的函数指针以供类对象调用。
其次，编译器还在基类中定义了一个隐藏指针，我们称为 *__vptr，*__vptr 是在类实例创建时自动设置的，以指向类的虚函数表。*__vptr 是一个真正的指针，这和 *this 指针不同，*this 指针实际是一个函数参数，使编译器来达到自引用的目的。
结果就是，每个类对象都会多分配一个指针的大小，并且 *__vptr 是被派生类继承的。
如果你不清楚这些组件是怎么配合运作的，看下面的例子：
class Base
{
public:
virtual void function1() {};
virtual void function2() {};
};
class D1: public Base
{
public:
virtual void function1() {};
};
class D2: public Base
{
public:
virtual void function2() {};
};
因为这里有 3 个类，编译器会创建 3 个虚函数表。
然后编译器会在使用了虚函数的最上层基类中定义一个隐藏指针。尽管这个过程编译器会自动处理，但我们还是通过下面的例子来说明指针添加的位置：
class Base
{
public:
FunctionPointer *__vptr;
virtual void function1() {};
virtual void function2() {};
};
class D1: public Base
{
public:
virtual void function1() {};
};
class D2: public Base
{
public:
virtual void function2() {};
};
*__vptr 在类对象创建的时候会设置成指向类的虚函数表。例如，类型 Base 被实例化的时候，*__vptr 就指向 Base 的虚函数表。类型 D1 或者 D2 被实例化的时候，*__vptr 就指向 D1 或者 D2 的虚函数表。
现在我们来看下虚函数表是怎么创建的。因为示例中每个类仅有 2 个虚函数，所以每个虚函数表会存放两个函数指针（分别指向 function1() 和 function2()）。
Base 对象的虚函数表最简单。Base 对象只能访问 Base 类型的成员，不能访问 D1 或者 D2 的函数。所以 Base 的虚函数表中的两个指针分别指向 Base::function1() 和 Base::function2()。
D1 的虚函数表稍复杂点，D1 对象能够访问 D1 以及 Base 的成员。D1 重写了 function1()，但没有重写 function2()，所以 D1 的虚函数表中的两个指针分别指向 D1::function1() 和 Base::function2()。
D2 的虚函数表同理 D1，包含了分别指向 Base::function1() 和 D2::function2() 的指针。
考虑如果创建 D1 对象时会发生什么：
int main()
{
D1 d1;
}
因为 d1 是 D1 类型对象，d1 有它自己的 *__vptr 指向 D1 类型的虚函数表。
现在创建一个 Base 类型指针 *dPtr 指向 d1：
int main()
{
D1 d1;
Base *dPtr = &d1;
return 0;
}
重点：
因为 dPtr 是 Base 类型指针，它只指向 d1 对象的 Base 类型部分(即，指向 d1 对象中的 Base 子对象)，而 *__vptr 也在 Base 类型部分。所以 dPtr 可以访问 Base 类型部分中的 *__vptr。同时，这里注意，dPtr->__vptr 指向的是 D1 的虚拟函数表，这是在 d1 初始化时就确定的。所以结果，尽管 dPtr 是 Base 类型指针，但它能够访问 D1 的虚函数表。
因此，当有调用 dPtr->function1() 时，发生了什么？
int main()
{
D1 d1;
Base *dPtr = &d1;
dPtr->function1();
return 0;
}
首先，程序识别到 function1() 是一个虚函数。
其次，程序使用 dPtr->__vptr 获取到了 D1 的虚函数表。
然后，它在 D1 的虚函数表中寻找可以调用的 function1() 版本，这里是 D1::function1()。
因此，dPtr->function1() 实际调用了 D1::function1()。
通过虚函数表，编译器和程序能够确定调用什么版本的虚函数，尽管使用的是指向/引用基类的指针或者引用。
调用虚函数会比调用非虚函数更慢，有以下几个原因：
- 必须使用 *__vptr 获取正确的虚函数。
- 必须建立虚函数表的索引来获取想要调用的函数。
- 调用找到的函数。
结果就是必须进行三次操作才能完成对函数的调用。但是对于现代计算机系统，这些额外操作增加的时间几乎可以忽略不计。
另外，每个使用虚函数表的类都有 *__vptr 指针，从而每个类对象都会多一个指针的空间。虚函数很强大，但是它确实产生了性能开销。
到此这篇关于C++ 中的虚函数表及虚函数执行原理详解的文章就介绍到这了,更多相关C++ 虚函数表内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！
相关推荐
-
C++虚函数表实例分析
多态是C++面向对象程序设计的一个重要特性.以前看到虚函数觉得很神奇,为什么就能实现多态了呢.最初的时候曾设想,要实现运行时多态,应该让对象的某个部分始终指向一个固定的地址,子类继承的时候,就修改这个地址的内容.这样,父类和子类都是到同一个固定地址去读取内容,在运行时就能表现不同行为. 在看了<深度探索c++对象模型>之后,发现思路是类似的.在对象中,有一个指针指向一张虚函数表,里面按照次序存放了每一个虚函数,当子类继承的时候,即到虚函数表的指定位置去修改函数地址.当我们通过父类指针来操作一个
-
虚函数表-C++多态的实现原理解析
参考:http://c.biancheng.net/view/267.html 1.说明 我们都知道多态指的是父类的指针在运行中指向子类,那么它的实现原理是什么呢?答案是虚函数表 在 关于virtual 一文中,我们详细了解了C++多态的使用方式,我们知道没有 virtual 关键子就没法使用多态 2.虚函数表 我们看一下下面的代码 class A { public: int i; virtual void func() { cout << "A func" <<
-
C++对象内存分布详解(包括字节对齐和虚函数表)
1.C++对象的内存分布和虚函数表: C++对象的内存分布和虚函数表注意,对象中保存的是虚函数表指针,而不是虚函数表,虚函数表在编译阶段就已经生成,同类的不同对象中的虚函数指针指向同一个虚函数表,不同类对象的虚函数指针指向不同虚函数表. 2.何时进行动态绑定: (1)每个类对象在被构造时不用去关心是否有其他类从自己派生,也不需要关心自己是否从其他类派生,只要按照一个统一的流程:在自身的构造函数执行之前把自己所属类(即当前构造函数所属的类)的虚函数表的地址绑定到当前对象上(一般是保存在对象内存空间
-
C++虚函数及虚函数表简析
C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有"多种形态",这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,我在这里不做过多的阐述.大家可以看看相关的C++的书籍.在这篇文章中,我只想从虚函数的实现机制上面为大家 一个
-
C++ 类中有虚函数(虚函数表)时 内存分布详解
虚函数表 对C++ 了解的人都应该知道虚函数(Virtual Function)是通过一张虚函数表(Virtual Table)来实现的.简称为V-Table.在这个表中,主是要一个类的虚函数的地址表,这张表解决了继承.覆盖的问题,保证其容真实反应实际的函数.这样,在有虚函数的类的实例中这个表被分配在了这个实例的内存中,所以,当我们用父类的指针来操作一个子类的时候,这张虚函数表就显得由为重要了,它就像一个地图一样,指明了实际所应该调用的函数. 这里我们着重看一下这张虚函数表.C++的编译器应该是
-
浅谈C++对象的内存分布和虚函数表
c++中一个类中无非有四种成员:静态数据成员和非静态数据成员,静态函数和非静态函数. 1.非静态数据成员被放在每一个对象体内作为对象专有的数据成员. 2.静态数据成员被提取出来放在程序的静态数据区内,为该类所有对象共享,因此只存在一份. 3.静态和非静态成员函数最终都被提取出来放在程序的代码段中并为该类所有对象共享,因此每一个成员函数也只能存在一份代码实体.在c++中类的成员函数都是保存在静态存储区中的 ,那静态函数也是保存在静态存储区中的,他们都是在类中保存同一个惫份. 因此,构成对象本身的只
-
C++ COM编程之接口背后的虚函数表
前言 学习C++的人,肯定都知道多态机制:多态就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.对于多态机制是如何实现的,你有没有想过呢?而COM中的接口就将这一机制运用到了极致,所以,不知道多态机制的人,是永运无法明白COM的.所以,在总结COM时,是非常有必要专门总结一下C++的多态机制是如何实现的. 多态 什么是多态?上面也说了,多态就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.现在通过代码,让大家切身的体会一下多态: 复制代
-
C++ 中的虚函数表及虚函数执行原理详解
为了实现虚函数,C++ 使用了虚函数表来达到延迟绑定的目的.虚函数表在动态/延迟绑定行为中用于查询调用的函数. 尽管要描述清楚虚函数表的机制会多费点口舌,但其实其本身还是比较简单的. 首先,每个包含虚函数的类(或者继承自的类包含了虚函数)都有一个自己的虚函数表.这个表是一个在编译时确定的静态数组.虚函数表包含了指向每个虚函数的函数指针以供类对象调用. 其次,编译器还在基类中定义了一个隐藏指针,我们称为 *__vptr,*__vptr 是在类实例创建时自动设置的,以指向类的虚函数表.*__vptr
-
C++虚函数表和虚析构介绍
目录 1.虚函数表 2.虚析构 1.虚函数表 虚函数表是C++实现多态的基础,多态是面向对象的三大特性之一,多态有利于提高代码的可读性,便于后期代码的扩展和维护.我们都知道多态的实现是基于虚函数表,那么虚函数表是什么时候创建的呢?虚函数表是怎么实现多态的功能的呢? 首先应该明确多态也称为动态多态,他是在程序运行时候确定函数地址的,也就是程序在运行时,如果类成员函数加了virtual关键字,就会建立一个虚函数指针(vfptr)指针指向一个虚函数表,这个虚函数表就保存了虚函数的地址,子类继承父类也自
-
vue中各选项及钩子函数执行顺序详解
在vue中,实例选项和钩子函数和{{}}表达式都是不需要手动调用就可以直接执行的. vue的生命周期如下图: 在页面首次加载执行顺序有如下: beforeCreate //在实例初始化之后.创建之前执行 created //实例创建后执行 beforeMounted //在挂载开始之前调用 filters //挂载前加载过滤器 computed //计算属性 directives-bind //只调用一次,在指令第一次绑定到元素时调用 directives-inserted //被绑定元素插入父
-
iOS中的多线程如何按设定顺序去执行任务详解
多线程概述 对于ios系统中的某个App来讲,是单进程多线程方式来工作.一般来说,使用多线程的好处是可以把程序分成相对独立的几个模块,可以有效的防止某个模块堵塞的时候导致整个程序卡死:还有就是提高运行效率,现在CPU都是多核,多个核可以同时跑,可以同时执行多条线程. 经常有这样的需求: 1,有m个网络请求. 2,先并发执行其中n几个. 3,待这n个请求完成之后再执行第n+1个请求. 4然后等 第n+1个请求完成后再并发执行剩下的m-(n+1)个请求. 如果我们用GCD,可以使用dispatcg_
-
Spring中AOP概念与两种动态代理模式原理详解
目录 1.概念 1.AOP技术简介 2.AOP的优势 3.Spring AOP术语 4.AOP 开发明确的事项 2.AOP底层实现 1.AOP 的动态代理技术: 3.基于cglib的动态代理代码 总结 1.概念 1.AOP技术简介 AOP 为Aspect Oriented Programming 的缩写,意思为面向切面编程,是通过预编译方式和运行期动态代理实现程序功能的统一维护的一种技术. AOP 是 OOP 的延续,是软件开发中的一个热点,也是Spring框架中的一个重要内容,是函数式编程的一
-
C++ 虚函数表图文解析
一.前言 一直以来,对虚函数的理解仅仅是,在父类中定义虚函数,子类中可以重写该虚函数,并且父类指针可以指向子类对象,调用子类的虚函数(多态).在读研阶段经历的几个项目中,自己所写的类中并没有用到虚函数,对虚函数这个东西的强大之处并没有太多体会.最近,学了设计模式中的简单工厂模式,对多态有了具体的认识.于是,补了补多态.虚函数.虚函数表相关的知识,参考相关博客,加上自己的理解,整理了这篇博文. 二.含有虚函数类的内存模型 以下面的类为例(32位平台下): class Father { public