爲什麼-ObjC鏈接器標誌需要鏈接靜態庫中的類別？ （LLVM）

Question

對於蘋果這種技術答疑&答：http://developer.apple.com/library/mac/#qa/qa1490/_index.html

我覺得編譯器可能標誌着在編譯時在類中定義的方法調用（它知道，他們是在一個類定義，而不是主類，因爲原型在@interface Class (Category)部分） - 所以它可以在「外部類別方法」的目標文件中建立一個表。然後，鏈接器在進行正常鏈接之後，應該能夠連接/合併和處理來自所有對象的「外部類別方法」表，並在來自所有鏈接的框架/庫/對象的匹配類類別中查找匹配符號，然後它可以拉入那些還沒有進入目標的人。

必須有我遺失的東西，但它是什麼？爲什麼這是不可能的？

Answer 1

鏈接器將靜態庫視爲一個大型的隨機碎片集合，它將從中抽取單個碎片以滿足來自鏈接單元其餘部分的任何符號請求。

I.e.如果主程序調用_foo和_foo只出現在靜態庫，然後_foo，與任何相關的符號一起，將在拖動。

然而，當你在一個類別調用一個方法，沒有特定的符號引用由於Objective-C的活力。

-ObjC標誌告訴鏈接器，因此，它應該從靜態庫中抓取所有類別，並將它們放入主二進制文件中。

---

這是一個有點混亂，假設是編譯器應該是這個聰明（和，無疑，它應該給在開發工具一級的援助）。重要的是要記住一些事情：

• 在鏈接器滾動時，頭文件中聲明的任何內容都會丟失。符號由編譯單元創建，而不是由頭文件創建。頭文件很大程度上產生了一個承諾，即一個符號將在後面被具體創建或由該鏈接完成，但不能自己創建符號（否則每個編譯單元 - 每個.o）最終會得到鏈接時會出現符號和歡鬧）。

• Objective-C是完全動態的。當你說[(id)foo bar];時，唯一的要求是bar被定義爲某處之前。無論它是否實際上實現（無論如何，直到運行時）都無關緊要。

• 類別不必具有相應的@implementations;一個類別可以用來聲明方法可能存在，事實上，在將@optional添加到@protocol之前，通常使用NSObject（ewwwwww）上的類別沒有@implementation來說「嘿，這個可選方法可能存在於運行時」。

• 編譯和鏈接是完全獨立的過程。編譯完全是關於擴展代碼並將其轉換爲可執行字節的庫。鏈接是關於將這些庫合併成一些可以實際運行的庫，包括解決庫之間的所有依賴關係。編譯器並不真正瞭解鏈接的方式，鏈接器也沒有關於可能已經定義了哪些東西（不會產生硬符號）的任何信息。

最終結果？

鏈接器沒有足夠的信息來解決依賴關係。