字对齐之 sizeof和pragma pack 的用法

最新推荐文章于 2020-06-02 20:46:24 发布

woyaowenzi

最新推荐文章于 2020-06-02 20:46:24 发布

阅读量1.1k

点赞数

CC 4.0 BY-SA版权

分类专栏： C/C++ 文章标签：编译器面试 struct windows float 平台

本文链接：https://blog.youkuaiyun.com/woyaowenzi/article/details/5829175

C/C++ 专栏收录该内容

46 篇文章

订阅专栏

本文详细解析了C/C++中结构体的内存对齐规则及#pragmapack指令的使用方法，并通过具体示例说明了不同情况下结构体大小的计算方式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

面试常问的几道题

1. sizeof与 #pragma pack 用法

（注：以下用法都以windows平台下32位机为标准。）

sizeof与 #pragma pack 的用法经常会在面试或笔试中问到，估计很多人也和我一样，答错的几率很大。究其原因，还是不明白原理。有时候只是凭着笔试前的记忆乱猜的。

首先，我们看sizeof的用法。

对于结构体：

struct Data1

{

char m_ch;

int m_nData;

};

sizeof(Data1)=?

a) 可能有人会回答：sizeof(Data1) = 1 + 4=5；很明显，这类人肯定是连字对齐是什么都不知道。

b) 也有人会这么回答：sizeof(Data1) = 2 + 4=6；这类人可能知道什么是字对齐，但是不明白到底字对齐是啥意思。可能认为字对齐就是以2的整数倍对齐。结果面试官一问为什么，想当然的就说出了自己的原因，【说32位机器的字对齐方式是这样的，结构体中每个字段的大小都必须是2的整数倍，因为这样CPU寻址会快】，并毫不犹豫的认为这种说法很完美。但实际上，这只是答对了一点皮毛。很悲剧，我就是属于这类人，只知道有这么回事，但并不知道怎么回事。

经过面试官的指点与自己google出来的结果，我进行了一些总结。我们还是从上面的例子开始讲起。这里先给个链接，我当中有很大一部分是根据这个总结而来的。

http://www.cnblogs.com/bingxuefly/archive/2007/11/12/957056.html

n Windows平台下，默认的字对齐方式遵循以下2条规则：

条款1 成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量的类

型所占用的字节数的倍数。

也就是说，要遵循这么个法则。

------------------------------------------------------------------------------

成员变量类型 | 对齐方式（变量存放的起始地址相对于结构的起始地址的偏移量）

char | 偏移量必须为sizeof(char)，即1的倍数

short | 偏移量必须为sizeof(short)，即2的倍数

int | 偏移量必须为sizeof(int)，即4的倍数

float | 偏移量必须为sizeof(float)，即4的倍数

long | 偏移量必须为sizeof(long)，即4的倍数

double | 偏移量必须为sizeof(double)，即8的倍数

__int64 | 偏移量必须为sizeof(__int64)，即8的倍数

…….

条款2 各成员变量在存放的时候根据在结构中出现的顺序依次申请空间，同时按照上面的对齐方式调整位置，空缺的字节VC会自动填充。

条款3 整个结构体的大小必须是结构体中所占空间最大的那个类型所占用字节数的整数倍。

分析：据这两条规则，对于结构体Data1，我们做如下分析。

【注意，偏移大小从0开始，也就是说，结构体的第一个字节我们认为是偏移为0】

首先，编译器会为char m_ch分配空间，其起始地址跟结构的起始地址相同，根据条款1，此时相对偏移为0，正好为sizeof(char)=1的倍数。然后为int m_nData分配空间，由于它的相对偏移要是sizeof(int)=4的倍数，显然，其相对偏移就是4了，那么，根据条款2，相对偏移为1，2，3的字节就应该空着，里面什么内容也不被填充。

再来看条款3满不满足，此时结构体的大小已为8个字节，恰好是结构体里面最大的数据段【int m_nData】大小的整数倍。

所以，整个数据的大小就为sizeof(Data1) = 1+3+4=8;

也就是sizeof(Data1) = sizeof(char) + 自动对齐的3个字节 + sizeof(int) = 8;

再来分析一个更加复杂的结构：

struct Data

{

__int64 m_64n1;

short m_sh1;

__int64 m_64n2;

short m_sh2;

char m_ch;

short m_sh3;

};

第一步，编译器会为__int64 m_64n1分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(__int64)=8的整数倍，此时相对偏移为0【也就是结构体的起始位置】，正好是8的整数倍。此字段占用的字节为第0~7个字节。

第二步，编译器会为short m_sh1分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(short)=2的整数倍，根据第一步分配后的空间来看，此时相对偏移已经移动到第8个字节，正好是其整数倍。此字段占用的字节为第8~9个字节。

第三步，编译器会为__int64 m_64n2分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(__int64)=8的整数倍，根据第二步分配后的空间来看，此时相对偏移已经移动到第10个字节，不是其整数倍。那么此时就要根据条款2，将偏移为第10~15的位置填充。此时偏移为16，正好是8的整数倍。此字段占用的字节为第16~23个字节。

第四步，编译器会为short m_sh2分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(short)=2的整数倍，根据第三步分配后的空间来看，此时相对偏移已经移动到第24个字节，正好是其整数倍。此字段占用的字节为第24~25个字节。

第五步，编译器会为char m_ch分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(char)=1的整数倍，根据第四步分配后的空间来看，此时相对偏移已经移动到第26个字节，正好是其整数倍。此字段占用的字节为第26个字节。

第六步，编译器会为short m_sh3分配空间，根据条款1，该成员变量的相对偏移应该是sizeof(short)=2的整数倍，根据第二步分配后的空间来看，此时相对偏移已经移动到第27个字节，不是其整数倍。那么此时就要根据条款2，将偏移为第27的位置填充。此时偏移就为28了，正好是2的整数倍。此字段占用的字节为第28~29个字节。