二 OC底層原理 探究 OC 對(duì)象創(chuàng)建過(guò)程

前言

在 iOS 的開(kāi)發(fā)中使用的 Objective C 語(yǔ)言，它是一種面向?qū)ο蟮恼Z(yǔ)言，但是對(duì)象是怎么產(chǎn)生嗎，怎么被創(chuàng)建的呢？ 下面我們就來(lái)看看

對(duì)象的創(chuàng)建

在 OC 中，我們創(chuàng)建對(duì)象 一般有兩種方法

  • [[class alloc] ] init]
  • [class new]

先看個(gè)案例

我們先定一個(gè) Object 的類(lèi)

@interface TObject : NSObject

@end

@implementation TObject

@end

案例

    TObject *ob = [TObject alloc];
    TObject * oba = [TObject alloc];
    TObject * ob1 = [ob init];
    TObject * ob2 = [ob1 init];
    
    NSLog(@"%p -- %p",ob,&ob);
    NSLog(@"%p -- %p",ob1,&ob1);
    NSLog(@"%p -- %p",ob2,&ob2);
    NSLog(@"%p -- %p",oba,&oba);
======= 輸出結(jié)果如下======
2020-12-05 23:04:23.493569+0800 OC[2258:77272] 0x600003c80290 -- 0x7ffee9ee01a8
2020-12-05 23:04:23.493781+0800 OC[2258:77272] 0x600003c80290 -- 0x7ffee9ee01a0
2020-12-05 23:04:23.493918+0800 OC[2258:77272] 0x600003c80290 -- 0x7ffee9ee0198
2020-12-05 23:04:23.494045+0800 OC[2258:77272] 0x600003c8c8e0 -- 0x7ffee9ee0190

從案例可以看出，三者對(duì)象地址相同，說(shuō)明是同一個(gè)對(duì)象，但是對(duì)象指針地址又不一樣，為什么會(huì)這樣呢？alloc 和 init 到底做了什么呢？

帶著疑問(wèn) 我們接下來(lái)探究

我們先看看 alloc init 是如何創(chuàng)建的

1. alloc 源碼探索

通過(guò)斷點(diǎn) 匯編調(diào)試， callq匯編指令 也就是調(diào)用函數(shù)的意思

  1. 可以看見(jiàn)第一步調(diào)用了 objc_alloc 函數(shù)

    image.png

  2. 接著調(diào)用了 alloc

    image.png

  3. 調(diào)用 objc_rootAlloc

image.png
  1. 調(diào)用了 _objc_rootAllocWithZone

相關(guān)源碼展示

objc_alloc(Class cls)
{
    return callAlloc(cls, true/*checkNil*/, false/*allocWithZone*/);
}


static ALWAYS_INLINE id
callAlloc(Class cls, bool checkNil, bool allocWithZone=false)
{
#if __OBJC2__
    if (slowpath(checkNil && !cls)) return nil;
    // 當(dāng)類(lèi)指針存在并實(shí)現(xiàn)了 allocWithZone 就不會(huì)走這里的代碼
    if (fastpath(!cls->ISA()->hasCustomAWZ())) {
        return _objc_rootAllocWithZone(cls, nil);
    }
#endif

    // No shortcuts available.
    if (allocWithZone) {
        return ((id(*)(id, SEL, struct _NSZone *))objc_msgSend)(cls, @selector(allocWithZone:), nil);
    }
    return ((id(*)(id, SEL))objc_msgSend)(cls, @selector(alloc));
}

+ (id)alloc {
    return _objc_rootAlloc(self);
}

_objc_rootAlloc(Class cls)
{
    return callAlloc(cls, false/*checkNil*/, true/*allocWithZone*/);
}
// Replaced by ObjectAlloc
+ (id)allocWithZone:(struct _NSZone *)zone {
    return _objc_rootAllocWithZone(self, (malloc_zone_t *)zone);
}
_objc_rootAllocWithZone(Class cls, malloc_zone_t *zone __unused)
{
    // allocWithZone under __OBJC2__ ignores the zone parameter
    return _class_createInstanceFromZone(cls, 0, nil,
                                         OBJECT_CONSTRUCT_CALL_BADALLOC);
}



 // 這個(gè)方法表示 當(dāng)類(lèi)或者父類(lèi)有自定義的 alloc/allocWithZone 方法時(shí) 返回 false 否則 返回 true
