Effective Objective-C 2.0 学习笔记

1. 理解objc_msgSend

objc_msgSend函数会依据接受者与选择子的类型来调用适当的方法。为了完成次操作,改方法需要在接受者所属的类中搜寻起“方法列表”(list of methods),如果能找到与选择子名称相符的方法,就调到其实现代码。若是找不到,那就沿着继承体系继续向上查找,等找到合适的方法之后再跳转。如果最终还是找不到相符的方法,那就执行“消息转发”(message forwarding)操作。

  • objc_msgSend_stret:如果待发送的消息要返回结构体,那么可交由此函数处理。只有当CPU的寄存器能够容纳得下消息返回类型时,这个函数才能处理此消息。若是返回值无法容纳于CPU寄存器中(比如说返回的结构体太大了),那么就由另一个函数执行派发。此时,那个函数会通过分配在栈上的某个变量来处理消息所返回的结构体。
  • objc_msgSend_fpret:如果消息返回的是浮点数,那么金额交由次函数处理。
  • objc_msgSendSuper:如果要给超类发消息,例如[super message:parameter],那么就交由次函数处理。也有另外两个于objc_msgSend_stret和objc_msgSend_fpret等效的函数,用于处理发送给super的相应消息。

2. 消息转发

如果在控制台中看到下面这种提示信息,那就说明你曾向某个对象发送过一条其无法解读的消息,从而启动了消息转发机制,并将此消息转发给了NSObject的默认实现。

unrecognized selector sent to instance 0x87

上面这段异常信息是由NSObject的“doesNotRecognizeSelector:”方法所抛出的。

消息转发分为两大阶段。第一阶段先征询接收者,所属的类,看其是否能动态添加方法,以处理当前这个“未知的选择子”(unknown selector),这叫做“动态方法解析”(dynamic method resolution)。第二阶段涉及“完整的消息转发机制”(full forwarding mechanism)。如果运行期系统以及把第一阶段执行完了,那边接收者自己就无法再以动态新增方法的手段来响应包含该选择子的消息了。此时,运行期系统会请求接收者以其他手段来处理与消息相关的方法调用。这又细分为2小步。首先,请接收者看看有没有其他对象能处理这条消息。若有,则运行期系统会把消息转给那个对象,于是消息转发过程结束,一切如常。若没有“被援的接收者”(replacement receiver),则启动完整的消息转发机制,运行期系统会把与消息有关的全部细节都封装到NSInvocation对象中,再给接收者最后一次机会,令其设法解决当前还未处理的这条消息。

动态方法解析

对象在接收到无法解读的消息后,首先将调用其所属类的下列类方法:

+ (BOOL)resolveInstanceMethod:(SEL)selector
备援接收者

当前接收者还有第二次机会能处理位置的选择子,在这一步中,运行期系统会问它:能不能把这条消息转给其他接收者来处理。与该步骤对应的处理方法如下:

- (id)forwardingTargetForSelector:(SEL)selector
完整的消息转发

如果转发算法已经来到这一步的话,那么唯一能做的就是启用完整的消息转发机制了。首先创建NSInvocation对象,把与尚未处理的那条消息有关的全部细节都封装在其中,此对象包括选择子,目标(target)及参数。在触发NSInvocation对象时,消息派发系统(message-dispatch-system)将亲自出马,把消息指派给目标对象。

此步骤会调用下列方法来转发消息:

-(void)forwardInvocation:(NSInvocation *)invovation

这个方法可以实现的很简单:只需改变调用目标,使消息在新目标上得以调用即可。然而这样实现出来的方法与“备援接收者”方案所实现的方法等效,所以很少有人采用这么简单的实现方式。比较有用的实现方式为:在触发消息前,先以某种方式改变消息内容,比如追加另外一个参数,或者改变选择子等。

forwarding_flow.png

3. 用“方法调配技术”调试“黑盒方法”

类的方法列表会把选择子的名称映射到相关的方法实现上,使得“动态消息派发系统”能够据此找到应该调用的方法。这些方法均以函数指针的形式来表示,这种指针叫做IMP,其原型如下:

