c++ 中 struct 的内存布局

C++ or C

本文讨论的是 C++, 在C中内存布局差不多,但也不尽相同。如一个空的struct,c++中大小为1, C中却大小为0.

struct 的最小大小为1

C++中每个对象必须有个唯一的地址,所以每个对象的大小必须不能为0。因此一个 struct 的最小大小为 1. 一个例子是一个空struct:

struct EmptyStruct {};
// sizeof (EmptyStruct) = 1

内存布局流程

一个 struct 的内存布局流程可以简化为下面几步:

  1. struct 放到地址0上
  2. struct 的所有成员顺序地依次放置到自己的偏移位置上
  3. 所有成员放置完毕,对struct的内容大小(最后一个成员的终了位置)进行对齐,计算出新大小

流程中涉及到两点:

  1. 如何确定一个成员的放置起始位置
  2. 如何最后对struct的内容大小进行对齐

成员的起始位置

当放置完上一个成员之后,对接下来的成员放置位置是有要求的,要求这个位置偏移(对于struct的起始位置)必须是这个成员的内部最大pod类型的大小的倍数

成员的内部最大pod类型可以分成几种情况来讨论:

  • 第一种是这个成员就是基本的pod类型(int,char,double,...) ,那么其内部最大pod类型大小自然是其本身成员的大小了。

  • 第二种是这个成员是struct类型,其内部最大pod类型为struct内部的各个成员的内部最大pod类型中最大的那个(有个递归了)。

  • 第三种是数组,数组的内存布局要求是,每个数组成员之间无空隙排列的,没有填充字节。所以数组的总大小是数组长度乘以每个数组成员的大小。内部最大pod类型的大小为数组成员内部的最大pod类型大小(有个递归了)。

伪代码如下:

// 求内部最大的成员大小
function maxInnerUnitSize(data)
    if data 是 pod类型:
         return sizeof(pod类型)
    else if data 是 struct 类型:
        return max(map(data.members, maxInnerUnitSize))
    else if data  是 数组类型:
       return maxInnerUnitSize(data[0])
end

在上个放置成员尾部和当前成员起始位置之间如果有间隙,那么编译器会填充无效字节。

然后就可以把当前成员放置进去,放入的大小为当前成员的总大小。一个成员的大小计算伪代码:

function dataSize(data)
    if data 是 pod类型:
         return sizeof(pod类型)
    else if data 是 struct 类型:
        return struct 的大小
    else if data  是 数组类型:
       return 数组长度 * sizeof(data[0])
end

struct 的大小对齐

成员都放置完毕之后,struct的内容大小有个规则,必须是内部最大pod类型的大小的倍数。没错,就是上面那个 maxInnerUnitSize。

然后在最后一个成员末尾到struct的新大小末尾会填充字节(如果有空隙的话)。

举个例子:

struct AAA {
    char a[3];
    int64_t b;
    char c;
};

首先,最大成员大小 maxInnerUnitSize 为 max(3, 8, 1) = 8, 所以每个成员的偏移位置必须是 8 的倍数。先放置 a 在 0 处,其占用 3 个字节,然后填充 5 个补齐字节,以让 b 放置在 8 处,b占用 8 个字节,最后 c 放置在 16 处,占用 1 个字节。至此整个struct内容大小为 17,所以调整到 8 的倍数,末尾填充 6 个字节,struct 大小调整为 24.

#pragma pack(n) 的影响

pack 的参数n,有1,2,4,8,16, 原则是 2 的次幂。这个参数影响的是上面流程中的内部最大pod类型大小。影响是从正常流程算出的大小,和pack(n) 指定的大小取最小值来布局。即:

maxInnerUnitSize(data) = min(maxInnerUnitSize(data), pack_n)

再看上面的例子,添加 pack(n) 后的效果:

#pragma pack(4)

struct AAA {
    char a[3];
    int64_t b;
    char c;
};

首先,最大成员大小 maxInnerUnitSize 为 max(3, 8, 1) = 8, 然后与 pack(4) 取最小徝,故每个成员的偏移位置必须是 4 的倍数。

a 放置在地址 0 处,占用 3 个字节,接下来 b 放置在地址 4 处,占用 8 个字节, c 放置在地址 12 处,占用 1 个字节。struct内容区域大小为 13 ,需要调整为 4 的倍数,所以大小调整为 16 .

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,590评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 86,808评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,151评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,779评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,773评论 5 367
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,656评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,022评论 3 398
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,678评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 41,038评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,659评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,756评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,411评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,005评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,973评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,203评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,053评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,495评论 2 343

推荐阅读更多精彩内容