关于之前对#pragma pack ()误解的纠正

如题

首先给出一段之前测试的代码

#include<stdio.h>
#pragma pack (4)
typedef struct a
{
int b; //4
char c; //1
short d;//2
float e;//4
char f; //1
} st;

int main()
{
st s;
printf("%d\n",sizeof(s));
printf("str   s:  %p\n",&s);
printf("int   b:  %p\n",&(s.b));
printf("char  c:  %p\n",&(s.c));
printf("short d:  %p\n",&(s.d));
printf("float e:  %p\n",&(s.e));
printf("char  f:  %p\n",&(s.f));

return 0;

}

原来理解为：为每个数据成员分配的内存大小都没4个字节，不足的补0，实际是一种误解。

实际结果为：

16
str   s:  0022FEE0
int   b:  0022FEE0
char  c:  0022FEE4
short d:  0022FEE6
float e:  0022FEE8
char  f:  0022FEEC

内存分配为 1111_10_11_1111_1000 16byte

改变程序代码为#pragma pack (8) ：

#include<stdio.h>
#pragma pack (8)
typedef struct a
{
int b; //4
char c; //1
short d;//2
float e;//4
char f; //1
} st;

int main()
{
st s;
printf("%d\n",sizeof(s));
printf("str   s:  %p\n",&s);
printf("int   b:  %p\n",&(s.b));
printf("char  c:  %p\n",&(s.c));
printf("short d:  %p\n",&(s.d));
printf("float e:  %p\n",&(s.e));
printf("char  f:  %p\n",&(s.f));

return 0;

}

运行结果是一致的；

16
str   s:  0022FEE0
int   b:  0022FEE0
char  c:  0022FEE4
short d:  0022FEE6
float e:  0022FEE8
char  f:  0022FEEC

改变程序代码为#pragma pack (2) ：

#include<stdio.h>
#pragma pack (2)
typedef struct a
{
int b; //4
char c; //1
short d;//2
float e;//4
char f; //1
} st;

int main()
{
st s;
printf("%d\n",sizeof(s));
printf("str   s:  %p\n",&s);
printf("int   b:  %p\n",&(s.b));
printf("char  c:  %p\n",&(s.c));
printf("short d:  %p\n",&(s.d));
printf("float e:  %p\n",&(s.e));
printf("char  f:  %p\n",&(s.f));

return 0;

}

运行结果为：

14
str   s:  0022FEE2
int   b:  0022FEE2
char  c:  0022FEE6
short d:  0022FEE8
float e:  0022FEEA
char  f:  0022FEEE

发生了改变，存储为 1111_10_11_1111_10 14byte

-------------------------------------------------------------分析----------------------------------------------------------- -----------------------------------------------------

#pragma pack ()的对其原则：

1、数据成员对齐规则：结构(struct)(或联合(union))的数据成员，第一个数据成员放在offset为0的地方，以后每个数据成员的对齐按照

#pragma pack指定的数值和这个数据成员自身长度中，比较小的那个进行。

2、结构(或联合)的整体对齐规则：在数据成员完成各自对齐之后，结构(或联合)本身也要进行对齐，对齐将按照#pragma
pack指定的数值和结构

(或联合)最大数据成员长度中，比较小的那个进行。

结合1、2推断：当#pragma pack的n值等于或超过所有数据成员长度的时候，这个n值的大小将不产生任何效果。

根据这个原则再分析一下前面的测试代码。

#pragma pack (2)

typedef struct a

{

int b; //int 4字节和2 取2个字节对齐 存储形式为 1111

char c; //char 1字节和2 取1个字节对齐 存储形式为 1

short d;//short 2个字节和2 取2个字节对齐 存储形式为 011

float e;//float 4个字节和2 取2个字节对齐 存储形式为 11_11

char f; //char 1个字节和2 取1个字节对齐 存储形式为 1

} st;

实际结构体内部的对齐方式 就是像上面写出的一样 1111 1011 1111 1 为13个字节

但是还有一个对齐及struct整体对齐，struct 最大成员字节为4 和2 取2个字节对齐 所以 最终为 1111 1011 1111 10 为14个字节

为了验证上面分析的正确性，再改变代码为1字节对齐，运行结果为：

12

str s: 0022FEE4

int b: 0022FEE4

char c: 0022FEE8

short d: 0022FEE9

float e: 0022FEEB

char f: 0022FEEF

1111_1_11_1111_1 12byte 成立

-----------------------------------------------------------------------------拓展-------------------------------------------------------------------------------

(1) MSDN中对于n的规定：

n（可选）

指定要用于封装的值（以字节为单位）。 如果没有为模块设置编译器选项 /Zp，n 的默认值为
8。 有效值为 1、2、4、8 和 16。 成员将在作为 n 的倍数或成员的大小的倍数的边界（以较小者为准）上对齐。
(2) 还有一个关于struct中定义struct的例子可以看一下：

#pragma pack(8)
typedef struct s1{
short a;
long b;
} S1;

typedef struct s2{
char c;
S1 d;
long long e;
}S2;
#pragma pack()

s1 11_001111 8byte

s2 1_000000011001111_11111111 24byte