id (*IMP)(id, SEL, ...)

isKindOfClassisMemberOfClass这样的类型信息查询方法原理是使用了isa指针获取对所属的类,然后通过super_class指针在继承体系中游走。

4. 提供“全能初始化方法”

  • 在类中提供一个全能初始化方法,并于文档里指明。其他初始化方法均应调用此方法。
  • 若全能初始化方法与超类不同,则需覆写超类中的对应方法。
  • 如果超类的初始化方法不适用于子类,那边应该覆写这个超类方法,并在其中抛出异常。

5. 实现description方法

我们有时需要更为有用的信息, 只需要覆写description方法并将描述次对象的信息返回即可。NSObject协议中还有个方法:debugDescription,此方法与description非常相似。二者的区别在于,debugDescription方法是开发者在调试器中以控制台命令打印对象时才调用的,即当运行到断点时,你使用LLDB的“po”命令打印输出的内容就是debugDescription。在NSObject类的默认实现中,此方法只是直接调用了description。

6. 理解NSCopying协议

使用对象时经常需要拷贝它。在OC中,此操作通过copy方法完成。如果想令自己的类支持拷贝操作,那就要实现NSCopying协议,该协议只有一个方法:

- (id)copyWithZone:(NSZone *)zone

为何会出现NSZone呢?因为在以前开发程序时,会据此吧内存分成不同的“区”(zone),而对象会创建在某个区里面。现在不用了,每个程序只有一个区:“默认区”(default zone)。所以说,尽管必须实现这个方法,但是你不必担心其中的zone参数。

若想使某个类支持拷贝功能,只需声明该类遵从NSCopying协议,并实现其中的该方法。

  • 若想令自己所写的对象具有拷贝功能,则需实现NSCopying协议。
  • 如果自定义的对象分为可变版本与不可变版本,那么就要同时实现NSCopying和NSMutableCopying协议。
  • 复制对象时需决定采用浅拷贝还是深拷贝,一般情况下应该尽量执行浅拷贝。
  • 如果你缩写的对象需要深拷贝,那么可考虑新增一个专门执行深拷贝的方法。

7. 内存管理

ARC如何清理实例变量:

ARC会借用Objective-C++的一项特性来生成清理例程(cleanup routine)。回收Objective-C++对象时,待回收的对象会调用所有C++对象的析构函数(destructor)。编译器如果发现某个对象里含有C++对象,就会生成名为.cxx_destruct的方法。而ARC则借助此特性,在该方法中生成清理内存的代码。

不过如果有非Objective-C的对象,比如CoreFoundation中的对象或是由malloc()分配在堆中的内存,那么仍然需要清理。然而不需要像原来那样调用超类的dealloc方法。ARC会自动在.cxx_destruct方法中生成代码并运行此方法,而在生成的代码中会自动调用超类的dealloc方法。ARC环境下,dealloc方法可以如下写:

- (void)dealloc{
  CFRelease(_coreFoundationObject);
  free(_heapAllocatedMemoryBlob);
}

以autoreleasepool降低内存峰值:

通常,系统会自动创建一些线程,比如主线程或者GCD中的线程,默认都有自动释放池,每次执行“事件循环”(event loop)时,就会将其清空。

NSArray *databaseRecords = /*...*/;
NSMutableArray *people = [NSMutableArray new];
for (NSDictionary *record in databseRecords) {
    @autoreleasepool {
        TTPerson *person = [[TTPerson alloc] initWithRecord:record];
        [people addObject:person];
    }
}

8.GCD

block的内部结构

每个OC对象都占据着某个内存区域,因为实例变量的个数及对象所包含的关联数据互不相同,所以每个对象所占的内存区域也有大有小。block本身也是对象,在存放块对象的内存区域中,首个变量是指向Class对象的指针,该指针叫做isa。其余内存中含有块对象正常运转所需的各种信息。


block.png