bool hasCustomAWZ() const {
// FAST_CACHE_HAS_DEFAULT_AWZ:
//class or superclass has default alloc/allocWithZone: implementation
        return !cache.getBit(FAST_CACHE_HAS_DEFAULT_AWZ);
   }

#define fastpath(x) (__builtin_expect(bool(x), 1))
#define slowpath(x) (__builtin_expect(bool(x), 0))
兩者都是指令優(yōu)化編譯器編譯時(shí)的代碼布局
fastpath 很有可能為 true，slowpath表示很有可能為 false

順序分為兩種情況

當(dāng)該類(lèi)第一次被使用的時(shí)候
objc_alloc -> callAlloc(cls,true,false)
在 callAlloc 方法中 由于cls 還沒(méi)有 指針 isa，當(dāng)然也就沒(méi)有所謂的 allocWithZone 方法了
所以調(diào)用了objc_msgSend(cls, @selector(alloc));
alloc -> callAlloc(cls, false, true) 

objc_alloc-> callAlloc(cls,true,false) 

未實(shí)現(xiàn)allocWithZone 方法時(shí),就會(huì)運(yùn)行 fastpath(!cls->ISA()->hasCustomAWZ()) 中的代碼
這是的順序就是
objc_alloc->callAlloc(cls,true,false)->_objc_rootAllocWithZone

實(shí)現(xiàn)的話
objc_alloc->callAlloc(cls,true,false)->allocWithZone -> _objc_rootAllocWithZone(self, (malloc_zone_t *)zone);

解析一下 _class_createInstanceFromZone

到底做了什么




/***********************************************************************
* class_createInstance
* fixme
* Locking: none
*
* Note: this function has been carefully written so that the fastpath
* takes no branch.
**********************************************************************/
static ALWAYS_INLINE id
_class_createInstanceFromZone(Class cls, size_t extraBytes, void *zone,
                              int construct_flags = OBJECT_CONSTRUCT_NONE,
                              bool cxxConstruct = true,
                              size_t *outAllocatedSize = nil)
{
    ASSERT(cls->isRealized());

    // Read class's info bits all at once for performance
    // 判斷當(dāng)前 Class 或者 superClass 是否有 cxxConstruct 構(gòu)造方法的實(shí)現(xiàn)
    bool hasCxxCtor = cxxConstruct && cls->hasCxxCtor();
    // 判斷當(dāng)前 Class 或者 superClass 是否有 destruct 構(gòu)造方法的實(shí)現(xiàn)
    bool hasCxxDtor = cls->hasCxxDtor();
    bool fast = cls->canAllocNonpointer();
    size_t size;
    // 計(jì)算對(duì)象內(nèi)存大小
    size = cls->instanceSize(extraBytes);
    // 額外的空間
    if (outAllocatedSize) *outAllocatedSize = size;
    // 開(kāi)辟內(nèi)存空間
    id obj;
    //  zone 永遠(yuǎn)都是 false
    if (zone) {
        obj = (id)malloc_zone_calloc((malloc_zone_t *)zone, 1, size);
    } else {
        obj = (id)calloc(1, size);
    }
    // false
    if (slowpath(!obj)) {
        if (construct_flags & OBJECT_CONSTRUCT_CALL_BADALLOC) {
            return _objc_callBadAllocHandler(cls);
        }
        return nil;
    }

    if (!zone && fast) {
        // 到這里     初始化 isa, 關(guān)聯(lián) cls
        obj->initInstanceIsa(cls, hasCxxDtor);
    } else {
        // Use raw pointer isa on the assumption that they might be
        // doing something weird with the zone or RR.
        obj->initIsa(cls);
    }

    if (fastpath(!hasCxxCtor)) { 
        // 最終
        return obj;
    }

    construct_flags |= OBJECT_CONSTRUCT_FREE_ONFAILURE;
    return object_cxxConstructFromClass(obj, cls, construct_flags);
}

cls->instanceSize(extraBytes)是進(jìn)行內(nèi)存對(duì)齊得到的實(shí)例大小

    size_t instanceSize(size_t extraBytes) const {
        if (fastpath(cache.hasFastInstanceSize(extraBytes))) {
            return cache.fastInstanceSize(extraBytes);
        }

        size_t size = alignedInstanceSize() + extraBytes;
        // CF requires all objects be at least 16 bytes.
        if (size < 16) size = 16;
        return size;
    }
   // May be unaligned depending on class's ivars.
    uint32_t unalignedInstanceSize() const {
        ASSERT(isRealized());
        return data()->ro()->instanceSize;
    }

    // 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) {
    return (x + WORD_MASK) & ~WORD_MASK;
}
#ifdef __LP64__
#   define WORD_SHIFT 3UL
#   define WORD_MASK 7UL
#   define WORD_BITS 64
#else
#   define WORD_SHIFT 2UL
#   define WORD_MASK 3UL
#   define WORD_BITS 32
#endif

