美文网首页C++
MSVC中C++的内存模型

MSVC中C++的内存模型

作者: 梅花怒 | 来源:发表于2018-10-18 10:42 被阅读3次

在MSVC环境下,虚继承和虚函数是分开存放的,我们分开讨论。

虚函数

1.当一个类Base中有虚函数的时候,这个Base类中有一个虚函数表指针vfptr,指向一个虚函数表。虚函数表中有两种东西:一个type_info(为了rtti)和虚函数指针。

2.若Base中有虚函数,且Derived继承了Base,那么Derived继承Base中的vfptr,且有一个新的属于Derived类的虚函数表,这个表里改写type_info以及override的虚函数指针,在Base中没被override的虚函数照抄。

3.若是多重继承,即Derived继承Base1,Base2,Base3。那么如果Base1、Base2、Base3中有vfptr,Derived都需要继承。即,Derived中有三个vfptr,且有属于Derived类的三个虚函数表。当把derived对象赋值给Base2*的时候,在内部需要有一个转化,即Base2* base2 = (Base2*)((char*)derived + sizeof(Base1));,而且类的布局是固定的,所以不用担心找不到或者找错虚函数表。

虚继承

1.若Derived虚继承Base,那么Derived中有一个虚基类指针vbptr,指向一个虚基类表。虚基类表里存放的是虚基类Base的初始位置和子类Derived中vbptr的位置差。

2.若是多重虚继承,即,Derived虚继承Base1,Base2,Base3,那么Derived中仍然只有一个vbptr,但是其指向的虚基类表中有多个表项。

3.若是嵌套的虚继承,即Derived虚继承Base,DerivedDerived虚继承Derived,那么一样的,DerivedDerived中有一个vbptr,指向一个虚基类表。但是这个虚基类表有两个表项,其中一个是Derived的初始位置和DerivedDerived中vbptr的位置差,另一个是Base在DerivedDerived中的初始位置和DerivedDerived中vbptr的位置差。多存一个嵌套的虚继承基类的好处是,访问的时间是固定的,而不会由嵌套的层次过深而增加指针的嵌套层次,从而增加访问时间。

混合

若虚基类中没有虚函数,那么显然,两者还是没有任何关系,各管各的。但是,若虚基类中有虚函数,即,虚基类中有vfptr,那么会对整个内存布局有重大的影响。假设若虚基类Base中有一个vfptr,其中有一个虚函数Base::f。

1.若Derived1虚继承Base,且Derived1中没有新的虚函数(即,Derived1中的虚函数要么是继承自Base的,要么是override的),那么Derived1照如上所说,继承Base中的vfptr。

2.若Derived2也虚继承Base,且Derived1和Derived2都改写了Base::f,那么DerivedDerived不能同时继承Derived1和Derived2,因为这样的话DerivedDerived中只有一个vfptr(虚基类在子类中只有一份)指向一个虚函数表,但是这个虚函数表中的f是矛盾的,既是Derived1::f,又是Derived2::f。所以,若Derived1和Derived2其中一个或零个改写了Base::f,那么DerivedDerived是可以同时继承Derived1和Derived2的,而且有趣的是,若Derived1改写了Base::f,那么当Derived2* derived2 = derivedDerived时,derived2->f()调用的是Derived1::f,尽管Derived1和Derived2没什么关系。因为DerivedDerived的vfptr指向的虚函数表中的f就是Derived1::f。

3.若Derived虚继承Base,且Derived中有新的虚函数,那么Derived中有两个vfptr,一个是从Base里面继承来的,这个vfptr只管辖Base里面有的虚函数,而新的vfptr则管辖新的虚函数。一方面,保留继承来的vfptr,可以保证没有新的虚函数时继承的语义(即上面的1点和2点);另一方面,创建新的vfptr,可以保证在DerivedDerived多重继承Derived1和Derived2的时候不会产生指向哪个表的冲突。

相关文章

  • MSVC中C++的内存模型

    在MSVC环境下,虚继承和虚函数是分开存放的,我们分开讨论。 虚函数 1.当一个类Base中有虚函数的时候,这个B...

  • C++_day06

    C++核心编程 主要针对C++面向对象编程技术做详细讲解,探讨C++中的核心和精髓 1. 内存分区模型 C++程序...

  • 2018-11-11 #C++ 内存模型#

    C++ 原子操作内存模型 C++ 原子操作内存模型解决并发编程的什么问题? 相信在大多数应用程序员眼里,代码在编辑...

  • 开篇2:C/C++ 内存布局与程序栈

    如果你对C/C++基本数据类型的内存模型没概念的话,可以先查看该传送门《开篇1:C/C++ 内存中的数据表示》,反...

  • Java内存泄漏

    本文将会介绍: C++中的内存泄露 Java内存管理与垃圾回收 Java中的内存泄漏 一、C++中的内存泄露 在大...

  • 内存管理

    内容包括: C++内存管理 Java内存管理 C++内存管理 内存分配方式 在C++中,内存分成5个区,分别是栈、...

  • C++中New关键字和命名空间

    动态内存分配 C++中的动态内存分配C++中通过new关键字进行动态内存申请C++中的动态内存申请是基于类型进行的...

  • Rust 使用vscode 调试

    环境: windows, msvc Vscode安装以下插件 rust-analyzer C/C++ Native...

  • C++中的新成员

    C++中的动态内存分配 C++中通过new关键字进行动态内存申请 C++中的动态内存申请是基于类型进行的 dele...

  • C++内存模型

    在讲述内存模型的时候,我们使用下面这段代码来涵盖各种内存分配的情况 这是内存变量图: rodata 和 text ...

网友评论

    本文标题:MSVC中C++的内存模型

    本文链接:https://www.haomeiwen.com/subject/kocjzftx.html