最近在看Effective Objective-C,順便做個筆記。
Familiarize Yourself with Objective-C's Root
Objective-C由Smaltalk演化而來,Smaltalk是消息傳遞機制的鼻祖。因此OC也采用消息傳遞機制取代功能調用(function calling)。
消息傳遞與功能調用的區別如下:
//Messaging(OC)
Object *obj = [Object new];
[obj performWith:para1 and:para2];
//function calling(C++)
Object *obj = new Object;
obj->perform(para1,para2);
注意區別在于:使用消息結構的語言,運行時所執行的代碼由運行環境來決定,而使用含住調用的語言,擇優編譯器決定。如果代碼調用的函數是多態的,那么在運行時要按照“虛方法表(virtual table)”來查出到底該執行哪個函數實現,而采用消息結構的語言,不論是否多態,總是在運行時才回去查找所要執行的方法。甚至編譯器對于接收消息是何種類型也不會關心。接收消息的對象問題也要在運行時處理,這一過程叫做“動態綁定(dynamic binding)”。
Objective-C的重要工作都由“運行期組件而非編譯器來完成”,使用Objective-C的面向對象特性所需的全部數據結構以及函數都在運行期組件里面。運行期組件本質上是一種與開發者所編代碼相鏈接的“動態庫”,其代碼能把開發者所編寫的所有程序粘合起來
Objective-C對象的聲明:NSString *someString = @"The string";
解釋為生命了一個名為someString 的變量,其類型是NSString *,也就是說變量為指向NSString的指針。
所有Objective-C對象所占內存都是分配在“堆空間”中,而絕不會分配在“棧”上。
在Objective-C中,有時會遇到定義中不含 * 的變量,它們可能會使用“棧控件”,這些變量保存的不是Objective-C對象。比如CoreGraphics框架中的CGRect:
CGRect frame;
frame.origin.x = 0.0f;
frame.origin.y = 10.0f;
frame.size.width = 100.0f;
frame.size.height = 150.f;
CGrect是C結構體,定義為:
struct CGRect {
CGPoint origin;
CGSize size;
};
typedef struct CGRect CGRect;
(分割線)
這里穿插一下Objective-C中關于枚舉的定義和用法。例如:
typedef enum {
kCircle,
kRectange,
kOblateSpheroid
}ShapeType;
通常對于枚舉的簡單聲明為:
enum tagname{ ... };
通過上面這種方式聲明了一個名為tagname的枚舉類型。在C或者Objective-C中如果要使用這一枚舉,必須在前面記上關鍵字enum。
enum tagname x;//declare x of type 'enum tagname'
tagname x;//Error in C/Objective-c,OK in C++;
為了避免總是使用enum,于是出現了下面這種定義:
enum tagname { ... }
typedef enum tagname tagname;//declare 'tagname' as a typedef for 'enum tagname'
進而更簡單的方法為:
typedef enum tagname { ... } tagname;//declare both 'enum tagname' and 'tagname'
最終我們可以這樣聲明:
typedef enum { ... } tagname;
關于最上方的定義官方提供另一種便捷的宏NS_ENUM;
typedef NS_ENUM(NSUInteger, ShapeType) {
kCircle;
kRectagle;
kOblateSpheroid;
}
要點:
- Objective-C采用動態綁定的消息結構,在運行時才會檢查對象類型。接受一條消息后,究竟應該執行何種代碼,由運行期環境而非編譯器決定。