Objective-C Runtime 執行時之六：拾遺

前面幾篇基本介紹了runtime中的大部分功能，包括對類與物件、成員變數與屬性、方法與訊息、分類與協議的處理。runtime大部分的功能都是圍繞這幾點來實現的。

本章的內容並不算重點，主要針對前文中對Objective-C Runtime Reference內容遺漏的地方做些補充。當然這並不能包含所有的內容。runtime還有許多內容，需要讀者去研究發現。

super

在Objective-C中，如果我們需要在類的方法中呼叫父類的方法時，通常都會用到super，如下所示：

@interface MyViewController: UIViewController

@end

@implementation MyViewController

- (void)viewDidLoad {
    [super viewDidLoad];

    // do something
    ...
}

@end

如何使用super我們都知道。現在的問題是，它是如何工作的呢？

首先我們需要知道的是super與self不同。self是類的一個隱藏引數，每個方法的實現的第一個引數即為self。而super並不是隱藏引數，它實際上只是一個”編譯器標示符”，它負責告訴編譯器，當呼叫viewDidLoad方法時，去呼叫父類的方法，而不是本類中的方法。而它實際上與self指向的是相同的訊息接收者。為了理解這一點，我們先來看看super的定義：

struct objc_super { id receiver; Class superClass; };

這個結構體有兩個成員：

1. receiver：即訊息的實際接收者
2. superClass：指標當前類的父類

當我們使用super來接收訊息時，編譯器會生成一個objc_super結構體。就上面的例子而言，這個結構體的receiver就是MyViewController物件，與self相同；superClass指向MyViewController的父類UIViewController。

接下來，傳送訊息時，不是呼叫objc_msgSend函式，而是呼叫objc_msgSendSuper函式，其宣告如下：

id objc_msgSendSuper ( struct objc_super *super, SEL op, ... );

該函式第一個引數即為前面生成的objc_super結構體，第二個引數是方法的selector。該函式實際的操作是：從objc_super結構體指向的superClass的方法列表開始查詢viewDidLoad的selector，找到後以objc->receiver去呼叫這個selector，而此時的操作流程就是如下方式了

objc_msgSend(objc_super->receiver, @selector(viewDidLoad))

由於objc_super->receiver就是self本身，所以該方法實際與下面這個呼叫是相同的：

objc_msgSend(self, @selector(viewDidLoad))

為了便於理解，我們看以下例項：

@interface MyClass : NSObject

@end

@implementation MyClass

- (void)test {
    NSLog(@"self class: %@", self.class);
    NSLog(@"super class: %@", super.class);
}

@end

呼叫MyClass的test方法後，其輸出是：

2014-11-08 15:55:03.256 [824:209297] self class: MyClass
2014-11-08 15:55:03.256 [824:209297] super class: MyClass

從上例中可以看到，兩者的輸出都是MyClass。大家可以自行用上面介紹的內容來梳理一下。

庫相關操作

庫相關的操作主要是用於獲取由系統提供的庫相關的資訊，主要包含以下函式：

// 獲取所有載入的Objective-C框架和動態庫的名稱
const char ** objc_copyImageNames ( unsigned int *outCount );

// 獲取指定類所在動態庫
const char * class_getImageName ( Class cls );

// 獲取指定庫或框架中所有類的類名
const char ** objc_copyClassNamesForImage ( const char *image, unsigned int *outCount );

通過這幾個函式，我們可以瞭解到某個類所有的庫，以及某個庫中包含哪些類。如下程式碼所示：

NSLog(@"獲取指定類所在動態庫");

NSLog(@"UIView's Framework: %s", class_getImageName(NSClassFromString(@"UIView")));

NSLog(@"獲取指定庫或框架中所有類的類名");
const char ** classes = objc_copyClassNamesForImage(class_getImageName(NSClassFromString(@"UIView")), &outCount);
for (int i = 0; i < outCount; i++) {
    NSLog(@"class name: %s", classes[i]);
}

其輸出結果如下：

2014-11-08 12:57:32.689 [747:184013] 獲取指定類所在動態庫
2014-11-08 12:57:32.690 [747:184013] UIView's Framework: /System/Library/Frameworks/UIKit.framework/UIKit
2014-11-08 12:57:32.690 [747:184013] 獲取指定庫或框架中所有類的類名
2014-11-08 12:57:32.691 [747:184013] class name: UIKeyboardPredictiveSettings
2014-11-08 12:57:32.691 [747:184013] class name: _UIPickerViewTopFrame
2014-11-08 12:57:32.691 [747:184013] class name: _UIOnePartImageView
2014-11-08 12:57:32.692 [747:184013] class name: _UIPickerViewSelectionBar
2014-11-08 12:57:32.692 [747:184013] class name: _UIPickerWheelView
2014-11-08 12:57:32.692 [747:184013] class name: _UIPickerViewTestParameters
......

