iOS 底层原理 文章汇总
在探讨内存对齐原理之前,首先介绍下iOS中获取内存大小的三种方式
获取内存大小的三种方式
获取内存大小的三种方式分别是:
- sizeof
- class_getInstanceSize
- malloc_size
sizeof
- 1、
sizeof
是一个操作符
,不是函数 - 2、我们一般用sizeof计算内存大小时,
传入
的主要对象是数据类型
,这个在编译器的编译阶段
(即编译时)就会确定大小而不是在运行时确定。 - 3、
sizeof
最终得到的结果
是该数据类型占用空间的大小
class_getInstanceSize
这个方法在iOS-底层原理 02:alloc & init & new 源码分析分析时就已经分析了,是runtime提供的api,用于获取类的实例对象所占用的内存大小
,并返回具体的字节数,其本质就是获取实例对象中成员变量的内存大小
malloc_size
这个函数是获取系统实际分配的内存大小
可以通过下面代码的输出结果来验证我们上面的说法
#import
#import "LGPerson.h"
#import
#import
int main(int argc, const char * argv[]) {
@autoreleasepool {
NSObject *objc = [[NSObject alloc] init];
NSLog(@"objc对象类型占用的内存大小:%lu",sizeof(objc));
NSLog(@"objc对象实际占用的内存大小:%lu",class_getInstanceSize([objc class]));
NSLog(@"objc对象实际分配的内存大小:%lu",malloc_size((__bridge const void*)(objc)));
}
return 0;
}
以下是打印结果
总结
-
sizeof
:计算类型占用的内存大小
,其中可以放基本数据类型、对象、指针
对于类似于
int
这样的基本数据
而言,sizeof
获取的就是数据类型占用的内存大小
,不同的数据类型所占用的内存大小是不一样的而对于类似于NSObject定义的
实例对象
而言,其对象类型
的本质就是一个结构体(即 struct objc_object)的指针
,所以sizeof(objc)
打印的是对象objc的指针大小
,我们知道一个指针的内存大小是8
,所以sizeof(objc) 打印是 8
。注意:这里的8字节与isa
指针一点关系都没有!!!)对于
指针
而言,sizeof打印的就是8,因为一个指针的内存大小是8,
class_getInstanceSize
:计算对象实际占用的内存大小
,这个需要依据类的属性而变化
,如果自定义类没有自定义属性,仅仅只是继承自NSObject,则类的实例对象实际占用的内存大小是8,可以简单理解为8字节对齐
malloc_size
:计算对象实际分配的内存大小
,这个是由系统完成的,可以从上面的打印结果看出,实际分配的和实际占用的内存大小并不相等,这个问题可以通过iOS-底层原理 02:alloc & init & new 源码分析中的16字节对齐
算法来解释这个问题
结构体内存对齐
接下来,我们首先定义两个结构体,分别计算他们的内存大小,以此来引入今天的正题:内存对齐原理
//1、定义两个结构体
struct Mystruct1{
char a; //1字节
double b; //8字节
int c; //4字节
short d; //2字节
}Mystruct1;
struct Mystruct2{
double b; //8字节
int c; //4字节
short d; //2字节
char a; //1字节
}Mystruct2;
//计算 结构体占用的内存大小
NSLog(@"%lu-%lu",sizeof(Mystruct1),sizeof(Mystruct2));
以下是输出结果
从打印结果我们可以看出一个问题,两个结构体乍一看,没什么区别,其中定义的变量 和 变量类型都是一致的,唯一的区别
只是在于定义变量的顺序不一致
,那为什么他们做占用的内存大小不相等
呢?其实这就是iOS中的内存字节对齐
现象
内存对齐规则
每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。程序员可以通过预编译命令#pragma pack(n)
,n=1,2,4,8,16来改变这一系数,其中的n就是你要指定的“对齐系数”
。在ios中,Xcode默认为#pragma pack(8),即8字节对齐
一般内存对齐的原则主要有3点,可以回看iOS-底层原理 02:alloc & init & new 源码分析中的说明,
可以将内存对齐原则
可以理解为以下两点:
- 【原则一】 数据成员的对齐规则可以理解为
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
的需要的内存大小为 15
字节,而MyStruct1中最大变量的字节数为8
,所以 MyStruct1 实际的内存大小必须是 8 的整数倍
,18向上取整到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
结构体嵌套结构体
上面的两个结构体只是简单的定义数据成员,下面来一个比较复杂的,结构体中嵌套结构体的内存大小计算情况
- 首先定义一个结构体MyStruct3,在MyStruct3中嵌套MyStruct2,如下所示
//1、结构体嵌套结构体
struct Mystruct3{
double b; //8字节
int c; //4字节
short d; //2字节
char a; //1字节
struct Mystruct2 str;
}Mystruct3;
//2、打印 Mystruct3 的内存大小
NSLog(@"Mystruct3内存大小:%lu", sizeof(Mystruct3));
NSLog(@"Mystruct3中结构体成员内存大小:%lu", sizeof(Mystruct3.str));
打印 的结果如下所示
-
分析
Mystruct3
的内存计算
根据内存对齐规则,来一步一步分析Mystruct3
内存大小的计算过程-
变量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)
,20可以整除2,即12-13 存储 d
-
变量a
:占1
个字节,从14开始,此时min(14,1)
,即14 存储 a
-
结构体成员str
:str是一个结构体,根据内存对齐原则二
,结构体成员要从其内部最大成员大小的整数倍开始存储
,而MyStruct2
中最大的成员
大小为8
,所以str要从8的整数倍开始,当前是从15开始,所以不符合要求,需要往后移动到16,16是8的整数倍,符合内存对齐原则,所以16-31 存储 str
-
因此MyStruct3
的需要的内存大小为 32
字节,而MyStruct3中最大变量为str, 其最大成员内存字节数为8
,根据内存对齐原则,所以 MyStruct3 实际的内存大小必须是 8 的整数倍
,32正好是8的整数倍,所以 sizeof(MyStruct3) 的结果是 32
其内存存储情况如下图所示
二次验证
为了保险起见,我们再定义一个结构体,来验证我们结构体嵌套的内存大小计算说明
struct Mystruct4{
int a; //4字节 min(0,4)--- (0,1,2,3)
struct Mystruct5{ //从4开始,存储开始位置必须是最大的整数倍(最大成员为8),min(4,8)不符合 4,5,6,7,8 -- min(8,8)满足,从8开始存储
double b; //8字节 min(8,8) --- (8,9,10,11,12,13,14,15)
short c; //1字节,从16开始,min(16,1) -- (16,17)
}Mystruct5;
}Mystruct4;
分析如下
-
变量a
:占4
字节,从0
开始,min(0,4)
,即0-3存储a
-
结构体Mystruct5
:从4
开始,根据内存对齐原则二,即存储开始位置必须是最大的整数倍(最大成员为8)
,min(4,8)不能整除,继续往后移动,直到8, min(8,8)满足,从8开始存储结构体Mystruct5的变量
-
变量b
:占8
字节,从8开始,min(8,8)
,可以整除,即8-15存储b
-
变量c
:占2
字节,从16开始,min(16,2)
,可以整除,即16-17存储c
-
因此Mystruct4
中需要的内存大小是 18
字节,根据内存对其原则二,Mystruct4
实际的内存大小必须是Mystruct5
中最大成员b的整数倍
,即必须是8的整数倍
,所以sizeof(Mystruct4) 的结果是 24
以下是运行结果的打印,以此来印证24
这个内存大小
内存优化(属性重排)
MyStruct1 通过内存字节对齐原则,增加了9个字节,而MyStruct2通过内存字节对齐原则,通过4+2+1的组合,只需要补齐一个字节即可满足字节对齐规则,这里得出一个结论结构体内存大小与结构体成员内存大小的顺序有关
如果是
结构体中数据成员
是根据内存从小到大
的顺序定义的,根据内存对齐规则来计算结构体内存大小,需要增加有较大的内存padding即内存占位符,才能满足内存对齐规则,比较浪费内存
如果是
结构体中数据成员
是根据内存从大到小
的顺序定义的,根据内存对齐规则来计算结构体内存大小,我们只需要补齐少量内存padding
即可满足堆存对齐规则,这种方式就是苹果中采用的
,利用空间换时间,将类中的属性进行重排,来达到优化内存的目的
以下面这个例子来进行说明 苹果中属性重排
,即内存优化
- 定义一个自定义CJLPerson类,并定义几个属性,
@interface CJLPerson : NSObject
@property (nonatomic, copy) NSString *name;
@property (nonatomic, copy) NSString *nickName;
// @property (nonatomic, copy) NSString *hobby;
@property (nonatomic, assign) int age;
@property (nonatomic, assign) long height;
@property (nonatomic) char c1;
@property (nonatomic) char c2;
@end
@implementation CJLPerson
@end
- 在main中创建CJLPerson的实例对象,并对其中的几个属性赋值
int main(int argc, char * argv[]) {
@autoreleasepool {
CJLPerson *person = [CJLPerson alloc];
person.name = @"CJL";
person.nickName = @"C";
person.age = 18;
person.c1 = 'a';
person.c2 = 'b';
NSLog(@"%@",person);
}
return 0;
}
- 断点调试person,根据
CJLPerson
的对象地址
,查找出属性的值-
通过地址找出
name & nickName
-
当我们向通过
0x0000001200006261
地址找出age等数据时,发现是乱码,这里无法找出值的原因是苹果中针对age、c1、c2属性的内存进行了重排
,因为age类型占4个字节,c1和c2类型char分别占1个字节,通过4+1+1
的方式,按照8字节对齐
,不足补齐的方式存储在同一块内存
中,- age的读取通过
0x00000012
- c1的读取通过
0x61
(a的ASCII码是97) - c2的读取通过
0x62
(b的ASCII码是98)
- age的读取通过
-
下图是CJLPerson的内存分布情况
注意:
1、char类型的数据读取出来是以ASCII码的形式显示
2、图片中地址为0x0000000000000000
,表示person中还有属性未赋值
总结
所以,这里可以总结下苹果中的内存对齐思想:
- 大部分的内存都是通过固定的内存块进行读取,
- 尽管我们在内存中采用了内存对齐的方式,但
并不是所有的内存都可以进行浪费的
,苹果会自动对属性进行重排,以此来优化内存
字节对齐到底采用多少字节对齐?
到目前为止,我们在前文既提到了8字节对齐,也提及了16字节对齐,那我们到底采用哪种字节对齐呢?
我们可以通过objc4中class_getInstanceSize
的源码来进行分析
/**
* Returns the size of instances of a class.
*
* @param cls A class object.
*
* @return The size in bytes of instances of the class \e cls, or \c 0 if \e cls is \c Nil.
*/
OBJC_EXPORT size_t
class_getInstanceSize(Class _Nullable cls)
OBJC_AVAILABLE(10.5, 2.0, 9.0, 1.0, 2.0);
⬇️
size_t class_getInstanceSize(Class cls)
{
if (!cls) return 0;
return cls->alignedInstanceSize();
}
⬇️
// Class's ivar size rounded up to a pointer-size boundary.
uint32_t alignedInstanceSize() const {
return word_align(unalignedInstanceSize());
}
⬇️
static inline uint32_t word_align(uint32_t x) {
//x+7 & (~7) --> 8字节对齐
return (x + WORD_MASK) & ~WORD_MASK;
}
//其中 WORD_MASK 为
# define WORD_MASK 7UL
通过源码可知:
- 对于一个
对象
来说,其真正的对齐方式
是8字节对齐
,8字节对齐已经足够满足对象的需求了 - apple系统为了防止一切的容错,采用的是16字节对齐的内存,主要是因为采用8字节对齐时,两个对象的内存会紧挨着,显得比较紧凑,而16字节比较宽松,利于苹果以后的扩展。
总结
综合前文提及的获取内存大小的方式
-
class_getInstanceSize
:是采用8字节对齐
,参照的对象的属性内存大小 -
malloc_size
:采用16字节对齐
,参照的整个对象的内存大小,对象实际分配的内存大小必须是16的整数倍
内存对齐算法
目前已知的16字节内存对齐算法有两种
-
alloc
源码分析中的align16
: -
malloc
源码分析中的segregated_size_to_fit
align16: 16字节对齐算法
这个算法的思想已经在iOS-底层原理 02:alloc & init & new 源码分析中有所提及
static inline size_t align16(size_t x) {
return (x + size_t(15)) & ~size_t(15);
}
segregated_size_to_fit: 16字节对齐算法
#define SHIFT_NANO_QUANTUM 4
#define NANO_REGIME_QUANTA_SIZE (1 << SHIFT_NANO_QUANTUM) // 16
static MALLOC_INLINE size_t
segregated_size_to_fit(nanozone_t *nanozone, size_t size, size_t *pKey)
{
size_t k, slot_bytes;
if (0 == size) {
size = NANO_REGIME_QUANTA_SIZE; // Historical behavior
}
k = (size + NANO_REGIME_QUANTA_SIZE - 1) >> SHIFT_NANO_QUANTUM; // round up and shift for number of quanta
slot_bytes = k << SHIFT_NANO_QUANTUM; // multiply by power of two quanta size
*pKey = k - 1; // Zero-based!
return slot_bytes;
}
算法原理:k + 15 >> 4 << 4
,其中 右移4 + 左移4
相当于将后4位抹零
,跟 k/16 * 16一样 ,是16字节对齐算法
,小于16就成0了
以 k = 2为例,如下图所示