C++对象内存分布详解(包括字节对齐和虚函数表)

 更新时间:2016年12月25日 10:56:35   投稿:jingxian  
下面小编就为大家带来一篇C++对象内存分布详解(包括字节对齐和虚函数表)。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧

1、C++对象的内存分布和虚函数表:

C++对象的内存分布和虚函数表注意,对象中保存的是虚函数表指针,而不是虚函数表,虚函数表在编译阶段就已经生成,同类的不同对象中的虚函数指针指向同一个虚函数表,不同类对象的虚函数指针指向不同虚函数表。

2、何时进行动态绑定:

(1)每个类对象在被构造时不用去关心是否有其他类从自己派生,也不需要关心自己是否从其他类派生,只要按照一个统一的流程:在自身的构造函数执行之前把自己所属类(即当前构造函数所属的类)的虚函数表的地址绑定到当前对象上(一般是保存在对象内存空间中的前4个字节)。因为对象的构造是从最基类部分(比如A<-B<-C,A是最基类,C是最派生类)开始构造,一层一层往外构造中间类(B),最后构造的是最派生类(C),所以最终对象上绑定的就自然而然就是最派生类的虚函数表。

(2)析构函数的调用跟构造函数的调用顺序是相反的,它从最派生类的析构函数开始的。也就是说当基类的析构函数执行时,派生类的析构函数已经执行过,派生类中的成员数据被认为已经无效(包括派生类对象中的虚表指针)。假设基类中虚函数调用能调用得到派生类的虚函数,那么派生类的虚函数将访问一些已经“无效”的数据,所带来的问题和访问一些未初始化的数据一样。而同样,我们可以认为在析构的过程中,虚函数表也是在不断变化的,不断解绑定。

因此,在基类构造函数或者析构函数中调用虚函数,并不会绑定到派生类的实现上,因为在这两个函数执行时虚函数表指针指向的是基类的虚函数表。

3、C++中类的大小:

由 1 可知,C++对象中只保存非静态数据成员,成员函数和静态数据成员是存储在静态数据区的。

字节对齐(默认):

1、VC规定各成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量的类型所占用的字节数的倍数。

2、VC为了确保结构的大小为结构的字节边界数(即该结构中占用最大空间的类型所占用的字节数)的倍数,所以在为最后一个成员变量申请空间后,还会根据需要自动填充空缺的字节。

3、如果对齐字节数(#pragma pack(n)),那么

(1)各成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量的类型所占用的字节数和n的较小值的倍数。

(2)结构的大小为结构中占用最大空间的类型所占用的字节数和n的较小值的倍数。

class A { 
 double d;
 static int i;
 void f() { std::cout << "A::f" << std::endl; }
}; // 8 byte,只有double数据成员占8字节,成员函数和静态数据成员不在对象中,而是在静态数据区


class B { 
 int i; //4
 double j;//8
 char k; //
}; // 24 byte,考虑字节对齐, 4 + 4 + 8 + 1 + 7, 蓝色的4是为了满足条件1,黑色的7是为了满足条件2。如果指定4字节对齐,4 + 8 + 1 + 3


class C { 
 virtual void f() { std::cout << "C::f" << std::endl; }
}; // 4 byte,虚函数表指针占4个字节


class D { 
};// 1 byte,没有成员变量的结构或类的大小为1,因为必须保证结构或类的每一 个实例在内存中都有唯一的地址

注:

1、如果有成员对象,直接把成员对象展开到外部对象中,然后按照字节对齐的规律求大小。

2、虚继承的内存分布为:虚类指针-》派生类成员数据-》基类成员数据。其对齐方案是:首先把派生类所有成员当成一个嵌套结构体形式,位于最下面的基类的数据成员要保证自己对齐(首地址整除自己的字节数),但是不用在最下面添加字节保证整体是边界长度的整数倍(因为基类成员共享,不能把派生类当成一个整体)。

3、如果对象中有数组,可以把数组展开到对象中,然后按照字节对齐的规律求大小。

4、为什么要进行字节对齐

计算机组成原理教导我们这样有助于加快计算机的取数速度,否则就得多花指令周期了。为此,编译器默认会对结构体进行处理(实际上其它地方的数据变量也是如此),让宽度为2的基本数据类型(short等)都位于能被2整除的地址上,让宽度为4的基本数据类型(int等)都位于能被4整除的地址上,以此类推。比如有些平台每次读都是从偶地址开始,如果一个int型(假设为32位系统)如果存放在偶地址开始的地方,那么一个读周期就可以读出这32bit,而如果存放在奇地址开始的地方,就需要2个读周期,并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。

备注:visual studio 2010是按照默认方式进行字节对齐的 32位gcc按照4字节最齐

以上就是小编为大家带来的C++对象内存分布详解(包括字节对齐和虚函数表)全部内容了,希望大家多多支持脚本之家~

相关文章

  • C++中重载、重写(覆盖)和隐藏的区别实例分析

    C++中重载、重写(覆盖)和隐藏的区别实例分析

    这篇文章主要介绍了C++中重载、重写(覆盖)和隐藏的区别,是C++面向对象程序设计非常重要的概念,需要的朋友可以参考下
    2014-08-08
  • C++ vector的简单实现

    C++ vector的简单实现

    这篇文章主要为大家详细介绍了C++ vector的简单实现,使用数据库,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-03-03
  • C语言中实现KMP算法的实例讲解

    C语言中实现KMP算法的实例讲解

    KMP算法即字符串匹配算法,C语言中KMP可以避免指针回溯从而达到高效,接下来就来总结一下C语言中实现KMP算法的实例讲解
    2016-06-06
  • C程序函数调用&系统调用

    C程序函数调用&系统调用

    这篇文章主要介绍了C程序函数调用&系统调用,需要的朋友可以参考下
    2016-09-09
  • C++ 通过pqxxlib库链接 PostgreSql数据库的详细过程

    C++ 通过pqxxlib库链接 PostgreSql数据库的详细过程

    这篇文章主要介绍了C++ 通过pqxxlib库链接 PostgreSql数据库,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2023-04-04
  • c语言中scanf的基本用法

    c语言中scanf的基本用法

    这篇文章主要给大家介绍了关于c语言中scanf的基本用法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-01-01
  • C++函数模板的使用详解

    C++函数模板的使用详解

    大家好,本篇文章主要讲的是C++函数模板的使用详解,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下,方便下次浏览
    2022-01-01
  • 举例讲解C语言的fork()函数创建子进程的用法

    举例讲解C语言的fork()函数创建子进程的用法

    fork函数是Linux下一个近乎专有的C语言函数,因为使用时需要调用unistd.h这个头文件,这里我们就在Linux环境下举例讲解C语言的fork()函数创建子进程的用法,需要的朋友可以参考下
    2016-06-06
  • C++面试八股文之智能指针详解

    C++面试八股文之智能指针详解

    智能指针是C++11引入的类模板,用于管理资源,行为类似于指针,但不需要手动申请、释放资源,本文主要为大家介绍了它的相关知识,需要的可以参考一下
    2023-06-06
  • C++ 浅谈emplace_back及使用误区

    C++ 浅谈emplace_back及使用误区

    这篇文章主要介绍了C++ 浅谈emplace_back及使用误区,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2020-12-12

最新评论