在内存布局中,最重要的就是invoke变量,这是个函数指针,指向块的实现代码。函数原型至少要接收一个void*型的参数,此参数代表block(block其实就是一种代替函数指针的语法结构),原来使用函数指针时,需要用“不透明的void指针”来传递状态。而改用block之后,则可以把原来用标准C语言特性所编写的代码封装成简明易用的接口。

descriptor变量是指向结构体的指针,每个block中都含有此结构体,其中声明了block对象的总体大小,还声明了copy与dispose这两个辅助函数所对应的函数指针。辅助函数在拷贝及丢弃block对象时运行,其中会执行一些操作,比如,前者要保留捕获的对象,而后者则将之释放。

block还会把它所捕获的所有变量都拷贝一份。这些拷贝放在descriptor变量后面,捕获了多少个变量,就要占据多少内存空间。注意:拷贝的并不是对象本身,而是指向这些对象的指针变量。invoke函数为何需要把block对象作为参数传进来呢?原因在于,执行block时要从内存中把这些捕获到的变量读出来。

全局块,栈块及堆块

定义block时,起占有的内存区域是分配在栈中的。这就是说,block只在定义他的那个范围内有效。

例如,如下代码就是危险的:

  void (^block)(void);
    if (XXX) {
        block = ^{
            NSLog(@"block A");
        };
    }else{
        block = ^{
            NSLog(@"block B");
        };
    }
    block();

因为定义在if及else语句中的两个块都分配在栈内存中。编译器会给每个block分配好栈内存,然而等离开了想要的范围之后,编译器有可能会把分配给快的内存覆盖掉。于是,这两个block只能保证在对应的if或else语句范围内有效,这样写的代码可以编译,但是运行起来若编译器覆写了待执行的block则程序会崩溃。

为解决此问题,可给block对象发送copy消息拷贝之。这样就可以把block从栈复制到堆了。拷贝后的block可以在定义他的那个范围之外使用,而且一旦复制到堆上,块就成了带引用计数的对象了,后续的复制操作都不会真的执行复制,二十递增block对象的引用计数。

   void (^block)(void);
    if (1) {
        block = [^{
            NSLog(@"block A");
        } copy];
    }else{
        block = [^{
            NSLog(@"block B");
        } copy];
    }
    block();

全局块(global block):这种块不会捕捉任何状态(比如外围的变量等),运行时也无需有状态来参与。块所使用的整个内存区域,在编译期就已经完全确定了,因此,全局块可以生命在全局内存中,而不需要在每次用到的时候在栈中创建,另外,全局块的拷贝操作是个空操作,因为全局块不可能被系统回收,这种块相当于单例,如下:

    //全局block
    void (^globalBlock)() = ^{
        NSLog(@"globalBlock");
    };

9. 用handler块降低代码分散程度

异步方法在执行完任务之后,需要以某种手段通知相关代码。实现此功能有很多办法。常用的技巧是设计一个委托协议,令关注此事件的对象遵从改协议。对象成为delegate之后,就可以在相关事件发生时得到通知了。例如:

@class TTNetworkFetcher;

@protocol TTNetworkFetcherDelegate <NSObject>
- (void)networkFetcher:(TTNetworkFetcher *)networkFetcher
     didFinishWithData:(NSData *)data;
@end

@interface TTNetworkFetcher : NSObject
@property (nonatomic, weak) id <TTNetworkFetcherDelegate> delegate;
- (id)initWithURL:(NSURL *)url;
- (void)start;

我们也可以把completion handler定义为块类型,将其当做参数直接传给start方法:

typedef void(^TTNetworkFetcherCompletionHandler)(NSData *data);

@interface TTNetworkFetcher : NSObject
- (id)initWithURL:(NSURL *)url;
- (void)startWithCompletionHandler:(TTNetworkFetcherCompletionHandler)handle;

//.m
//3.用handler块降低代码分散程度
    NSURL *url = [[NSURL alloc] initWithString:@"XXX"];
    TTNetworkFetcher *fetcher = [[TTNetworkFetcher alloc] initWithURL:url];    
    [fetcher startWithCompletionHandler:^(NSData *data) {
        
    }];

