结构体中各个变量在内存中的地址必须符合对齐规则

1、结构体中各个变量在内存中的地址必须符合“对齐规则”，如long型，起始地址必须能够被4整除。

2、结构体中各个变量在内存中的位置随声明顺序依次递增。

3、结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节.

4、不仅可以计算出所占内存的大小，还可以知道各个变量的具体位置。

5、总之，两个对齐：各个变量＆结构整体

我和史岩讨论的结论：用最大的盒子依次装东西，装不下时启用新盒子。

这种方法建立在试验基础上，没有理论依据，不科学！例如：

struct pro

{

char c;

int a;

char d;

double s;

};

占用内存大小为？？？正确答案为：24

6、使用伪指令#pragma pack (n)，C编译器将按照n个字节对齐。

使用伪指令#pragma pack ()，取消自定义字节对齐方式。

7、Struct Number Alignment在VC中可以设置。

8、对于结构体中嵌套结构体的，如下：

struct example1

{

char a;

long b;

};

struct example2

{

char c;

example1 struct1;

short e;

};

相当于把struct1中的元素依次放到struct1的位置，但是struct1还是一个整体的概念， char a 和char c不能放在一个单元中。

9、对于结构体中嵌套数组，则相当于把数组内的元素放置到数组所在的位置，数组内的元素可能和外面的元素合用一个内存单元

ANSI C保证结构体中各字段在内存中出现的位置是随它们的声明顺序依次递增的，并且第一个字段的首地址等于整个结构体实例的首地址。

为了能使CPU对变量进行高效快速的访问，变量的起始地址应该具有某些特性，即所谓的“对齐”。例如对于4字节的int类型变量，其起始地址应位于4字节边界上，即起始地址能够被4整除。变量的对齐规则如下（32位系统）：

Type Alignment

char在字节边界上对齐

short (16-bit) 在双字节边界上对齐

int and long(32-bit) 在4字节边界上对齐

float在4字节边界上对齐

double在8字节边界上对齐

structures 单独考虑结构体的个成员，它们在不同的字节边界上对

齐。

其中最大的字节边界数就是该结构的字节边界数。

MSDN原话：Largest alignment requirement of any

member

理解结构体的对齐方式有点挠头，如果结构体中有结构体成员，那么这是一个递归的过程。

#pragma pack规定的对齐长度，实际使用的规则是：

结构，联合，或者类的数据成员，第一个放在偏移为0的地方，以后每个数据成员的对齐，按照#pragma pack指定的数值和这个数据成员自身长度中，比较小的那个进行。

也就是说，当#pragma pack的值等于或超过所有数据成员长度的时候，这个值的大小将不产生任何效果。

而结构整体的对齐，则按照结构体中最大的数据成员和 #pragma pack指定值之间，较小的那个进行。

具体解释

#pragma pack(4)

class TestB

{

public:

int aa; //第一个成员，放在[0,3]偏移的位置，

char a; //第二个成员，自身长为1，#pragma pack(4),取小值，也就是1，所以这个成员按一字节对齐，放在偏移[4]的位置。

short b; //第三个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[6,7]的位置。

char c; //第四个，自身长为1，放在[8]的位置。

};

这个类实际占据的内存空间是9字节

类之间的对齐，是按照类内部最大的成员的长度，和#pragma pack规定的值之中较小的一个对齐的。

所以这个例子中，类之间对齐的长度是min(sizeof(int),4)，也就是4。9按照4字节圆整的结果是12，所以sizeof(TestB)是12。

如果

#pragma pack(2)

class TestB

{

public:

int aa; //第一个成员，放在[0,3]偏移的位置，

char a; //第二个成员，自身长为1，#pragma pack(4),取小值，也就是1，所以这个成员按一字节对齐，放在偏移[4]的位置。

short b; //第三个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[6,7]的位置。

char c; //第四个，自身长为1，放在[8]的位置。

};

//可以看出，上面的位置完全没有变化，只是类之间改为按2字节对齐，9按2圆整的结果是10。

//所以 sizeof(TestB)是10。

最后看原贴：

现在去掉第一个成员变量为如下代码：

#pragma pack(4)

class TestC

{

public:

char a;//第一个成员，放在[0]偏移的位置，

short b;//第二个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[2,3]的位置。

char c;//第三个，自身长为1，放在[4]的位置。

};

//整个类的大小是5字节，按照min(sizeof(short),4)字节对齐，也就是2字节对齐，结果是6

//所以sizeof(TestC)是6。

成员对齐有一个重要的条件,即每个成员按自己的方式对齐.其对齐的规则是,每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数(这里默认是8字节)中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节.”(引用)