本文授權轉載,作者:楚天舒(簡書)
從C的面向過程到接觸OC的對象、消息的過渡初期總會有知其然不知其所以然的糾結,相關的學習資源一般都是介紹有什麼、使用步驟一二三四的套路,這樣就很難知道知道本質是什麼,能干什麼不能干什麼,為什麼要選擇用它。而實際開發過程,都是先有什麼要解決,再努力找到實現方法。人腦的容易接受的信息,也多是主干到分枝的思維導圖,綱舉目張。所以,試著以自己的粗淺理解來寫一點關於OC運行時的東西。
代碼的思想,大概是把重復且不變的東西封裝成可以重復利用的共性,把變化的東西細化為具體獨立松耦合的變量。這些可以是數據類型,也可以是實現的方法代碼片段。類也是封裝的產物和可封裝的對象。被封裝的東西,需要找到裡面內容來具體地實現,就需要給裡面內容加個關聯的映射標識,比如索引(數組)、字符串(字典)、指針、SEL(方法的代號)、isa(對象)等等。大概來說就是用類和對象來封裝父類指針和方法列表,用映射來找到實現方法的代碼片段。
主要思路:
實例對象instance->類class->方法method(->SEL->IMP)->實現函數
實例對象只存放isa指針和實例變量,由isa指針找到所屬類,類維護一個運行時可接收的方法列表;方法列表中的每個入口是一個方法(Method),其中key是一個特定名稱,即選擇器(SEL),其對應一個指向底層C實現函數的指針,即實現(IMP),。運行時機制最關鍵核心是objc_msgSend函數,通過給target(類)發送selecter(SEL)來傳遞消息,找到匹配的IMP,指向實現的C函數。
由於OC的運行時動態特性,在編譯之後可以在運行時通過C操作函數,動態地創建修改類信息,動態綁定方法和重寫實現,靈活地實現一些自定義功能。
紙上寫了個大綱,沒有畫思維導圖,簡單列個目錄:
一、運行時Runtime介紹
二、類的本質:
- 類相關: + 數據類型:class,object; - isa 元類 - superClass 根類 + 操作函數: - class_: + get: 類名,父類; 實例變量,成員變量;屬性;實例方法,類方法,方法實現; + copy: 成員變量列表;屬性列表;方法列表;協議列表; + add: 成員變量;屬性;方法;協議; + replace:屬性;方法; + respond:響應方法判斷(內省) + isMetaclass:元類判斷(內省) + conform:遵循協議判斷(內省) - objc_: + get: 實例變量;成員變量;類名;類;元類;關聯對象; + copy: 對象;類;類列表;協議列表; + set: 實例變量;成員變量;類;類列表;協議;關聯對象; + dispose: 對象; - 動態創建/銷毀類、對象 - 成員變量、屬性相關: + 數據類型:Ivar;objc_property_t;objc_property_attribute_t; + 操作函數: - ivar_: - property_: - 方法消息相關: + 數據類型:SEL;IMP; Method;方法緩存 + 操作函數: - method_: + invoke: 方法實現的返回值; + get: 方法名;方法實現;參數與返回值相關; + set:方法實現; + exchange:交換方法實現 + 方法調用:msgSend函數(找到方法實現) + 消息轉發: - Method Resolution - Fast Forwarding - Normal Forwarding - 協議相關: + 數據類型:Protocol; + 操作函數: - protocol_: + get: 協議;屬性; + copy:協議列表;屬性列表; + add:屬性;方法;協議; + isEqual:判斷兩協議等同; + comform:判斷是否遵循協議; - 其他:類名;版本號;類信息;(忽略)
三、 動態實現:
Method Swizzling;
ISA Swizzling;
四、 其他概念:category;super;等等。想起來再加...
------------進入正題-----------
一、運行時Runtime介紹
作用:在程序運行的時候執行編譯後的代碼,可以:
> 動態(創建)、(修改)、(內省) `類`和`方法` > 消息傳遞
運行時Runtime的一切都圍繞這兩個中心:類的動態配置 和 消息傳遞。通過操作函數來配置類信息,通過msgSend函數傳遞消息。
本質:libobjc.dylib,C和匯編(消息傳遞機制由匯編寫成)寫成。
二、類的本質:
1、類相關:
數據結構(本源):Class類型的結構體。在objc/runtime.h中查看其成員:
struct objc_class { Class isa OBJC_ISA_AVAILABILITY; #if !__OBJC2__ Class super_class OBJC2_UNAVAILABLE; // 父類 const char *name OBJC2_UNAVAILABLE; // 類名 long version OBJC2_UNAVAILABLE; // 類的版本信息,默認為0 long info OBJC2_UNAVAILABLE; // 類信息,供運行期使用的一些位標識 long instance_size OBJC2_UNAVAILABLE; // 類的實例變量大小 struct objc_ivar_list *ivars OBJC2_UNAVAILABLE; // 類的成員變量鏈表 struct objc_method_list **methodLists OBJC2_UNAVAILABLE; // 方法定義的鏈表 struct objc_cache *cache OBJC2_UNAVAILABLE; // 方法緩存 struct objc_protocol_list *protocols OBJC2_UNAVAILABLE; // 協議鏈表 #endif } OBJC2_UNAVAILABLE;
a、數據類型:
isa和super_class :不同的類中可以有相同的方法(同一個類的方法不能同名,哪怕參數類型不同,後面解釋...),所以要先確定是那個類。isa和super_class是找到實現函數的關鍵映射,決定找到存放在哪個類的方法實現。(isa用於自省確定所屬類,super_class確定繼承關系)。
實例對象的isa指針指向類,類的isa指針指向其元類(metaClass)。對象就是一個含isa指針的結構體。類存儲實例對象的方法列表,元類存儲類的方法列表,元類也是類對象。
這是id類型的結構(類似於C裡面的void *):
struct objc_object { Class isa OBJC_ISA_AVAILABILITY; };
typedef struct objc_object *id;
當創建實例對象時,分配的內存包含一個objc_object數據結構,然後是類到父類直到根類NSObject的實例變量的數據。NSObject類的alloc和allocWithZone:方法使用函數class_createInstance來創建objc_object數據結構。
向一個Objective-C對象發送消息時,運行時庫會根據實例對象的isa指針找到這個實例對象所屬的類。Runtime庫會在類的方法列表由super_class指針找到父類的方法列表直至根類NSObject中去尋找與消息對應的selector指向的方法。找到後即運行這個方法。
上圖是關於isa和super_class指針的圖解:
1、isa:實例對象->類->元類->(不經過父元類)直接到根元類(NSObject的元類),根元類的isa指向自己;
2、 superclass:類->父類->...->根類NSObject,元類->父元類->...->根元類->根類,NSObject的superclass指向nil。
b、操作函數:類對象以class_為前綴,實例對象以object_為前綴
class_:
get: 類名,父類,元類;實例變量,成員變量;屬性;實例方法,類方法,方法實現;
// 獲取類的類名 const char * class_getName (Class cls); // 獲取類的父類 Class class_getSuperclass (Class cls); // 獲取實例大小 size_t class_getInstanceSize (Class cls); // 獲取類中指定名稱實例成員變量的信息 Ivar class_getInstanceVariable (Class cls, const char *name); // 獲取類成員變量的信息 Ivar class_getClassVariable (Class cls, const char *name); // 獲取指定的屬性 objc_property_t class_getProperty (Class cls, const char *name); // 獲取實例方法 Method class_getInstanceMethod (Class cls, SEL name); // 獲取類方法 Method class_getClassMethod (Class cls, SEL name); // 獲取方法的具體實現 IMP class_getMethodImplementation (Class cls, SEL name); IMP class_getMethodImplementation_stret (Class cls, SEL name);
copy: 成員變量列表;屬性列表;方法列表;協議列表;
// 獲取整個成員變量列表 Ivar * class_copyIvarList (Class cls, unsigned int *outCount); // 獲取屬性列表 objc_property_t * class_copyPropertyList (Class cls, unsigned int *outCount); // 獲取所有方法的列表 Method * class_copyMethodList (Class cls, unsigned int *outCount); // 獲取類實現的協議列表 Protocol * class_copyProtocolList (Class cls, unsigned int *outCount);
add: 成員變量;屬性;方法;協議;(添加成員變量只能在運行時創建的類,且不能為元類)
// 添加成員變量 BOOL class_addIvar (Class cls, const char *name, size_t size, uint8_t alignment, const char *types); // 添加屬性 BOOL class_addProperty (Class cls, const char *name,const objc_property_attribute_t *attributes, unsigned int attributeCount); // 添加方法 BOOL class_addMethod (Class cls, SEL name, IMP imp,const char *types); // 添加協議 BOOL class_addProtocol (Class cls, Protocol *protocol);
replace:屬性;方法;
// 替換類的屬性 void class_replaceProperty (Class cls, const char *name, const objc_property_attribute_t *attributes, unsigned int attributeCount); // 替代方法的實現 IMP class_replaceMethod (Class cls, SEL name, IMP imp, const char *types);
respond:響應方法判斷(內省)
// 類實例是否響應指定的selector BOOL class_respondsToSelector (Class cls, SEL sel);
isMetaClass:元類判斷(內省)
// 判斷給定的Class是否是一個元類 BOOL class_isMetaClass (Class cls);
conform:遵循協議判斷(內省)
// 返回類是否實現指定的協議 BOOL class_conformsToProtocol (Class cls, Protocol *protocol);
objc_:
get: 實例變量;成員變量;類名;類;元類;關聯對象
// 獲取對象實例變量 Ivar object_getInstanceVariable (id obj,const char *name, void **outValue); // 獲取對象中實例變量的值 id object_getIvar (id obj, Ivar ivar); // 獲取對象的類名 const char * object_getClassName (id obj); // 獲取對象的類 Class object_getClass (id obj ); Class objc_getClass (const char *name); // 返回指定類的元類 Class objc_getMetaClass (const char *name); //獲取關聯對象 id objc_getAssociatedObject(self, &myKey);
copy:對象;類;類列表;協議列表;
// 獲取指定對象的一份拷貝 id object_copy (id obj, size_t size); // 創建並返回一個指向所有已注冊類的指針列表 Class * objc_copyClassList (unsigned int *outCount);
set: 實例變量;類;類列表;協議;關聯對象;
// 設置類實例的實例變量的值 Ivar object_setInstanceVariable (id obj, const char *name, void *value); // 設置對象中實例變量的值 void object_setIvar (id obj, Ivar ivar, id value); //設置關聯對象 void objc_setAssociatedObject(self, &myKey, anObject, OBJC_ASSOCIATION_RETAIN);
dispose: 對象;
// 釋放指定對象占用的內存 id object_dispose ( id obj );
動態創建/銷毀類、對象
動態創建/銷毀類:
// 創建一個新類和元類 Class objc_allocateClassPair (Class superclass, const char *name, size_t extraBytes); // 銷毀一個類及其相關聯的類 void objc_disposeClassPair (Class cls); // 在應用中注冊由objc_allocateClassPair創建的類 void objc_registerClassPair (Class cls);
動態創建/銷毀對象:
// 創建類實例 id class_createInstance (Class cls, size_t extraBytes); // 在指定位置創建類實例 id objc_constructInstance (Class cls, void *bytes); // 銷毀類實例 void * objc_destructInstance (id obj );
2、實例變量、屬性相關:
實例變量和屬性也是類對象的關鍵配置。
屬性變量的意義就是方便讓其他對象訪問實例變量,另外可以拓展實例變量的作用范圍。當然,你可以設置只讀或者可寫等,設置方法也可自定義。
a、數據類型:
Ivar;
typedef struct objc_ivar *Ivar; struct objc_ivar { char *ivar_name OBJC2_UNAVAILABLE; // 變量名 char *ivar_type OBJC2_UNAVAILABLE; // 變量類型 int ivar_offset OBJC2_UNAVAILABLE; // 基地址偏移字節 #ifdef __LP64__ int space OBJC2_UNAVAILABLE; #endif }
objc_property_t(取名可能是因為當時Objective-C1.0還沒屬性);
typedef struct objc_property *objc_property_t;
objc_property_attribute_t(屬性的特性有:返回值、是否為atomic、getter/setter名字、是否為dynamic、背後使用的ivar名字、是否為弱引用等);
typedef struct { const char *name; // 特性名 const char *value; // 特性值 } objc_property_attribute_t;
b、操作函數:
ivar_:
get:
// 獲取成員變量名 const char * ivar_getName(Ivar v); // 獲取成員變量類型編碼 const char * ivar_getTypeEncoding(Ivar v); // 獲取成員變量的偏移量 ptrdiff_t ivar_getOffset (Ivar v);
property_:
// 獲取屬性名 const char * property_getName (objc_property_t property); // 獲取屬性特性描述字符串 const char * property_getAttributes (objc_property_t property); // 獲取屬性中指定的特性 char * property_copyAttributeValue (objc_property_t property,const char *attributeName); // 獲取屬性的特性列表 objc_property_attribute_t * property_copyAttributeList (objc_property_t property, unsigned int *outCount);
3、 方法消息相關:
消息傳遞機制是Runtime的核心,也即消息分派器objc_msgSend。先要知道幾個概念。
a、 數據類型:
SEL;
SEL又叫選擇器,是表示一個方法的selector的指針,映射方法的名字。Objective-C在編譯時,會依據每一個方法的名字、參數序列,生成一個唯一的整型標識(Int類型的地址),這個標識就是SEL。
SEL的作用是作為IMP的KEY,存儲在NSSet中,便於hash快速查詢方法。SEL不能相同,對應方法可以不同。所以在Objective-C同一個類(及類的繼承體系)中,不能存在2個同名的方法,就算參數類型不同。多個方法可以有同一個SEL。
不同的類可以有相同的方法名。不同類的實例對象執行相同的selector時,會在各自的方法列表中去根據selector去尋找自己對應的IMP。
相關概念:類型編碼(Type Encoding)
編譯器將每個方法的返回值和參數類型編碼為一個字符串,並將其與方法的selector關聯在一起。可以使用@encode編譯器指令來獲取它。
typedef struct objc_selector *SEL;
IMP;
IMP是指向實現函數的指針,通過SEL取得IMP後,我們就獲得了最終要找的實現函數的入口。
typedefine id (*IMP)(id, SEL, ...)
Method;
這個結構體相當於在SEL和IMP之間作了一個綁定。這樣有了SEL,我們便可以找到對應的IMP,從而調用方法的實現代碼。(在運行時才將SEL和IMP綁定, 動態配置方法)
typedef struct objc_method *Method; struct objc_method { SEL method_name OBJC2_UNAVAILABLE; // 方法名 char *method_types OBJC2_UNAVAILABLE; // 參數類型 IMP method_imp OBJC2_UNAVAILABLE; // 方法實現 }
objc_method_list 就是用來存儲當前類的方法鏈表,objc_method存儲了類的某個方法的信息。
struct objc_method_list { struct objc_method_list *obsolete OBJC2_UNAVAILABLE; int method_count OBJC2_UNAVAILABLE; #ifdef __LP64__ int space OBJC2_UNAVAILABLE; #endif /* variable length structure */ struct objc_method method_list[1] OBJC2_UNAVAILABLE; }
方法緩存:
方法調用最先是在方法緩存裡找的,方法調用是懶調用,第一次調用時加載後加到緩存池裡。一個objc程序啟動後,需要進行類的初始化、調用方法時的cache初始化,再發送消息的時候就直接走緩存(引申:+load方法和+initialize方法。load方法是首次加載類時調用,絕對只調用一次;initialize方法是首次給類發消息時調用,通常只調用一次,但如果它的子類初始化時未定義initialize方法,則會再調用一次它的initialize方法)。
struct objc_cache { // 緩存bucket的總數 unsigned int mask /* total = mask + 1 */ OBJC2_UNAVAILABLE; // 實際緩存bucket的總數 unsigned int occupied OBJC2_UNAVAILABLE; // 指向Method數據結構指針的數組 Method buckets[1] OBJC2_UNAVAILABLE; };
b、 操作函數:
method_:
invoke: 方法實現的返回值;
// 調用指定方法的實現 id method_invoke (id receiver, Method m, ...); // 調用返回一個數據結構的方法的實現 void method_invoke_stret (id receiver, Method m, ...);
get: 方法名;方法實現;參數與返回值相關;
// 獲取方法名 SEL method_getName (Method m); // 返回方法的實現 IMP method_getImplementation (Method m); // 獲取描述方法參數和返回值類型的字符串 const char * method_getTypeEncoding (Method m); // 返回方法的參數的個數 unsigned int method_getNumberOfArguments (Method m); // 通過引用返回方法指定位置參數的類型字符串 void method_getArgumentType (Method m, unsigned int index, char *dst, size_t dst_len);
copy: 返回值類型,參數類型
// 獲取方法的返回值類型的字符串 char * method_copyReturnType (Method m); // 獲取方法的指定位置參數的類型字符串 char * method_copyArgumentType (Method m, unsigned int index); // 通過引用返回方法的返回值類型字符串 void method_getReturnType (Method m, char *dst, size_t dst_len);
set:方法實現;
// 設置方法的實現 IMP method_setImplementation ( Method m, IMP imp );
exchange:交換方法實現
// 交換兩個方法的實現 void method_exchangeImplementations ( Method m1, Method m2 );
description : 方法描述
// 返回指定方法的方法描述結構體 struct objc_method_description * method_getDescription ( Method m );
sel_
// 返回給定選擇器指定的方法的名稱 const char * sel_getName ( SEL sel ); // 在Objective-C Runtime系統中注冊一個方法,將方法名映射到一個選擇器,並返回這個選擇器 SEL sel_registerName ( const char *str ); // 在Objective-C Runtime系統中注冊一個方法 SEL sel_getUid ( const char *str ); // 比較兩個選擇器 BOOL sel_isEqual ( SEL lhs, SEL rhs );
c、方法調用流程:向對象發送消息,實際上是調用objc_msgSend函數,obj_msgSend的實際動作就是:找到這個函數指針,然後調用它。
id objc_msgSend(receiver self, selector _cmd, arg1, arg2, ...)
self和_cmd是隱藏參數,在編譯期被插入實現代碼。
self:指向消息的接受者target的對象類型,作為一個占位參數,消息傳遞成功後self將指向消息的receiver。
_cmd: 指向方法實現的SEL類型。
當向一般對象發送消息時,調用objc_msgSend;當向super發送消息時,調用的是objc_msgSendSuper; 如果返回值是一個結構體,則會調用objc_msgSend_stret或objc_msgSendSuper_stret。
0.1-檢查target是否為nil。如果為nil,直接cleanup,然後return。(這就是我們可以向nil發送消息的原因。)
如果方法返回值是一個對象,那麼發送給nil的消息將返回nil;如果方法返回值為指針類型,其指針大小為小於或者等於sizeof(void*),float,double,long double 或者long long的整型標量,發送給nil的消息將返回0;如果方法返回值為結構體,發送給nil的消息將返回0。結構體中各個字段的值將都是0;如果方法的返回值不是上述提到的幾種情況,那麼發送給nil的消息的返回值將是未定義的。
0.2-如果target非nil,在target的Class中根據Selector去找IMP。(因為同一個方法可能在不同的類中有不同的實現,所以我們需要依賴於接收者的類來找到的確切的實現)。
1-首先它找到selector對應的方法實現:
*1.1-在target類的方法緩存列表裡檢查有沒有對應的方法實現,有的話,直接調用。
*1.2-比較請求的selector和類方法列表中的selector,對應的話,直接調用。
*1.3-比較請求的selector和父類方法列表,父類的父類,直至根類,如果有對應,則直接調用。(方法重寫攔截父類方法的原理)
2-調用方法實現,並將接收者對象及方法的所有參數傳給它。
3-最後,將實現函數的返回值作為自己的返回值。
d、動態方法解析與消息轉發:如果以上的類中沒有找到對應的selector(一般保險起見先用respondsToSelector:內省判斷):,還可以利用消息轉發機制依次執行以下流程:
Method Resolution(動態方法解析):
用所屬類的類方法+(BOOL)resolveInstanceMethod:(實例方法)或者+(BOOL)resolveClassMethod:(類方法),在此方法裡添加class_addMethod函數。一般用於@dynamic動態屬性。(當一個屬性聲明為@dynamic,就是向編譯器保證編譯時不用管/get實現,一定會在運行時實現)。
Fast Forwarding (快速消息轉發):
如果上一步無法響應消息,調用- (id)forwardingTargetForSelector:(SEL)aSelector方法,將消息接受者轉發到另一個對象target(不能為self,否則死循環)。
Normal Forwarding(普通消息轉發):
如果上一步無法響應消息:
調用方法簽名- (NSMethodSignature )methodSignatureForSelector:(SEL)aSelector,方法簽名目的將函數的參數類型和返回值封裝;
如果返回非nil,則創建一個NSInvocation對象利用方法簽名和selector封裝未被處理的消息,作為參數傳遞給- (void)forwardInvocation:(NSInvocation )anInvocation。
這一步比較耗時。
如果以上步驟(消息傳遞和消息轉發)還是不能響應消息,則調動doesNotRecognizeSelector:方法,拋出異常。
unrecognized selector sent to instance
(消息轉發可以利用轉移消息接受對象,實現偽多重繼承的效果。)
4、 協議相關:@protocol聲明了可以被其他任何類實現的方法,協議僅僅是定義一個接口,而由其他的類去負責實現。
數據類型:Protocol;
typedef struct objc_object Protocol;
protocol是一個對象結構體。
操作函數:
objc_:
// 返回指定的協議 Protocol * objc_getProtocol ( const char *name ); // 獲取運行時所知道的所有協議的數組 Protocol ** objc_copyProtocolList ( unsigned int *outCount ); // 創建新的協議實例 Protocol * objc_allocateProtocol ( const char *name ); // 在運行時中注冊新創建的協議 void objc_registerProtocol ( Protocol *proto );
protocol_:
get: 協議;屬性;
// 返回協議名 const char * protocol_getName ( Protocol *p ); // 獲取協議的指定屬性 objc_property_t protocol_getProperty ( Protocol *proto, const char *name, BOOL isRequiredProperty, BOOL isInstanceProperty );
copy:協議列表;屬性列表;
// 獲取協議中的屬性列表 objc_property_t * protocol_copyPropertyList ( Protocol *proto, unsigned int *outCount ); // 獲取協議采用的協議 Protocol ** protocol_copyProtocolList ( Protocol *proto, unsigned int *outCount );
add:屬性;方法;協議;
// 為協議添加方法 void protocol_addMethodDescription ( Protocol *proto, SEL name, const char *types, BOOL isRequiredMethod, BOOL isInstanceMethod ); // 添加一個已注冊的協議到協議中 void protocol_addProtocol ( Protocol *proto, Protocol *addition ); // 為協議添加屬性 void protocol_addProperty ( Protocol *proto, const char *name, const objc_property_attribute_t *attributes, unsigned int attributeCount, BOOL isRequiredProperty, BOOL isInstanceProperty );
isEqual:判斷兩協議等同;
// 測試兩個協議是否相等 BOOL protocol_isEqual ( Protocol *proto, Protocol *other );
comform:判斷是否遵循協議;
// 查看協議是否采用了另一個協議 BOOL protocol_conformsToProtocol ( Protocol *proto, Protocol *other ); 5、 其他:類名;版本號;類信息;(忽略)
三、 動態實現:
Method Swizzling;
Method Swizzling可以在運行時通過修改類的方法列表中selector對應的函數或者設置交換方法實現,來動態修改方法。可以重寫某個方法而不用繼承,同時還可以調用原先的實現。通常應用於在category中添加一個方法。
為保證改變方法引起沖突,確保方法混用只能一次性:
比如,在+load方法或者dispatch_once中執行。
ISA Swizzling;
ISA Swizzling可以動態修改對象的isa指針,改變對象的類,類似於創建子類實現相同的功能。KVO即是同過ISA Swizzling實現的。
四、 其他概念:category;super;
category:
typedef struct objc_category *Category; struct objc_category { char *category_name OBJC2_UNAVAILABLE; // 分類名 char *class_name OBJC2_UNAVAILABLE; // 分類所屬的類名 struct objc_method_list *instance_methods OBJC2_UNAVAILABLE; // 實例方法列表 struct objc_method_list *class_methods OBJC2_UNAVAILABLE; // 類方法列表 struct objc_protocol_list *protocols OBJC2_UNAVAILABLE; // 分類所實現的協議列表 } // objc-runtime-new.h中定義: struct category_t { const char *name; // name 是指 class_name 而不是 category_name classref_t cls; // cls是要擴展的類對象,編譯期間是不會定義的,而是在Runtime階段通過name對應到對應的類對象 struct method_list_t *instanceMethods; struct method_list_t *classMethods; struct protocol_list_t *protocols; struct property_list_t *instanceProperties; // instanceProperties表示Category裡所有的properties,(這就是我們可以通過objc_setAssociatedObject和objc_getAssociatedObject增加實例變量的原因,)不過這個和一般的實例變量是不一樣的 };
category就是定義方法的結構體,instance_methods列表是objc_class中方法列表的一個子集,class_methods列表是元類方法列表的一個子集。由其結構成員可知,category為什麼不能添加成員變量(可添加屬性,只有set/get方法)。
給category添加方法後,category_list會生成method list。這個方法列表是倒序添加的,也就是說,新生成的category的方法會先於舊的category的方法插入。(category的方法會優先於類方法執行)。
super:
super並不是隱藏參數,它實際上只是一個”編譯器標示符”,它負責告訴編譯器,當調用方法時,跳過當前類去調用父類的方法,而不是本類中的方法。self是類的一個隱藏參數,每個方法的實現的第一個參數即為self。實際上給super發消息時,super還是與self指向的是相同的消息接收者。
struct objc_super { __unsafe_unretained id receiver; __unsafe_unretained Class super_class; };
原理:使用super來接收消息時,編譯器會生成一個objc_super結構體。發送消息時,不是調用objc_msgSend函數,而是調用objc_msgSendSuper函數:
id objc_msgSendSuper ( struct objc_super *super, SEL op, ... );
該函數實際的操作是:從objc_super結構體指向的superClass的方法列表開始查找selector,找到後以objc->receiver去調用這個selector。
Runtime開源源碼對一些方法的實現:
- (Class)class ; - (Class)class { return object_getClass(self); } + (Class)class; + (Class)class { return self; } - (BOOL)isKindOf:aClass;// (for循環遍歷父類,每次判斷返回的結果可能不同) - (BOOL)isKindOf:aClass { Class cls; for (cls = isa; cls; cls = cls->superclass) if (cls == (Class)aClass) return YES; return NO; } - (BOOL)isMemberOf:aClass; - (BOOL)isMemberOf:aClass { return isa == (Class)aClass; }