与使用委托模式的代码相比,用块写出了的代码显然更加整洁。异步任务执行完毕后所需运行的业务逻辑,和启动异步任务所用的代码放在了一起。而且,由于块声明在创建获取器的范围呢,所以他可以访问此范围内的全部变量。

委托模式有个缺点,如果类要分别使用多个获取器下载不同数据,那么就得在delegate回调方法里根据传入的获取器参数来切换。代码写法如下:

- (void)initXXX {
    NSURL *url1 = [[NSURL alloc] initWithString:@"XXX"];
    _fetcher1 = [[TTNetworkFetcher alloc] initWithURL:url1];
    _fetcher1.delegate = self;
    [_fetcher1 start];
    
    NSURL *url2 = [[NSURL alloc] initWithString:@"XXX"];
    _fetcher2 = [[TTNetworkFetcher alloc] initWithURL:url2];
    _fetcher2.delegate = self;
    [_fetcher2 start];
}

- (void)networkFetcher:(TTNetworkFetcher *)networkFetcher didFinishWithData:(NSData *)data{
    if (networkFetcher == _fetcher1) {
        //XXX = data;
        _fetcher1 = nil;
    }
    else if (networkFetcher == _fetcher2){
        //data handler
        _fetcher2 = nil;
    }
    //etc.
}

这么写代码,不仅会令delegate回调方法变的很长,而且还要把网络数据获取器对象保存为实例变量,以便在判断语句中使用。这么做可能有其他原因,比如稍后要根据情况解除监听等,然而这种写法有副作用,通常很快就会使类的代码激增。改用块来写的好处是:无须保存获取器,也无须在回调方法里切换,每个completion handler的业务逻辑,都是和相关的获取器对象一起来定义的。另外我们可以把处理成功情况和失败情况放在一个方法中。同时也需要注意循环引用的问题。

10. 多用派发队列,少用同步锁

滥用@synchronized(self)会很危险,因为所有同步块都会彼此抢夺同一个锁。要是有很多歌属性都这么写的话,那么每个属性的同步块都要等其他所有同步块执行完毕才能执行。而且这样做也不是绝对安全的,如果多线程同时操作属性,那么取值时可能已经是其他线程写入的新的属性值了。

可以使用“串行同步队列”代替同步块或锁对象。将读取操作及写入操作都安排在同一个队列里,即可保证数据同步。用法如下:

@synthesize someString = _someString;

- (void)viewDidLoad {
    [super viewDidLoad];
    //4.多用派发队列,少用同步锁
    _syncQueue = dispatch_queue_create("com.turkeyteo.syncQueue", NULL);
    
}

- (NSString *)someString{
    __block NSString *localSomeString;
    dispatch_sync(_syncQueue, ^{
        localSomeString = _someString;
    });
    return localSomeString;
}

- (void)setSomeString:(NSString *)someString{
    //设置方法并不一定非得同步,这里可使用异步能提高执行速度。注意:如果只是执行很简单的操作,改用异步不见得会比同步快,因为执行异步派发时,需要拷贝块,拷贝也是需要花费时间的。
    dispatch_async(_syncQueue, ^{
        _someString = someString;
    });
}

我们也可以在并行队列中使用栅栏(barrier)来实现同步。串行队列本来就是按顺序执行的,所以使用它没有意义。使用如下:

_syncQ = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

- (NSString *)someString2{
    __block NSString *localSomeString;
    dispatch_sync(_syncQ, ^{
        localSomeString = _someString2;
    });
    return localSomeString;
}

- (void)setSomeString2:(NSString *)someString2{
    dispatch_barrier_async(_syncQ, ^{
        _someString2 = someString2;
    });
}

使用栅栏性能会比使用串行队列要快。因为其虽然写入操作必须单独执行,但是读取操作可以并行,相比执行就更加高效了。

11. 系统架构

将一系列代码封装为动态库(dynamic library),并在其中放入描述其接口的头文件,这样做出来的东西就叫框架。在开发“图形界面的应用程序”(graphical application)时,会用到名为Cocoa的框架,在iOS上称为Cocoa Touch。其实Cocoa本身并不是框架,但是里面集成了一批创建应用程序时经常会用到的框架。

