三、对象原理之类绑定

1、联合体位域

对象原理一的一文中研究了结构体大小,可以看出不管各成员变量是否被用到系统都为其分配了空间。其优点是所有变量是共存的,全面;缺点是内存是粗放的。
联合体(union)各变量是“互斥”的——缺点就是不够“包容”; 但优点是内存使用更为精细灵活,也节省了内存空间。
下面举个例子说明一下,联合体位域存储数据存储原理,后面的isa存储类型就是采用这个方式。先声明一个联合体位域:

union UnionTest {
    unsigned int value;// 32位
    struct {
        unsigned int value1 : 4;//4位
        unsigned int value2 : 3;//3位
        unsigned int value3 : 4;//2位
        unsigned int value4 : 1;//1位
    };
};

声明一个联合体UnionTest
里面包含两个成员变量value 和 一个strcut,他们的占用内存结构如下图:

image.png

从图中可以看出valuevalue1value2value3value4就是整体和局部的关系,他们共享一片内存区域;
简单来说就是改变value的值,如果value的值会占用value1vlue2value3value4所在的位话,value1vlue2value3value4的值也会跟着改变;同理改变value1vlue2value3value4的值也会改变value的值。
声明一个UnionTest的变量test,并将其赋值为36

union UnionTest test;
test.value = 36;

这时内存分布为下图:

image.png

此时test.value1 = 4,test.value2 = 2.

再设置

test.value3 = 8,vlaue4 = 1

内存分布图又变为:

image.png

这时test.value变为3364,二进制表示为110100100100
感兴趣的朋友可以自己验证一下,联合体位域就简单介绍到这里。

2、ISA结构与绑定

2.1、ISA结构

alloc流程分析一文中我们可以看到alloc的三个作用:计算类大小、开辟空间、对象与空间绑定,其中对象与空间绑定就是初始化ISA的过程。
我们还是重obj->initInstanceIsa(cls, hasCxxDtor);这个方法开始,跟进去看看。

image.png

可以看到主要是调用initIsa(cls, true, hasCxxDtor);方法,
image.png

这个方法里面主要是有一个isa_t的东西,我们进去看一下是什么
image.png

看到isa_t就是我们上面所讲的联合体位域,其中cls和bits是互斥的,重点是结构里面的ISA_BITFIELD,可以全局搜一下,可以看到ISA_BITFIELD的定义:
image.png

对其中里面定义做一个解释:
nonpointer:表示是否对 isa 指针开启指针优化 0:纯isa指针,1:不止是类对象地址,isa 中包含了类信息、对象的引用计数等;
has_assoc:关联对象标志位,0没有,1存在
has_cxx_dtor:该对象是否有 C++ 或者 Objc 的析构器,如果有析构函数,则需要做析构逻辑, 如果没有,则可以更快的释放对象;
shiftcls:存储类指针的值。开启指针优化的情况下,在 arm64 架构中有 33 位用来存储类指针。
magic:用于调试器判断当前对象是真的对象还是没有初始化的空间。
weakly_referenced:标志对象是否被指向或者曾经指向一个 ARC 的弱变量,
没有弱引用的对象可以更快释放。
deallocating:标志对象是否正在释放内存。
has_sidetable_rc:当对象引用技术大于 10 时,则需要借用该变量存储进位。
extra_rc:当表示该对象的引用计数值,实际上是引用计数值减 1, 例如,如果对象的引用计数为 10,那么 extra_rc9。如果引用计数大于 10, 则需要使用到下面的 has_sidetable_rc

可以看到一个类64位,每一位都是有用的。

2.2、ISA绑定类信息

下面分析一下具体是怎么绑定的:

image.png

断点跟进我们自己创建的类,可以看到进来之后,现在对newisa.bits附一个初始值ISA_MAGIC_VALUE,这是一个宏定义,其值为0x001d800000000001ULL,十进制表示为8303511812964353,根据联合体的性质我们可知,newisa.cls等其他属性也都有值,我们可以看一下:
image.png

接着给newisa.has_cxxDtor赋值标记是否有C++的析构函数。

最后就是newisa.shiftcls赋值为(uintptr_t)cls >> 3,这里cls右移3位是因为isashifcls是从第3位开始的。

这时开辟的空间就保存了类信息了。


image.png

2.3、实例对象class方法

我们经常用到对象的class方法,对象的class方法底层做了什么,我们可以跟一下:

image.png

image.png

image.png

image.png

可以看到class方法最终的取值方式是isa.bits & ISA_MASK,也就是说还是从isa.bits里面获取到的,ISA_MASK是一个宏定义,值为0x00007ffffffffff8ULL,大家可以算一下isa.bits & ISA_MASK正好取到的是isa.shifcls的值,也就存储的类信息。对象的class方法就是OC的一层封装,底层还是位运算。

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

推荐阅读更多精彩内容