前段時間有人問我,如何考慮編譯優(yōu)化。我想了想,但是因為自己沒有學過這方面的課程,也沒有總結出成套的體系(畢竟自己一共就只吃了幾年程序員的??),所以,只能告訴他,“把自己當做編譯器的作者。當編譯器的作者面對自己的代碼時,他能做些什么”
扯淡結束,下面通過一個小例子講講“為什么 Objective-C 難以進行優(yōu)化”。
Objective-C 是 C 的超集,語言創(chuàng)作者通過給 struct 添加了一些 function,把 struct 升級為了 class。當然,實際情況不會像我說的這樣簡單,肯定會更加復雜,但我這里只是講和下文相關的內(nèi)容。
struct 升級為了 class,function 也“一人得道雞犬升天”地升級為了 method。
很多 iOS 開發(fā)者都無法區(qū)分“函數(shù)”和“方法”。實際上,把它們翻譯為 function 和 method 可能區(qū)分度更高一些。
可以粗糙的用以下等式區(qū)別它們:
類 = 含有特殊字段的結構體 + 其它
method = function + 類的引用 + 其它
首先,稍微解釋一下第一個等式。類經(jīng)過編譯后,會被打散到 mach-o 的多個地方。其中,一份信息會存儲到 mach-o 的 __DATA,__objc_data
字段。
如下圖。
Objective-C 中的 method 被編譯后,會被當做函數(shù)處理,與此同此,編譯后的 mach-o 文件也會保留一些特殊信息。
如下圖,第一幅圖表示:method 編譯后,會在 段__TEXT,__text
生成一個對應的函數(shù)。第二幅圖表示:這是一個函數(shù)。第三幅圖表示:method 與 class 之間的關系會被存儲到 段 __DATA,__objc_const
。
我們先回顧一下它們的用法。
簡單來說,類似于 [[NSObject alloc]init]
的寫法都是在調(diào)用 Objective-C 中“類”或“類的實例”的 method,而 int result = pow(x,y)
屬于調(diào)用 function 的過程。
考慮這樣一種情況,如果某個類,它的某些方法沒有被編譯器檢測到調(diào)用,比如沒有檢測到[object aMethod]
這種用法。編譯器是否該把這個方法的實現(xiàn)從編譯后的 mach-o 文件內(nèi)移除,從而減小可執(zhí)行文件的體積,提到可用的內(nèi)存空間,加快載入速度?
答案是:“非常不推薦這樣做”。Objective-C 是一門動態(tài)語言,除了直接調(diào)用外,還有大量的動態(tài)調(diào)用方式。僅僅因為編譯器檢測不到調(diào)用就進行移除是非常危險的行為。
再考慮這樣一種情況,如果某個函數(shù),它沒有被編譯器檢測到被調(diào)用,比如沒有檢測到 int result = pow(0,0)
。編譯器是否該把這個函數(shù)的實現(xiàn)從編譯后的 mach-o 文件內(nèi)移除,從而減小可執(zhí)行文件的體積,提到可用的內(nèi)存空間,加快載入速度?
答案是:“非常推薦這樣做”。雖然通過某些方案也可以動態(tài)調(diào)用
c 函數(shù),但是,很顯然,這樣行為非常非常少,程序員有義務自己處理這種情況或者關閉優(yōu)化器。
類似的,因為 Objective-C 可以動態(tài)添加 method 的原因,編譯器不能直接把 [objc superMethod] 替換為 直接執(zhí)行函數(shù)superMethod(objc,...)
,而是需要通過遞歸地查找方法列表,檢測該方法是否被某一個父類動態(tài)添加了實現(xiàn)。
綜上,一個動態(tài)性非常強的語言是很難依靠編譯器作者的智慧進行優(yōu)化的,所以,蘋果才會從零開始發(fā)明一種新的編程語言。