C/C++——内存对齐

本文是对内存对齐的理解

（这只是在下的粗浅理解，不足的地方还请谅解，欢迎留言提出，后期理解深入后会加以改进）

什么是内存对齐：

刚接触内存对齐的时候还是学习C语言的结构体时，而学习C++的类时，内存对齐又出现了，所以借此对内存对齐做一个总结

首先看一个例子

两个结构体里的变量是一样的，因位置不同，而所占得内存空间大小就不同，就是因为内存 对齐而造成的

内存对齐的原因是什么呢？

1. 平台原因(移植原因)：  不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能 在某些地址处取某些特定类型的数据，否则抛出硬件异常

  2. 性能原因：  数据结构(尤其是栈)应该尽可能地在自然边界上对齐。  原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的 内存访问仅需要一次访问

总体来说结构体的内存对齐是拿空间换取时间的做法

首先先了解内存对其的规则

1. 第一个成员在与结构体变量偏移量为0的地址处。

  2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。 

 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。  

 VS中默认的值为8 

 Linux中的默认值为4 

3. 结构体总大小为最大对齐数（每个成员变量除了第一个成员都有一个对齐 数）的整数倍。

  4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有           最大对齐数（含嵌套结构体的对齐数）的整数倍

接下来看几个例子计算一下

以上是结构体的内存对齐，接下来就是C++类的大小

类的大小计算是和结构体一样的

空类的大小

空类明明大小应该是0的，编译器却输出了1，这就是类的实例化的原因了，空类同样可以被实例化，每个实例化在内存中都有一个独一无二的地址，为了达到这个目的，编译器往往会给一个空类隐含的加一个字节，这样看空类在实例化后再内存得到一个独一无二的地址，所以空类的大小为1.

下面一个例子

上面的问题是因为，类D里多的是一个静态数据成员变量，而静态数据成员变量被编译器放在程序的一个global data members 中，它是类的一个数据成员，但是它不影响类的大小，不管这个类实际产生多少新的类，静态成员数据在类中永远只有一个实体存在，而类的非静态数据域成员只有被实例化的时候，他们才存在，但是类的静态数据成员一旦被声明，无论类是否被实例化，它都已经存在，可以这么说，类的静态数据成员是一种特殊的全局变量。

加入函数后

如上图所示，两个的输出结果还是一样的，加入构造函数后并没有使类的大小改变，可以看出类的大小与类里的构造函数、析构函数等其他成员变量函数是无关的，只与类的成员变量有关。