在分析alloc源碼之前,先來看看一下3個變量 指針 和 內存地址 區別:
分別輸出3個對象的內容
、指針地址
、對象地址
,下圖是打印結果
結論:通過上圖可以看出,3個對象指向的是同一個內存空間,所以其內容 和 指針地址是相同的,但是對象的內存地址是不同的
準備工作
- 下載 objc4-781 源碼
這就是本文需要探索的內容,alloc做了什么?init做了什么?
alloc 源碼探索
alloc + init 整體源碼的探索流程如下
【第一步】首先根據main函數中的LGPerson類的alloc
方法進入alloc
方法的源碼實現(即源碼分析開始)
+ (id)alloc {
return _objc_rootAlloc(self);
}
【第二步】跳轉至_objc_rootAlloc
的源碼實現
【第三步】跳轉至callAlloc
的源碼實現
slowpath & fastpath
其中關于slowpath和fastpath這里需要簡要說明下,這兩個都是objc源碼中定義的宏,其定義如下
//x很可能為真, fastpath 可以簡稱為 真值判斷
#define fastpath(x) (__builtin_expect(bool(x), 1))
//x很可能為假,slowpath 可以簡稱為 假值判斷
#define slowpath(x) (__builtin_expect(bool(x), 0))
其中的__builtin_expect
指令是由gcc引入的,
1、目的:編譯器可以對代碼進行優化,以減少指令跳轉帶來的性能下降。即性能優化
2、作用:允許程序員將最有可能執行的分支告訴編譯器。
3、指令的寫法為:__builtin_expect(EXP, N)。表示 EXP==N的概率很大。
4、fastpath定義中__builtin_expect((x),1)表示 x 的值為真的可能性更大;即 執行if 里面語句的機會更大
5、slowpath定義中的__builtin_expect((x),0)表示 x 的值為假的可能性更大。即執行 else 里面語句的機會更大
6、在日常的開發中,也可以通過設置來優化編譯器,達到性能優化的目的,設置的路徑為:Build Setting --> Optimization Level
--> Debug --> 將None 改為 fastest 或者 smallest
【第四步】跳轉至_objc_rootAllocWithZone
的源碼實現
【第五步】跳轉至_class_createInstanceFromZone
的源碼實現,這部分是alloc
源碼的核心操作,由下面的流程圖及源碼可知,該方法的實現主要分為三部分:
-
cls->instanceSize
:計算需要開辟的內存空間大小 -
calloc
:申請內存,返回地址指針 -
obj->initInstanceIsa
:將類
與isa
關聯
alloc 核心操作
核心操作都位于calloc
方法中
cls->instanceSize:計算所需內存大小
- 內存字節對齊原則
在解釋為什么需要16字節對齊之前,首先需要了解內存字節對齊的原則,主要有以下三點:- 數據成員對齊規則:struct 或者 union 的數據成員,第一個數據成員放在offset為0的地方,以后每個數據成員存儲的起始位置要從該成員大小或者成員的子成員大小(只要該成員有子成員,比如數據、結構體等)的整數倍開始(例如int在32位機中是4字節,則要從4的整數倍地址開始存儲)
- 數據成員為結構體:如果一個結構里有某些結構體成員,則結構體成員要從其內部最大元素大小的整數倍地址開始存儲(例如:struct a里面存有struct b,b里面有char、int、double等元素,則b應該從8的整數倍開始存儲)
- 結構體的整體對齊規則:結構體的總大小,即sizeof的結果,必須是其內部做大成員的整數倍,不足的要補齊
為什么需要16字節對齊
需要字節對齊的原因,有以下幾點:
通常內存是由一個個字節組成的,cpu在存取數據時,并不是以字節為單位存儲,而是以塊為單位存取,塊的大小為內存存取力度。頻繁存取字節未對齊的數據,會極大降低cpu的性能,所以可以通過減少存取次數
來降低cpu的開銷
16字節對齊,是由于在一個對象中,第一個屬性isa
占8字節,當然一個對象肯定還有其他屬性,當無屬性時,會預留8字節,即16字節對齊,如果不預留,相當于這個對象的isa和其他對象的isa緊挨著,容易造成訪問混亂
16字節對齊后,可以加快CPU讀取速度
,同時使訪問更安全
,不會產生訪問混亂的情況
字節對齊-總結
在字節對齊算法中,對齊的主要是對象,而對象的本質則是一個struct objc_object
的結構體,
結構體在內存中是連續存放的,所以可以利用這點對結構體進行強轉。
蘋果早期是8字節對齊,現在是16字節對齊
calloc:申請內存,返回地址指針
通過instanceSize
計算的內存大小,向內存中申請 大小 為 size的內存,并賦值給obj,因此 obj是指向內存地址的指針
obj->initInstanceIsa:類與isa關聯
經過calloc可知,內存已經申請好了,類也已經傳入進來了,接下來就需要將 類與 地址指針 即isa指針進行關聯,其關聯的流程圖如下所示
主要過程就是初始化一個isa指針,并將isa指針指向申請的內存地址,在將指針與cls類進行 關聯
同樣也可以通過斷點調試來印證上面的說法,在執行完initInstanceIsa
后,在通過po obj
可以得出一個對象指針
總結
- 通過對alloc源碼的分析,可以得知alloc的主要目的就是開辟內存,而且開辟的內存需要使用16字節對齊算法,現在開辟的內存的大小基本上都是16的整數倍
- 開辟內存的核心步驟有3步:計算 -- 申請 -- 關聯
init 源碼探索
alloc源碼探索完了,接下來探索init源碼,通過源碼可知,inti
的源碼實現有以下兩種:
-
類方法 init
+ (id)init {
return (id)self;
}
這里的init是一個構造方法
,是通過工廠設計
(工廠方法模式),主要是用于給用戶提供構造方法入口
。這里能使用id強轉的原因,主要還是因為 內存字節對齊后,可以使用類型強轉為你所需的類型
-
實例方法 init
通過[[GLClass alloc]init]
代碼進行探索實例方法 init- 通過main中的init跳轉至init的源碼實現
- 跳轉至
_objc_rootInit
的源碼實現
有上述代碼可以,返回的是傳入的self本身。
new 源碼探索
一般在開發中,初始化除了init
,還可以使用new
,兩者本質上并沒有什么區別,以下是objc中new的源碼實現,通過源碼可以得知,new
函數中直接調用了callAlloc
函數(即alloc中分析的函數),且調用了init函數,所以可以得出new 其實就等價于 [alloc init]
的結論
+ (id)new {
return [callAlloc(self, false/*checkNil*/) init];
}
但是一般開發中并不建議使用new
,主要是因為有時會重寫init方法做一些自定義的操作,例如 initWithXXX
,會在這個方法中調用[super init]
,用new
初始化可能會無法走到自定義的initWithXXX
部分。
總結
如果子類沒有重寫父類的init,new會調用父類的init方法
如果子類重寫了父類的init,new會調用子類重寫的init方法
如果使用 alloc + 自定義的init,可以幫助我們自定義初始化操作,例如傳入一些子類所需參數等,最終也會走到父類的init,相比new而言,擴展性更好,更靈活。