塊操作

我們都知道block給我們帶到極大的方便，蘋果也不斷提供一些使用block的新的API。同時，蘋果在runtime中也提供了一些函式來支援針對block的操作，這些函式包括：

// 建立一個指標函式的指標，該函式呼叫時會呼叫特定的block
IMP imp_implementationWithBlock ( id block );

// 返回與IMP(使用imp_implementationWithBlock建立的)相關的block
id imp_getBlock ( IMP anImp );

// 解除block與IMP(使用imp_implementationWithBlock建立的)的關聯關係，並釋放block的拷貝
BOOL imp_removeBlock ( IMP anImp );

• imp_implementationWithBlock函式：引數block的簽名必須是method_return_type ^(id self, method_args …)形式的。該方法能讓我們使用block作為IMP。如下程式碼所示：

@interface MyRuntimeBlock : NSObject

@end

@implementation MyRuntimeBlock

@end

// 測試程式碼
IMP imp = imp_implementationWithBlock(^(id obj, NSString *str) {
    NSLog(@"%@", str);
});

class_addMethod(MyRuntimeBlock.class, @selector(testBlock:), imp, "v@:@");

MyRuntimeBlock *runtime = [[MyRuntimeBlock alloc] init];
[runtime performSelector:@selector(testBlock:) withObject:@"hello world!"];

輸出結果是

2014-11-09 14:03:19.779 [1172:395446] hello world!

弱引用操作

// 載入弱引用指標引用的物件並返回
id objc_loadWeak ( id *location );

// 儲存__weak變數的新值
id objc_storeWeak ( id *location, id obj );

• objc_loadWeak函式：該函式載入一個弱指標引用的物件，並在對其做retain和autoreleasing操作後返回它。這樣，物件就可以在呼叫者使用它時保持足夠長的生命週期。該函式典型的用法是在任何有使用__weak變數的表示式中使用。
• objc_storeWeak函式：該函式的典型用法是用於__weak變數做為賦值物件時。

這兩個函式的具體實施在此不舉例，有興趣的小夥伴可以參考《Objective-C高階程式設計：iOS與OS X多執行緒和記憶體管理》中對__weak實現的介紹。

巨集定義

在runtime中，還定義了一些巨集定義供我們使用，有些值我們會經常用到，如表示BOOL值的YES/NO；而有些值不常用，如OBJC_ROOT_CLASS。在此我們做一個簡單的介紹。

布林值

#define YES  (BOOL)1
#define NO   (BOOL)0

這兩個巨集定義定義了表示布林值的常量，需要注意的是YES的值是1，而不是非0值。

空值

#define nil  __DARWIN_NULL
#define Nil  __DARWIN_NULL

其中nil用於空的例項物件，而Nil用於空類物件。

分發函式原型

#define OBJC_OLD_DISPATCH_PROTOTYPES  1

該巨集指明分發函式是否必須轉換為合適的函式指標型別。當值為0時，必須進行轉換

Objective-C根類

#define OBJC_ROOT_CLASS

如果我們定義了一個Objective-C根類，則編譯器會報錯，指明我們定義的類沒有指定一個基類。這種情況下，我們就可以使用這個巨集定義來避過這個編譯錯誤。該巨集在iOS 7.0後可用。

其實在NSObject的宣告中，我們就可以看到這個巨集的身影，如下所示：

__OSX_AVAILABLE_STARTING(__MAC_10_0, __IPHONE_2_0)
OBJC_ROOT_CLASS
OBJC_EXPORT
@interface NSObject <NSObject> {
    Class isa  OBJC_ISA_AVAILABILITY;
}

我們可以參考這種方式來定義我們自己的根類。

區域性變數儲存時長

#define NS_VALID_UNTIL_END_OF_SCOPE

該巨集表明儲存在某些區域性變數中的值在優化時不應該被編譯器強制釋放。

我們將區域性變數標記為id型別或者是指向ObjC物件型別的指標，以便儲存在這些區域性變數中的值在優化時不會被編譯器強制釋放。相反，這些值會在變數再次被賦值之前或者區域性變數的作用域結束之前都會被儲存。

關聯物件行為

enum {
   OBJC_ASSOCIATION_ASSIGN  = 0,
   OBJC_ASSOCIATION_RETAIN_NONATOMIC  = 1,
   OBJC_ASSOCIATION_COPY_NONATOMIC  = 3,
   OBJC_ASSOCIATION_RETAIN  = 01401,
   OBJC_ASSOCIATION_COPY  = 01403
};

這幾個值在前面已介紹過，在此不再重複。

總結

至此，本系列對runtime的整理已完結。當然這只是對runtime的一些基礎知識的歸納，力圖起個拋磚引玉的作用。還有許多關於runtime有意思東西還需要讀者自己去探索發現。