iOS底层探索--Struct内存对齐

知识点须知

C和OC各数据类型在32位和64位CPU中的占用的字节大小列表:

C OC 32位 64位
bool BOOL(64位) 1 1
signed char (_ _signed char)int8_t、BOOL(32位) 1 1
unsigned char Boolean 1 1
short int16_t 2 2
unsigned short unichar 2 2
int int32_t NSInterger(32位)、boolean_t(32位) 4 4
unsigned int boolean_t(64位)、NSUInteger(32位) 4 4
long NSInteger(64位) 4 8
unsigned long NSUInteger(64位) 4 8
long long int64_t 8 8
float CGFloat(32位) 4 4
double CGFloat(64位) 8 8

对象的内存大小与属性重排

  1. class_getInstanceSize
      首先我们来看一下Runtime函数class_getInstanceSize获取实例的大小。
    其底层源码是:
size_t class_getInstanceSize(Class cls)
{
    if (!cls) return 0;
    return cls->alignedInstanceSize();
}

类的属性大小,采用8字节对齐原则

// Class's ivar size rounded up to a pointer-size boundary.
uint32_t alignedInstanceSize() {
        return word_align(unalignedInstanceSize());
    }

#   define WORD_MASK 7UL
static inline uint32_t word_align(uint32_t x) {
    return (x + WORD_MASK) & ~WORD_MASK;
}

发现取决于data()->ro->instanceSize,即是对象bits在运行时的class_rw_tro,只读内存的实例大小instanceSize,其实在编译期就定了,在运行时,class_rw_t的存在(因为其实可读可写的)就决定可以动态的添加方法协议,动态关联属性。

// May be unaligned depending on class's ivars.
    uint32_t unalignedInstanceSize() {
        assert(isRealized());
        return data()->ro->instanceSize;
    }

小结:从源码可以知道,对象的大小与属性有关

  1. 验证对象大小与属性相关

  新建一个类,没有任何属性,看看创建出来的对象大小是多少

@interface PSYPerson : NSObject
///**  */
//@property (nonatomic,copy) NSString *name;
///**  */
//@property (nonatomic,assign) NSInteger age;
///**  */
//@property (nonatomic,copy) NSString *nickName;

@end

....

 PSYPerson *psy1 = [[PSYPerson alloc] init];
        
 PSYPerson *psy2 = [[PSYPerson alloc] init];
        
 NSLog(@"psy1对象大小:%lu",class_getInstanceSize(psy1.class)); 
 NSLog(@"psy2对象大小:%lu",class_getInstanceSize(psy2.class));

输出结果:


从结果可以看到,为什么是8呢,明明没有任何属性?这里首先说明,对象默认继承自obj_object结构体,默认继承了一个isa指针占8个字节。
给类添加属性@property (nonatomic,copy) NSString *name;,重新运行程序,查看打印结果:

添加name属性后

与我们预想的一样,为了进一步验证,添加如下属性(跑在6s真机上测试,根据上面知识点须知 C和OC不同数据类型在32位和64位CPU中占有字节大小列表):

@interface PSYPerson : NSObject

/** 8字节 */
@property (nonatomic,copy) NSString *name;
/** 4字节 */
@property (nonatomic,assign) int age;
/** 1字节  */
@property (nonatomic) char msg;
/** 1字节  */
@property (nonatomic) BOOL isWorking;
@end

分析:8字节+4字节+1字节+1字节 = 14字节
再加上isa指针8字节 :14字节+8字节 = 22字节,根据8字节对齐原则应该是24字节

源码说只与类的ivars有关,那方法对其是否有影响呢?笔者有添加了一个类方法一个对象方法,继续输出印证,发现还是24字节;


方法对对象大小无影响
  1. 属性重排

对象的属性在内存中是怎样存在的呢?
因为属性是有32字节,笔者特意打印了8段数据,实际对象的地址是从0x2807e05c0开始,占32个字节,也就是下图中红框起来的数据区,可以知道,在对象被创建出来的时候属性被默认赋值为 0 或则 nil ,其他的是脏数据。


赋值之后,重新打印查看内存数据:
image.png

可发现不管属性顺序是怎样,先赋值哪一个,运行的时候,苹果会对对象的属性进行重排,使其内存优化。

总结
  1. 对象属性内存采用8字节对齐
  2. 对象大小与ivars有关,与方法无关
  3. 苹果会进行属性重排,以优化内存

结构体内存对齐

  上面研究了对象内存对齐,对于结构体是什么样的呢?研究结构体其实是有很大的意义,因为在底层探索过程中,基本上90%以上都是结构体共用体。

struct PSYStruct1 {
    double a;       // 8   
    char b;         // 1    
    int c;          // 4    
    short d;        // 2 
}struct1;

struct PSYStruct2 {
    double a;       // 8 
    int b;          // 4    
    char c;         // 1   
    short d;        // 2  
}struct2;

估计很大一部分人认为,这两个结构体一抹抹一样样,大小都是16字节,可是运行结果却让人大跌眼镜:

image.png
结构体内存对齐
  1. 数据成员对齐规则:结构体(struct)或联合体/共用体(union)的数据成员,第一个数据成员放在offset为0️⃣的地方,以后每个数据成员存储的起始位置要从该成员大小或者成员的子成员大小(只要该成员有子成员,比如说是数组,结构体)的整数倍开始

    • eg:比如int为4字节,则要从4的整数倍地址开始存储
  2. 结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储。

    • eg: struct a里存有struct bb里有char ,int , double 等元素,那b应该从8的整数倍开始存储)
  3. 规则三:结构体的总大小,也就是sizeof的结果,必须是其内部最大成员的整数倍,不足的要补齐。


根据数据成员对齐规则:

\color{#0x0000}{struct1}

double a;   // 8 从0开始存8位 也就是 [0 , 7]
char b;    // 1 [8]
int c;     // 4 (9, 10, 11, [12, 13, 14, 15] 从4的整数倍开始存,也就是12开始
short d;   // 2 [16, 17] 17个字节,但是根据规则三,大小为最大成员8的整数倍取24字节

同理

\color{#0x0000}{struct2}

double a; // 8 从0开始存8位 也就是 [0 , 7]
int b;   // 4 [8, 9, 10, 11] 因为8是4的整数倍,因此从8开始存
char c;   // 1 [12]
short d;   // 2 [14, 15] 根据规则三,大小为最大成员8的整数倍所以总共16个字节


结构体嵌套情况

struct PSYStruct3 {
    double a;
    int b;
    char c;
    short d;
    int e;
    struct PSYStruct1 str;
}struct3;

\color{#0x0000}{struct2}

double a;   // 8字节 [0 , 7]
int b;     // 4字节 [8, 9, 10, 11]
char c;     // 1字节 [12]
short d;     // 2字节 (13, [14, 15]
int e;       // 4字节 [16, 17, 18, 19]
struct PSYStruct1 str;// (20, 21, 22, 23, [24, 47]

根据规则结构体作为成员:,str结构体开始存储的位置是str结构体内部最大元素的大小8的整数倍24开始,占24个字节,就是到47

所以整个结构体占48字节。


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

推荐阅读更多精彩内容