iOS的基石是Foundation框架,他提供了collection等核心功能和字符串处理等复杂功能。还有个与Foundation相伴的框架,叫做CoreFoundation。Foundation框架中的许多功能,都可以在此框架中找到对应的C语言API。其中有个功能叫做“无缝桥接”(toll-free bridging),可以把CoreFoundation中的C语言数据结构平滑转换为Foundation中的OC对象,也可以反向转换。比如NSString可以转到CoreFoundation中与之等效的CFString对象。

CFNetwork:提供了C语言级别的网络通信能力,它将“BSD套接字”抽象成易于使用的网络接口。而Foundation则将其部分内容封装成OC接口以便于网络通信。例如可以用NSURLConnection从URL中下载数据。

12. 构建缓存时选用NSCache而非NSDictionary

NSCache胜过NSDictionary之处自傲与,当系统资源将要耗尽时,他可以自动删减缓存。如果采用普通的字段,那么叫自己编写挂钩,在系统低内存通知时手工删减缓存。此外,NSCache还会先行删减“最久未使用的”对象。

NSCache并不会“拷贝”键,而是“保留”它,NSCache对象不拷贝键的原因在于:很多时候,键都是有不支持拷贝操作的对象来充当的。因此,NSCache不会自动拷贝键,所以说,在键不支持拷贝操作的情况下,该类使用起来比字典更方便。另NSCache是线程安全的。缓存的时候线程安全很重要,你可能在某个线程中读取数据,此时如果发现缓存里没有指定的键,那么就要去下载该键对应的数据,而下载完数据之后所要执行的回调函数,有可能会在后台线程中运行,这样就是另外一个线程在写入缓存了。

13. 精简initialize与load的实现代码

有时候,类必须先执行某些初始化操作。load方法,对于加入运行期系统中的每个类(class)和分类(category)来说,必定会调用此方法,而且只会调用一次。

load方法的问题在于,执行该方法时,运行期系统处于“脆弱状态”(fragile state)。在执行子类的load方法之前,必定会先执行所有超类的load方法。而如果代码还依赖了其他程序库,那么程序库里相关类的load方法也必定会先执行。然而,根据某个给定的程序库,却无法判断出其中各个类的载入书序。因此,在load方法中使用其他类是不安全的。

而且load方法务必实现的精简一些,也就是要尽量减少其所执行的操作,因为整个应用程序在执行load方法时都会阻塞。

想要执行与类相关的初始化操作,可以覆写+(void)initialize ,对于每个类来说,该方法会在程序首次用该类之前调用,且只调用一次。它是由运行期系统来调用的,绝不应该通过代码直接调用。它与load方法相似,但是有几个区别。首先,它是“惰性调用的”,也就是说,只有当传给你下用到相关的类时才调用。如果某个类一直没有使用,那么其initialize方法就一直不会运行。也就是等于说,应用程序无需先把每个类的initialize都执行一遍,这与load方法不同,对于load必须阻塞兵等所有类的load都执行完成,应用程序才继续。另一点,运行期系统在执行该方法时,是处于正常状态的,因此,此时可以安全使用并调用任意类中的任意方法。而且是线程安全的,也就是说,再有执行initialize的那个线程可以操作类或者类实例,其他线程都要先阻塞,等着initialize执行完。最后一个区别是:initialize方法与其他消息一样,如果某个类未实现它,而其超类实现了,那么就会运行超类的实现代码。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 157,198评论 4 359
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 66,663评论 1 290
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 106,985评论 0 237
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 43,673评论 0 202
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 51,994评论 3 285
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,399评论 1 211
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,717评论 2 310
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,407评论 0 194
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,112评论 1 239
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,371评论 2 241
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,891评论 1 256
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,255评论 2 250
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,881评论 3 233
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,010评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,764评论 0 192
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,412评论 2 269
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,299评论 2 260

推荐阅读更多精彩内容