Objc Runtime ISA源码初探-跟着指针起舞

网上关于Object-C Runtime的文章已经不少了,但大部分人一开始是不是也和我看的一样,大概知道是怎么回事,却又不敢确定呢?这就是我写这篇文章的初衷。本文并不会花大篇章节完整而全面的解释Runtime的源码,因为我的前同事网红鱼🐟的这篇Objective-C Runtime已经写的很好了(强行蹭关系)。

提出问题

带着问题去探究,按图索骥,往往是最有效的方式,思考下面一个问题:

不用objc的接口,如何判断一个指针指向的是否是一个合法的Objective-C对象?

内存模型

既然不能用objc的接口,所有的信息就只有一个,那就是传入的参数:指针。若我们能了解Objc的内存布局,然后和这个指针对比,就能判断出这是否是一个合法的Objc对象。读到这里,若你没有基础的Runtime知识,请先阅读文章开头的贴出的博客。下面这张图相信大家都不陌生 :)

对象模型.jpg

对象(instance)指针的ISA指向了类(class),类的ISA指向了元类(meta class),元类的ISA指针指向了Root class(meta)这里先不考虑NSProxy。即NSObject的元类。NSObject元类的ISA指针指向自身,从而形成一个闭环。我们可以用这个闭环来判断指针是否合法。

怎么从一个指针取到它的ISA呢,这得从源码下手了。准备好了吗?下面开始探究源码吧,去苹果官方网站下载Runtime源码,我下的是709的。找到objc_object的实现:

objc-private.h
struct objc_object {
private:
    isa_t isa;

public:
...
}
objc-runtime-old.h
struct objc_class : objc_object {
    Class superclass;
    const char *name;
    uint32_t version;
    uint32_t info;
    uint32_t instance_size;
    struct old_ivar_list *ivars;
    struct old_method_list **methodLists;
    Cache cache;
    struct old_protocol_list *protocols;
    // CLS_EXT only
    const uint8_t *ivar_layout;
    struct old_class_ext *ext;
    ...
}

万物皆对象,类也是对象。可以看到,对象是一个结构体,结构体的一开头就是ISA。指针可以强转为二级指针,判断逻辑可以这么写(uintptr是苹果针对64位指针的优化表示,其实是unsigned long类型):

Dump *dump = [Dump new];
BOOL res = isValidObjcPointer((uintptr_t)dump);
if (res) {
    NSLog(@"The pointer is a valid objc pointer");
} else {
    NSLog(@"The pointer is not a valid objc pointer!");
}

static BOOL isValidObjcPointer(uintptr_t p) {
    uintptr_t class_p = (uintptr_t)*(void * *)p;//把p指针指向的值作为class_p指针地址
    uintptr_t meta_p = (uintptr_t)*(void * *)class_p;//同上
    uintptr_t meta_ns_obj = (uintptr_t)*(void * *)meta_p;//同上
    uintptr_t meta_ns_obj_isa = (uintptr_t)*(void * *)meta_ns_obj;//同上
  
    if (meta_ns_obj == meta_ns_obj_isa) {
        return YES;
    } else {
        return NO;
    }
}

连上手机跑一下:

bad_access.jpg

BAD_ACCESS,说明这块内存区域被禁止访问。说明上面取ISA的逻辑出了些问题。源码里面ISA是一个isa_t的类型,点进去看一下。

objc-private.h
union isa_t 
{
    isa_t() { }
    isa_t(uintptr_t value) : bits(value) { }

    Class cls;
    uintptr_t bits;
    ...
}
initIsa_no_mark.jpg

objc_object的初始化方法里面除了cls外还有两个参数nonpointerhasCxxDtor,关于hasCxxDtor这里不做过多解释,具体可以看sunnyxx的这篇博客。我们发现,根据标志位nonpointer的值,ISA的赋值方式是不同的。根据nonpoint的命名,我们能猜测出这个字段为NO代表ISA的cls字段就是指向类(或者元类)的指针,若为YES则有另外的逻辑。

NONPOINTER_ISA

这个文件列出了Xcode的编译选项,我们看到最下面有一个OBJC_DISABLE_NONPOINTER_ISA。从名字即可推测出OBJC_DISABLE_NONPOINTER_ISA这个编译选项决定ISA是否是纯指针表示。我们在Xcode里面尝试把这个编译选项设置为YES(即nonpoint == NO);

编译选项.jpg

再跑一次代码:


disable_nonpoint.jpg

看下lldb里面的结果,果然一切如预期。那么在OBJC_DISABLE_NONPOINTER_ISANO(即nonpoint == YES)的情况下我们该怎么办呢,从第一次的结果可知在arm64(本人手机为arm64架构)环境下这个选项默认为YES

继续看源码

initIsa.jpg
ISA_MASK宏.jpg

