C++成员对齐方式探讨

本文參考了《高质量程序设计指南——C++/C语言》一书

有不妥之处恳请指正

一、自然对齐

某些基于RISC（精简指令集）的CPU比方SPARC、PowerPC等。採用高字节和高字在低地址存放、低字节和低字在高地址存放的大端模式存储。而且把最高字节的地址作为变量的首地址。

在这样的自然的存储格式中，要求变量在内存中的存放位置必须自然对齐，否则CPU会报告异常。所谓自然对齐，就是基本数据类型（主要是short、int、double）的变量不能简单地存储于内存中的随意地址处。它们的起始地址必须可以被它们的大小整除。

比如。在32位平台下，int和指针类型变量的地址应该能被4整除。而short变量的地址应该都是偶数，bool和char则没有要求。所以。基于这样的CPU架构的平台，编译器将依照自然对齐的要求来为每一个变量生成逻辑地址，C++/C编译器亦如此。

而Intel系列CPU採用小端模式来存放基本类型变量，即低字节和低字在低地址存放、高字节和高字在高地址存放。而且把最低字节的地址作为变量的首地址。在Intel系列CPU这样的硬件平台上。并不严格要求基本数据类型变量在内存中必须自然对齐，相同也不会要求复合类型变量必须自然对齐。可是VC++在处理程序时，为了提高CPU的处理速度，对复合类型变量做了成员对齐处理。

二、成员对齐

VC++在处理复合数据类型成员变量时默认遵循下面三种原则：

（1）    复合类型对象的首地址要能被占用字节数最多的成员变量的字节数整除。

（2）    复合类型对象占用的内存空间大小要能被占用字节数最多的成员变量的字节数整除。

（3）    各成员变量存放的起始地址相对于复合结构的起始地址的偏移量必须为该变量的类型所占用的字节数的倍数。

举比例如以下：

struct exm

{

       bool a;

       double b;

       bool c;

};

它是怎么存储的？

首先，在内存中找一个能被8整除的起始地址。然后分配24个字节。

为什么是24个而不是10个？或者是16个？

这是由于原则（3）的缘故，变量b占8个字节，那么它相对于结构的起始地址的偏移量必须为8的倍数，因此尽管a仅仅占一个字节，但后面会补上7个字节。

那么为什么变量c也占8个字节啊？这是由于原则（2）的缘故。由于在结构体exm中。占用字节数最多的是变量b。8个字节，所以exm占用的空间大小应能被8整除，如今a和b已经占用16个字节了，而c至少要占用一个字节，因此会在c后补上7个字节，变成24个字节。

把exm成员调换一下。变为：

struct exm

{

       double b。

       bool a。

       bool c；

};

它的大小就变成16个字节了。

当然，我们也能够在程序中指定对齐方式。这时上述原则将不再成立。假设在程序中指定对齐方式。则对于复合结构中的变量，假设占用空间不足指定对齐字节。且假设依照默认对齐方式占用的空间将比指定的对齐方式大，则将按指定对齐方式补足，比如：

#pragmapack(4) //依照4字节边界对齐

struct exm

{

       bool a;

       double b;

       bool c;

};

在VS2010中，它占用16个字节空间。

分析：变量a假设依照默认对齐方式要占8位，但它本身是bool型变量，占一位，指定对齐方式为4字节对齐，则a将被补齐为4字节。同理变量c也一样。

把exm成员换一下位置：

#pragmapack(4) //依照4字节边界对齐

struct exm

{

       double b；

       bool a；

       bool c。

};

则exm占12位。