在探讨内存对齐原理之前，首先介绍下iOS中获取内存大小的三种方式

获取内存大小的三种方式

获取内存大小的三种方式分别是：sizeof    class_getInstanceSize    malloc_size

一.  sizeof

1、sizeof是一个操作符，不是函数

2、我们一般用sizeof计算内存大小时，传入的主要对象是数据类型，这个在编译器的编译阶段(即编译时)就会确定大小而不是在运行时确定。

3、sizeof最终得到的结果是该数据类型占用空间的大小

二. class_getInstanceSize

这个方法在alloc分析时就已经分析了，是runtime提供的api，用于获取类的实例对象所占用的内存大小，并返回具体的字节数，其本质就是获取实例对象中成员变量的内存大小

三. malloc_size

这个函数是获取系统实际分配的内存大小

以下是打印结果

总结

1.sizeof：计算类型占用的内存大小，其中可以放基本数据类型、对象、指针。 对于类似于int这样的基本数据而言，sizeof获取的就是数据类型占用的内存大小，不同的数据类型所占用的内存大小是不一样的而对于类似于NSObject定义的实例对象而言，其对象类型的本质就是一个结构体（即 struct objc_object）的指针，所以sizeof(obj)打印的是对象obj的指针大小，我们知道一个指针的内存大小是8，所以sizeof(objc) 打印是 8。注意：这里的8字节与isa指针一点关系都没有！！！）对于指针而言，sizeof打印的就是8，因为一个指针的内存大小是8

2.class_getInstanceSize：计算对象实际占用的内存大小，这个需要依据类的属性而变化，如果自定义类没有自定义属性，仅仅只是继承自NSObject，则类的实例对象实际占用的内存大小是8，可以简单理解为8字节对齐

3.malloc_size：计算对象实际分配的内存大小，这个是由系统完成的，可以从上面的打印结果看出，实际分配的和实际占用的内存大小并不相等

结构体内存打印结果如下：

从打印结果我们可以看出一个问题，两个结构体乍一看，没什么区别，其中定义的变量 和 变量类型都是一致的，唯一的区别只是在于定义变量的顺序不一致，那为什么他们所占用的内存大小不相等呢？其实这就是iOS中的内存字节对齐现象

内存对齐规则

每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。程序员可以通过预编译命令#pragma pack(n)，n=1,2,4,8,16来改变这一系数，其中的n就是你要指定的“对齐系数”。在ios中，Xcode默认为#pragma pack(8)，即8字节对齐

可以将内存对齐原则可以理解为以下两点：

【原则一】 数据成员的对齐规则可以理解为min(m, n)的公式, 其中m表示当前成员的开始位置,n表示当前成员所需要的位数。如果满足条件m 整除 n（即m % n == 0）,  n 从 m 位置开始存储, 反之继续检查m+1 能否整除 n, 直到可以整除, 从而就确定了当前成员的开始位置。

【原则二】数据成员为结构体：当结构体嵌套了结构体时，结构体成员要从其内部最大成员大小的整数倍开始存储，比如结构体a嵌套结构体b，b中有char、int、double等，则b的自身长度为8

【原则三】最后结构体的内存大小必须是结构体中最大成员内存大小的整数倍，不足的需要补齐。

下表是各种数据类型在ios中的占用内存大小,根据对应类型来计算结构体中内存大小

我们可以通过下图图来说明下为什么两个结构体MyStruct1 & MyStruct2的内存大小打印不一致的情况，如图所示

结构体MyStruct1 内存大小计算

根据内存对齐规则计算MyStruct1的内存大小，详解过程如下：

变量a：占1个字节，从0开始，此时min（0，1），即0 存储 a

变量b：占8个字节，从1开始，此时min（1，8），1不能整除8，继续往后移动，直到min（8，8），从8开始，即8-15 存储 b

变量c：占4个字节，从16开始，此时min（16，4），16可以整除4，即16-19 存储 c

变量d：占2个字节，从20开始，此时min(20, 2)，20可以整除2，即20-21 存储 d

因此MyStruct1的需要的内存大小为22字节，而MyStruct1中最大变量的字节数为8，所以MyStruct1实际的内存大小必须是 8 的整数倍，22向上取整到24，主要是因为24是8的整数倍，所以sizeof(MyStruct1) 的结果是 24

结构体MyStruct2 内存大小计算

根据内存对齐规则计算MyStruct2的内存大小，详解过程如下：

变量b：占8个字节，从0开始，此时min（0，8），即0-7 存储 b

变量c：占4个字节，从8开始，此时min（8，4），8可以整除4，即8-11 存储 c

变量d：占2个字节，从12开始，此时min(12, 2)，12可以整除2，即12-13 存储 d

变量a：占1个字节，从14开始，此时min（14，1），即14 存储 a

因此MyStruct2的需要的内存大小为15字节，而MyStruct1中最大变量的字节数为8，所以MyStruct2实际的内存大小必须是 8 的整数倍，15向上取整到16，主要是因为16是8的整数倍，所以sizeof(MyStruct2) 的结果是 16

内存优化（属性重排）

MyStruct1通过内存字节对齐原则，增加了9个字节，而MyStruct2通过内存字节对齐原则，通过4+2+1的组合，只需要补齐一个字节即可满足字节对齐规则，这里得出一个结论结构体内存大小与结构体成员内存大小的顺序有关

如果是结构体中数据成员是根据内存从小到大的顺序定义的，根据内存对齐规则来计算结构体内存大小，需要增加有较大的内存padding即内存占位符，才能满足内存对齐规则，比较浪费内存

如果是结构体中数据成员是根据内存从大到小的顺序定义的，根据内存对齐规则来计算结构体内存大小，我们只需要补齐少量内存padding即可满足内存对齐规则，这种方式就是苹果中采用的，利用空间换时间，将类中的属性进行重排，来达到优化内存的目的

尽管我们在内存中采用了内存对齐的方式，但并不是所有的内存都可以进行浪费的，苹果会自动对属性进行重排，以此来优化内存

内存对齐算法

字节对齐到底采用多少字节对齐？通过objc4中class_getInstanceSize的源码来进行分析

对于一个对象来说，其真正的对齐方式是8字节对齐，8字节对齐已经足够满足对象的需求了

苹果系统为了防止一切的容错，采用的是16字节对齐的内存，主要是因为采用8字节对齐时，两个对象的内存会紧挨着，显得比较紧凑，而16字节比较宽松，利于苹果以后的扩展。

目前已知的16字节内存对齐算法有两种

alloc源码分析中的align16

malloc源码分析中的segregated_size_to_fit

算法原理：k + 15 >> 4 << 4，其中右移4 + 左移4相当于将后4位抹零，跟 k/16 * 16一样 ，是16字节对齐算法，小于16就成0了

以 k = 2为例，如下图所示

【总结】

综合前文提及的获取内存大小的方式

class_getInstanceSize：是采用8字节对齐，参照的对象的属性内存大小

malloc_size：采用16字节对齐，参照的整个对象的内存大小，对象实际分配的内存大小必须是16的整数倍