OBJC_DISABLE_NONPOINTER_ISANO时,会先判断SUPPORT_INDEXED_ISASUPPORT_PACKED_ISASUPPORT_INDEXED_ISAYES时,isa用一个indexcls字段来存classArrayIndex()中的引用,这里猜测classArrayIndex能从某个全局的数组中拿到这个类的指针,代码里面暂时没有想到方法取到这个全局的数组,所以本篇文章不做讨论,有读者明白的话可以和我讨论。

我们这里只研究SUPPORT_PACKED_ISAYES的情况,这种情况下64位的ISA指针存了很多信息,有nonpointerhas_assochas_cxx_dtorweakly_referencedshiftcls等,这是apple的一种优化,用一个指针存储了更多的信息,具体的字段介绍可以看这篇这篇文章;下面是各个字段含义的表格:

名称 说明
nonpointer value of nonpointer
has_assoc Object has or once had an associated reference. Object with no associated references can deallocate faster.
has_cxx_dtor Object has a C++ or ARC destructor. Objects with no destructor can deallocate faster.
shiftcls Class pointer's non-zero bits.
magic Equals 0xd2 Used by the debugger to distinguish real objects from uninitialized junk.
weakly_referenced Object is or once was pointed to by an ARC weak variable. Objects not weakly referenced can deallocate faster.
deallocating Object is currently deallocating
has_sidetable_rc Object's retain count is too large to store inline.
extra_rc Object's retain count above 1. (For example, if extra_rc is 5 then the object's real retain count is 6)

看图中红圈标出来的,我们可以用ISA_MASK取出原始的class指针(在arm64架构下和x86下布局不同,ISA_MASK也不同)。用代码 验证下:

nonpoint.jpg

bingo! 正确运行!

Tagged Pointer

其实文章到这里本该结束了,但是好奇心害死猫,runtime有一个API叫做object_getClass根据一个指针返回这个指针所属的类。这个API不出意外也是根据ISA去查找实现的,我们看看他的源码:

Class object_getClass(id obj)
{
    if (obj) return obj->getIsa();
    else return Nil;
}
inline Class 
objc_object::getIsa() 
{
    if (!isTaggedPointer()) return ISA();

    uintptr_t ptr = (uintptr_t)this;
    if (isExtTaggedPointer()) {
        uintptr_t slot = 
            (ptr >> _OBJC_TAG_EXT_SLOT_SHIFT) & _OBJC_TAG_EXT_SLOT_MASK;
        return objc_tag_ext_classes[slot];
    } else {
        uintptr_t slot = 
            (ptr >> _OBJC_TAG_SLOT_SHIFT) & _OBJC_TAG_SLOT_MASK;
        return objc_tag_classes[slot];
    }
}

inline bool 
objc_object::isTaggedPointer() 
{
    return _objc_isTaggedPointer(this);
}

原来还有一个TaggedPointer的字段,在isTaggedPoint的情况下,对象模型有所不同。关于TaggedPointer可以看这篇博客Tagged Pointer是苹果的一项优化技术,由于64的指针很长,这么大的地址空间完全是浪费的。也就是说64位环境下,内存地址的中有很多位都是0。指针地址仅仅作为内存的地址是比较浪费的,我们可以在指针地址中保存或附加更多的信息。这就引入了Tagged Pointer概念(其实和NONPOINTER_ISA理念都是相同的,往64位的指针中存放更多信息,节省空间,存取速度也会提高)。Tagged Pointer是指那些指针中包含特殊属性或信息的指针。其中指针对齐概念可以让我们来标识一个指针是否是Tagged Pointer以及相关类型。iOS 7的64位环境和Mac OS 10.7(Lion)中开始引入了Tagged Pointer

Tagged Pointer比较适用于那些可以用指针地址的值的线性增长来表示的对象。一个比较典型的应用就是NSNumber,在64位环境下,对于一般的数字,NSNumber不再为其在堆上分配内存,直接用指针就能表示。以我真机上的测试的数据来看NSNumber类型的指针前4bit为10110xb最后4位为00100x2。中间的数值即为NSNumber的值.。比如NSNumber *number3 = @3;,,number3的指针值即为0xb000000000000032。以此类推。
可以通过编译选项OBJC_DISABLE_TAGGED_POINTERS手动关闭Tagged Pointer优化。

一些坑

  1. objc4源码不同版本的差异,其实objc4709中initIsa的实现是这样的:
inline void 
objc_object::initIsa(Class cls)
{
   assert(!isTaggedPointer()); 
   isa = (uintptr_t)cls; 
}

完全看不出对nonpoint的判断逻辑,我上面initIsa的源码是在github上找到的。

  1. iOS&macOS真正的实现和源码里面是有差异的,源码只能作为一份参考,很多时候全靠猜 :)
    (可怜的程序猿

Reference

http://www.jianshu.com/p/b5955a3811d7

http://blog.xcodev.com/2013/10/21/2013-10-21-tagged-pointer-and-64-bit/

http://yulingtianxia.com/blog/2014/11/05/objective-c-runtime/

http://blog.sunnyxx.com/2014/04/02/objc_dig_arc_dealloc/

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

推荐阅读更多精彩内容