由于 TObject 對(duì)象中沒(méi)有任何屬性,所以 extraBytes 是為0的,但是內(nèi)存空間并不是0，因?yàn)?TObject 還有一個(gè) isa 指針

@interface NSObject <NSObject> {
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wobjc-interface-ivars"
    Class isa  OBJC_ISA_AVAILABILITY;
#pragma clang diagnostic pop
}

通過(guò)計(jì)算可以得知，有一個(gè)對(duì)象指針，這個(gè)大小是8字節(jié)，所以到word_align 方法中 x 就是8，其中WORD_MASK在64位系統(tǒng)下是7，否則是3，因此，word_align()方法在64位系統(tǒng)下進(jìn)行計(jì)算是8字節(jié)對(duì)齊按照里面的算法就是相當(dāng)于8的倍數(shù)。返回到instanceSize()方法中的size就是對(duì)象需要的空間大小為8，因?yàn)槔锩嬗行∮?6的返回16。

所以 按照現(xiàn)在的算法 經(jīng)過(guò)instanceSize 計(jì)算，內(nèi)存最小是16，內(nèi)存是8的倍數(shù)
-- 具體的下一篇詳細(xì)探索

init 解析

- (id)init {
    return _objc_rootInit(self);
}
id
_objc_rootInit(id obj)
{
    // In practice, it will be hard to rely on this function.
    // Many classes do not properly chain -init calls.
    return obj;
}

沒(méi)有任何操作 就是返回它本身的
可能是設(shè)計(jì)原則的關(guān)系，這樣設(shè)計(jì) 方便開(kāi)發(fā)者更好的自定義吧，可以在其中初始化一些設(shè)置

new 解析

可見(jiàn) new 就是 callAlloc 和 init 方法的結(jié)合

+ (id)new {
    return [callAlloc(self, false/*checkNil*/) init];
}

問(wèn)題

  • 通過(guò)源碼定義 jumpDefinition 時(shí)，alloc 應(yīng)該是直接調(diào)用類(lèi)方法 alloc 函數(shù)的，為什么會(huì)調(diào)用 objc_alloc 呢?

可能:

static void 
fixupMessageRef(message_ref_t *msg)
{    
   msg->sel = sel_registerName((const char *)msg->sel);

   if (msg->imp == &objc_msgSend_fixup) { 
// 當(dāng)改方法的方法編號(hào)時(shí) alloc 時(shí)，將方法函數(shù)實(shí)現(xiàn) 指向了 objc_alloc
       if (msg->sel == @selector(alloc)) {
           msg->imp = (IMP)&objc_alloc;
       } else if (msg->sel == @selector(allocWithZone:)) {
           msg->imp = (IMP)&objc_allocWithZone;
       } else if (msg->sel == @selector(retain)) {
           msg->imp = (IMP)&objc_retain;
       } else if (msg->sel == @selector(release)) {
           msg->imp = (IMP)&objc_release;
       } else if (msg->sel == @selector(autorelease)) {
           msg->imp = (IMP)&objc_autorelease;
       } else {
           msg->imp = &objc_msgSend_fixedup;
       }
   } 
   else if (msg->imp == &objc_msgSendSuper2_fixup) { 
       msg->imp = &objc_msgSendSuper2_fixedup;
   } 
   else if (msg->imp == &objc_msgSend_stret_fixup) { 
       msg->imp = &objc_msgSend_stret_fixedup;
   } 
   else if (msg->imp == &objc_msgSendSuper2_stret_fixup) { 
       msg->imp = &objc_msgSendSuper2_stret_fixedup;
   }

最后 附上一張初始化流程圖

image.png
最后編輯于 ：
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成，瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明：文章內(nèi)容（如有圖片或視頻亦包括在內(nèi)）由作者上傳并發(fā)布，文章內(nèi)容僅代表作者本人觀點(diǎn)，簡(jiǎn)書(shū)系信息發(fā)布平臺(tái)，僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容