iOS底层之结构体和类的内存对齐

结构体是C/C++两种语言中的基础语法, C语言中的结构体只是一个存粹的数据集合类型的描述,它只有数据成员而没有成员方法。C++中的结构体则被赋予为一个类定义的角色,它可以有数据成员也可以有成员方法。OC语言源自于C语言,它是面向对象的C语言,所以OC结构体也只有成员变量。
结构体中的成员变量可以是基本类型,也可以是数组,也可以是指针,还可以是其他的结构体类型。

结构体尺寸

结构体的Size大小,也就是结构体实例占用的内存字节数。受操作系统字长、编译器、对齐方式等众多因素的影响。因此要确认一个结构体的尺寸时如果没有上述的约束前提则是没有统一结果的。一般情况下计算结构体尺寸大小有如下规则:

结构体成员内存对齐的规则

  • 数据成员对齐规则struct 或者 union 的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置要从这个成员的大小或者成员的子成员大小(只要该成员有子成员,比如数据、结构体等)的整数倍开始,也就是结构体中每个数据成员的偏移位置是数据成员本身尺寸的倍数。(例如int在32位机中是4字节,则要从4的整数倍地址开始存储)
  • 结构体作为成员:如果一个结构里有某些结构体成员,则其结构体成员要从其内部最大元素大小的整数倍地址开始存储,外部结构体的尺寸则是所有被嵌套中的结构体成员内部以及自身中的最大基础类型数据成员尺寸的倍数。(例如:struct a里面存有struct bb里面有charintdouble等元素,则b开始存储的位置应该从8的整数倍的位置开始)
  • 最后的大小:结构体的总大小,即sizeof的结果,必须是其内部最大成员的整数倍,不足的要补齐

C和OC的基础数据类型字节大小

基础数据类型大小

根据以上规则,定义一个结构体在64位系统下的内存分布:

struct Person {
  bool sex;
  short int age;
  char *address;
  float height;
  char  name[7];
};
64位系统结构题内存分布图

从图中可以看出:

  • sex数据成员是bool型,它占用1个字节的内存,而且是结构体中的第一个数据成员,第一个数据成员的偏移位置总是从0开始(0是任何数据类型大小的倍数)。
  • age数据成员是short int,它占用2个字节的内存,它的起始位置原来应该是在编号1,但是1并不是2的倍数,所以向后偏移1个字节,到了编号2的位置,2是2的倍数。同时我们看到在第一个数据成员sex和第二个数据成员age之间留下了一个字节的空隙,padding。
  • address数据成员是void *, 它占用8个字节的内存,它的起始位置原来应该是在编号4,但是4并不是8的倍数,所以向后偏移4个字节,到了编号8的位置,8是8的倍数。这个数据成员为了对齐留出了4个字节的空隙。
  • height数据类型是float, 它占用4个字节的内存,它的起始位置是16,而16是4的倍数,不需要偏移。所以这个成员没有留下padding。
  • name数据成员是char[7],它占用7个字节,它的偏移位置是20,而20是1的倍数,不用偏移。它也没有留下padding。
  • 整个结构体中最大数据成员类型是char *,它占用8个字节的内存,因此结构体的尺寸是8的倍数,而由图可以看出整个结构体实际占用了27个字节,所以要对齐到8的倍数,也就是32个字节。所以在尾部留下了5个字节的padding。

从上面案例可以看出因为需要对齐内存,结构体中的数据成员并不一定是连续保存的,而是有可能会存在一些padding空隙。 这也引出了另外一个问题:
当我们在定义结构体时如果结构体成员的定义顺序安排的不合理就有可能会导致多余内存空间的占用和浪费。 为了达到最佳内存空间占用,可以将上述结构体中数据成员的定义顺序进行调整如下:

struct Person {
  bool sex;
  char  name[7];
  float height;
  short int age;
  char *address;
};

通过下图可以看到优化后内存空间分布


优化后结构体内存分布

对比可以发现内存在成员间没有间隙,而相比之前足足省了8个字节的空间。

那么与结构体类似的OC类中属性的定义顺序会导致内存占用的不同吗?下面我们来看看这个问题。

类属性内存分布

要知道类和结构体一样都是一些数据集合的声明描述,它们都包含有成员变量。而类比结构体多了方法的定义。但是方法本身不会占用对象存储空间。

定义一个类:

@interface BKPerson : NSObject

@property (nonatomic, copy) NSString *nick;
@property (nonatomic, assign) long height;
@property (nonatomic, copy) NSString *name;
@property (nonatomic, assign) int age;

@end

我们在OC类中声明的属性最终会转化为结构体的数据成员。每个OC类中还会有一个隐式的数据成员isastruct NSObject_IMPL NSObject_IVARS;),这是一个指针类型的数据成员,在申请类对象内存之后进行对象和类的关联时第一个被定义的数据成员就是这个isa指针。

这个类转化为结构体是这样的:

struct BKPerson_IMPL {
  struct NSObject_IMPL NSObject_IVARS;
  int _age;
  NSString *_nick;
  long _height;
  NSString  *_ name;
};

从上面的定义中可以看出,除了会多出一个isa数据成员外,数据成员的顺序也发生了变化,它不再是按OC中定义的属性顺序进行排列了,编译器会自动优化OC类中属性的排列顺序。

猜想:OC类中定义的属性顺序会在编译时进行优化调整,一般的都是按数据类型的尺寸从小到大进行排列,相同尺寸的数据成员则按属性定义的顺序进行排列。

下面我们验证下这个猜想。

  1. 先看看内存的分配

    当我们注释了两个属性nameage的赋值操作后,打印内存可以看到系统开辟对象的内存时就已经把age和name的空间预留下来,而不是在赋值属性的时候才开辟的内存
  1. 我们把上面注释的两个属性打开,通过打印可以看到内存中属性的分布如下:

    紧跟在isa指针之后的,依次是agenickheightname
    总结:当为一个类实例开辟内存空间时,系统会帮我们优化排序,以减少不必要的内存浪费,属性在内存的排序规则按照属性的类型占用空间的大小,从小到大排序,相同大小的则按照我们属性的定义顺序来排序。所以我们在定义类的属性时可以不用关心定义顺序

类的内部成员变量的内存分布

但是我们经常在.m文件类的实现中定义内部成员变量,例如在BKPerson类定义两个内部成员变量:

@implementation BKPerson
{
    short int weight;
    NSString *skinColor;
}
- (instancetype)init{
    if (self = [super init]) {
        skinColor = @"黄色";
        weight = 60;
    }
    return self;
}

这时候转化成结构体是这样的:

struct BKPerson_IMPL {
 struct NSObject_IMPL NSObject_IVARS;
 short int _weight;
 NSString *_skinColor;
 int _age;
 NSString *_nick;
 long _height;
 NSString  *_ name;
};

查看内存空间的变化,分别打印这两个成员变量:


可以看到,在isa指针(struct NSObject_IMPL NSObject_IVARS;)之后紧跟着的是刚定义的内部成员weight,再往后偏移8个字节的是内部成员skinColor,之后才是之前定义的属性成员。而可以看到系统为这个实例对象所有的数据成员开辟了8*8=64个字节的大小。

如果我们把weightskinColor位置调整下

@implementation BKPerson
{
    NSString *skinColor;
    short int weight;
}
- (instancetype)init{
    if (self = [super init]) {
        skinColor = @"黄色";
        weight = 60;
    }
    return self;
}

再查看内存,可以发现内部数据成员的顺序也改变了,isa之后第一个存放的是skinColor,第二个的8个字节,先后存了short int weight和属性成员int age。这时系统为这个实例对象所有的数据成员开辟了6*8=48个字节的大小。比刚才减少了64-48=16个字节。

可以得出结论:
类的实例对象的内部成员变量的内存排列顺序是根据定义成员变量的顺序,系统不会做优化,内部成员变量在内存中的存放位置是在属性成员的前面。所以特别注意如果我们用到了多个内部成员变量,需要自己优化定义的顺序,节省空间,最好都使用属性,这样系统会自动帮我们优化内存排序。

最后,OC类实例对象的内存大小:
OC中类实例对象的占用内存大小也是所有成员变量的总和,并且在64位系统下是8的倍数(64位系统下指针占用8位),32位系统下是4的倍数(32位系统下指针占用4位),不足则补齐。而实际向系统申请的内存空间是16的倍数,按照16字节对齐。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,839评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,543评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,116评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,371评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,384评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,111评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,416评论 3 400
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,053评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,558评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,007评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,117评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,756评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,324评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,315评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,539评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,578评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,877评论 2 345