《招聘一个靠谱的iOS》— Part ⅠⅠⅠ

_objc_msgForward函数是做什么的,直接调用它将会发生什么?

_objc_msgForward 是 IMP 类型,用于消息转发的:当向一个对象发送一条消息,但它并没有实现的时候,_objc_msgForward 会尝试做消息转发。


在 PartⅠⅠ 中《objc中向一个对象发送消息 [obj foo] 和 objc_msgSend() 函数之间有什么关系?》曾提到过 objc_msgSend 在“消息传递”中的作用。在“消息传递”过程中,objc_msgSend 的动作比较清晰:首先在 Class 中的缓存查找 IMP (没缓存则初始化缓存),如果没找到,则向父类的 Class 查找。如果一直查找到根类仍旧没有实现,则用 _objc_msgForward 函数指针代替 IMP 。最后,执行这个 IMP 。


Objective-C运行时是开源的,所以我们可以看到它的实现。打开Apple Open Source 里Mac代码里的obj包下载一个最新版本,找到 objc-runtime-new.mm,进入之后搜索 _objc_msgForward。


image


里面有对 _objc_msgForward 的功能解释


image

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
/***********************************************************************
* lookUpImpOrForward.
* The standard IMP lookup.
* initialize==NO tries to avoid +initialize (but sometimes fails)
* cache==NO skips optimistic unlocked lookup (but uses cache elsewhere)
* Most callers should use initialize==YES and cache==YES.
* inst is an instance of cls or a subclass thereof, or nil if none is known.
* If cls is an un-initialized metaclass then a non-nil inst is faster.
* May return _objc_msgForward_impcache. IMPs destined for external use
* must be converted to _objc_msgForward or _objc_msgForward_stret.
* If you don't want forwarding at all, use lookUpImpOrNil() instead.
**********************************************************************/
IMP lookUpImpOrForward(Class cls, SEL sel, id inst, bool initialize, bool cache, bool resolver)
{

}

对 objc-runtime-new.mm文件里与_objc_msgForward有关的三个函数使用伪代码展示下

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
//  objc-runtime-new.mm 文件里与 _objc_msgForward 有关的三个函数使用伪代码展示
// 同时,这也是 obj_msgSend 的实现过程

id objc_msgSend(id self, SEL op, ...) {
if (!self) return nil;
IMP imp = class_getMethodImplementation(self->isa, SEL op);
imp(self, op, ...); //调用这个函数,伪代码...
}

//查找IMP
IMP class_getMethodImplementation(Class cls, SEL sel) {
if (!cls || !sel) return nil;
IMP imp = lookUpImpOrNil(cls, sel);
if (!imp) return _objc_msgForward; //_objc_msgForward 用于消息转发
return imp;
}

IMP lookUpImpOrNil(Class cls, SEL sel) {
if (!cls->initialize()) {
_class_initialize(cls);
}

Class curClass = cls;
IMP imp = nil;
do { //先查缓存,缓存没有时重建,仍旧没有则向父类查询
if (!curClass) break;
if (!curClass->cache) fill_cache(cls, curClass);
imp = cache_getImp(curClass, sel);
if (imp) break;
} while (curClass = curClass->superclass);

return imp;
}

虽然Apple没有公开_objc_msgForward的实现源码,但是我们还是能得出结论:

_objc_msgForward是一个函数指针(和 IMP 的类型一样),是用于消息转发的:当向一个对象发送一条消息,但它并没有实现的时候,_objc_msgForward会尝试做消息转发。


为了展示消息转发的具体动作,这里尝试向一个对象发送一条错误的消息,并查看一下 _objc_msgForward 是如何进行转发的。


首先开启调试模式、打印出所有运行时发送的消息,可以在代码里执行下面的方法:

1
(void)instrumentObjcMessageSends(YES);

或者断点暂停程序运行,并在 gdb 中输入下面的命令:

1
call (void)instrumentObjcMessageSends(YES)

以第二种为例,操作如下所示:


image


之后,运行时发送的所有消息都会打印到/tmp/msgSend-xxxx文件里了。


终端中输入命令前往:

1
open /private/tmp

image


可能看到有多条,找到最新生成的,双击打开


在模拟器上执行执行以下语句(这一套调试方案仅适用于模拟器,真机不可用,关于该调试方案的拓展链接:Can the messages sent to an object in Objective-C be monitored or printed out?),向一个对象发送一条错误的消息:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//
// main.m
// CYLObjcMsgForwardTest

#import <UIKit/UIKit.h>
#import "AppDelegate.h"
#import "CYLTest.h"

int main(int argc, char * argv[]) {
@autoreleasepool {
CYLTest *test = [[CYLTest alloc] init];
[test performSelector:(@selector(iOS程序犭袁))];
return UIApplicationMain(argc, argv, nil, NSStringFromClass([AppDelegate class]));
}
}

image


你可以在/tmp/msgSend-xxxx(我这一次是/tmp/msgSend-9805)文件里,看到打印出来


image

1
2
3
4
5
6
7
8
9
10
11
12
13
14
+ CYLTest NSObject initialize
+ CYLTest NSObject alloc
- CYLTest NSObject init
- CYLTest NSObject performSelector:
+ CYLTest NSObject resolveInstanceMethod:
+ CYLTest NSObject resolveInstanceMethod:
- CYLTest NSObject forwardingTargetForSelector:
- CYLTest NSObject forwardingTargetForSelector:
- CYLTest NSObject methodSignatureForSelector:
- CYLTest NSObject methodSignatureForSelector:
- CYLTest NSObject class
- CYLTest NSObject doesNotRecognizeSelector:
- CYLTest NSObject doesNotRecognizeSelector:
- CYLTest NSObject class

结合NSObject官方文档,排除掉 NSObject 做的事,剩下的就是 _objc_msgForward 消息转发做的几件事:

  1. 调用resolveInstanceMethod:方法 (或 resolveClassMethod:)。允许用户在此时为该 Class 动态添加实现。如果有实现了,则调用并返回YES,那么重新开始objc_msgSend流程。这一次对象会响应这个选择器,一般是因为它已经调用过class_addMethod。如果仍没实现,继续下面的动作。

  2. 调用forwardingTargetForSelector:方法,尝试找到一个能响应该消息的对象。如果获取到,则直接把消息转发给它,返回非 nil 对象。否则返回 nil ,继续下面的动作。注意,这里不要返回 self ,否则会形成死循环。

  3. 调用methodSignatureForSelector:方法,尝试获得一个方法签名。如果获取不到,则直接调用doesNotRecognizeSelector抛出异常。如果能获取,则返回非nil:创建一个 NSlnvocation 并传给forwardInvocation:。

  4. 调用forwardInvocation:方法,将第3步获取到的方法签名包装成 Invocation 传入,如何处理就在这里面了,并返回非nil。

  5. 调用doesNotRecognizeSelector: ,默认的实现是抛出异常。如果第3步没能获得一个方法签名,执行该步骤。

上面前4个方法均是模板方法,开发者可以override,由 runtime 来调用。最常见的实现消息转发:就是重写方法3和4,吞掉一个消息或者代理给其他对象都是没问题的


也就是说_objc_msgForward在进行消息转发的过程中会涉及以下这几个方法

  1. resolveInstanceMethod:方法 (或 resolveClassMethod:)。

  2. forwardingTargetForSelector:方法

  3. methodSignatureForSelector:方法

  4. forwardInvocation:方法

  5. doesNotRecognizeSelector: 方法

下面回到问题“直接_objc_msgForward调用它将会发生什么?”


直接调用_objc_msgForward是非常危险的事,如果用不好会直接导致程序Crash,但是如果用得好,能做很多非常酷的事。


正如前文所说:_objc_msgForward 是 IMP 类型,用于消息转发的:当向一个对象发送一条消息,但它并没有实现的时候,_objc_msgForward 会尝试做消息转发。


如何调用_objc_msgForward? _objc_msgForward隶属 C 语言,有三个参数 :

_objc_msgForward参数 类型
1. 所属对象 id类型
2. 方法名 SEL类型
3. 可变参数 可变参数类型


首先了解下如何调用 IMP 类型的方法,IMP类型是如下格式:

1
typedef void (*voidIMP)(id, SEL, ...)

一旦调用_objc_msgForward,将跳过查找 IMP 的过程,直接触发“消息转发”,


如果调用了_objc_msgForward,即使这个对象确实已经实现了这个方法,你也会告诉objc_msgSend:“我没有在这个对象里找到这个方法的实现”


有哪些场景需要直接调用_objc_msgForward?最常见的场景是:你想获取某方法所对应的NSInvocation对象。举例说明:JSPatch (Github 链接)就是直接调用_objc_msgForward来实现其核心功能的。


JSPatch 以小巧的体积做到了让JS调用/替换任意OC方法,让iOS APP具备热更新的能力。


作者的博文《JSPatch实现原理详解》详细记录了实现原理,有兴趣可以看下。

能否向编译后得到的类中增加实例变量?能否向运行时创建的类中添加实例变量?为什么?
  • 不能向编译后得到的类中增加实例变量;
  • 能向运行时创建的类中添加实例变量;

解释如下:

  • 因为编译后的类已经注册在 runtime 中,类结构体中的 objc_ivar_list 实例变量的链表 和 instance_size 实例变量的内存大小已经确定,同时runtime 会调用 class_setIvarLayout 或 class_setWeakIvarLayout 来处理 strong weak 引用。所以不能向存在的类中添加实例变量;
  • 运行时创建的类是可以添加实例变量,调用 class_addIvar 函数。但是得在调用 objc_allocateClassPair 之后,objc_registerClassPair 之前,原因同上。
IBOutlet连出来的视图属性为什么可以被设置成weak?

参考链接:Should IBOutlets be strong or weak under ARC?


文章告诉我们:因为既然有外链那么视图在xib或者storyboard中肯定存在,视图已经对它有一个强引用了。


不过这个回答漏了个重要知识,使用storyboard(xib不行)创建的vc,会有一个叫_topLevelObjectsToKeepAliveFromStoryboard的私有数组强引用所有top level的对象,所以这时即便outlet声明成weak也没关系(?)

IB中User Defined Runtime Attributes如何使用?

它能够通过KVC的方式配置一些你在interface builder 中不能配置的属性。当你希望在IB中作尽可能多得事情,这个特性能够帮助你编写更加轻量级的 viewcontroller, 如下图:
image

Block

使用block时什么情况会发生引用循环,如何解决?

一个对象中强引用了block,在block中又使用了该对象,就会发射循环引用。
解决方法是将该对象使用 weak 或者 block 修饰符修饰之后再在block中使用。

1
#define WEAKSELF __weak __typeof(&*self)weakSelf = self;

或者

1
id __block weakSelf = self;

在block内如何修改block外部变量?

默认情况下,在block中访问的外部变量是复制过去的,即:写操作不对原变量生效。但是你可以加上 __block 来让其写操作生效,示例代码如下:

1
2
3
4
5
6
__block int a = 0;
void (^foo)(void) = ^{
a = 1;
}
f00();
//这里,a的值被修改为1

使用系统的某些block api(如UIView的block版本写动画时),是否也考虑引用循环问题?

系统的某些block api中,UIView的block版本写动画时不需要考虑,但也有一些api 需要考虑:


所谓“引用循环”是指双向的强引用,所以那些“单向的强引用”(block 强引用 self )没有问题,比如这些:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
[UIView animateWithDuration:duration animations:^{ 
[self.superview layoutIfNeeded];
}];

[[NSOperationQueue mainQueue] addOperationWithBlock:^{
self.someProperty = xyz;
}];

[[NSNotificationCenter defaultCenter] addObserverForName:@"someNotification"
object:nil
queue:[NSOperationQueue mainQueue]
usingBlock:^(NSNotification * notification) {
self.someProperty = xyz;
}];

显然上面的例子都是单向强引用,这些情况不需要考虑“引用循环”。


但如果你使用一些参数中可能含有 ivar 的系统 api ,如 GCD 、NSNotificationCenter就要小心一点:比如GCD 内部如果引用了 self,而且 GCD 的其他参数是 ivar,则要考虑到循环引用:

1
2
3
4
5
6
__weak __typeof__(self) weakSelf = self; 
dispatch_group_async(_operationsGroup, _operationsQueue, ^ {
__typeof__(self) strongSelf = weakSelf;
[strongSelf doSomething];
[strongSelf doSomethingElse];
} );

_operationsQueue 会强引用 block,加入 block 中仍然之间使用 self,而 _operationQueue 是 iVar,于是会形成强引用循环圈。


类似的:

1
2
3
4
5
6
7
8
__weak __typeof__(self) weakSelf = self;
_observer = [[NSNotificationCenter defaultCenter] addObserverForName:@"testKey"
object:nil
queue:nil
usingBlock:^(NSNotification *note) {
__typeof__(self) strongSelf = weakSelf;
[strongSelf dismissModalViewControllerAnimated:YES];
}];

self -> _observer -> block -> self 显然这也是一个循环引用。

内存

objc使用什么机制管理对象内存?

通过 retainCount 的机制来决定对象是否需要释放。
每次 runloop 的时候,都会检查对象的 retainCount,如果retainCount 为 0,说明该对象没有地方需要继续使用了,可以释放掉了。

ARC通过什么方式帮助开发者管理内存?

ARC相对于MRC,不是在编译时添加 retain/release/autorelease这么简单。应该是编译期和运行期两部分共同帮助开发者管理内存。


在编译期,ARC用的是更底层的C接口实现的 retain/release/autorelease,这样做性能更好,也是为什么不能在ARC环境下手动 retain/release/autorelease,同时对同一上下文的同一对象的成对 retain/release 操作进行优化(即忽略掉不必要的操作);ARC也包含运行期组件,这个地方做的优化比较复杂,但也不能被忽略。

不手动指定autoreleasepool的前提下,一个autorealese对象在什么时刻释放?(比如在一个vc的viewDidLoad中创建)

分两种情况:手动干预释放时机、系统自动去释放:

  1. 手动干预释放时机–指定autoreleasepool。就是所谓的:当前作用域大括号结束时释放。
  2. 系统自动去释放–不手动指定autoreleasepool

Autorelease对象出了作用域之后,会被添加到最近一次创建的自动释放池中,并会在当前的 runloop 迭代结束时释放。


释放的时机总结起来,可以用下图来表示:


image


下面对这张图进行详细的解释:


从程序启动到加载完成是一个完整的运行循环,然后会停下来,等待用户交互,用户的每一次交互都会启动一次运行循环,来处理用户所有的点击事件、触摸事件。


我们都是知道:所有 autorelease 的对象,在出了作用域之后,会被自动添加到最近创建的自动释放池中。


但是如果每次都放进应用程序的 main.m 中的 autoreleasepool 中,迟早有被撑满的一刻。这个过程中必定有一个释放的动作。何时?


在一次完整的运行循环结束之前,会被销毁。


那什么时间会创建自动释放池?运行循环检测到事件并启动后,就会创建自动释放池。


子线程的 runloop 默认是不工作,无法主动创建,必须手动创建。(?)


自定义的 NSOperation 和 NSThread 需要手动创建自动释放池。比如: 自定义的 NSOperation 类中的 main 方法里就必须添加自动释放池。否则出了作用域后,自动释放对象会因为没有自动释放池去处理它,而造成内存泄露。


但对于 blockOperation 和 invocationOperation 这种默认的Operation ,系统已经帮我们封装好了,不需要手动创建自动释放池。


@autoreleasepool 当自动释放池被销毁或者耗尽时,会向自动释放池中的所有对象发送 release 消息,释放自动释放池中的所有对象。因为 viewDidLoad 和 viewWillAppear 是在同一个 runloop 调用的,而 viewDidAppear 是在之后的某个 runloop 调用的。


参考链接:《黑幕背后的Autorelease》

BAD_ACCESS在什么情况下出现?
  1. 访问了野指针,比如对一个已经释放的对象执行了release、访问已经释放对象的成员变量或者发消息
  2. 死循环
苹果是如何实现autoreleasepool的?

autoReleasePool 以一个队列数组的形式实现,主要通过下列三个函数完成.

  1. objc_autoreleasepoolPush
  2. objc_autoreleasepoolPop
  3. objc_autorelease

看函数名就可以知道,对 autorelease 分别执行 push,和 pop 操作。销毁对象时执行release操作。(?)

Runloop

Runloop和线程有什么关系?

总的说来,Run loop,正如其名,loop表示某种循环,和run放在一起就表示一直在运行着的循环。实际上,run loop 和线程是紧密相连的,可以这样说 run loop 是为了线程而生,没有线程,它就没有存在的必要。Run loop 是线程的基础架构部分, Cocoa 和 CoreFundation 都提供了 run loop 对象方便配置和管理线程的 run loop (以下都以 Cocoa 为例)。每个线程,包括程序的主线程(main thread)都有与之相应的 run loop 对象。


Ruloop 和线程的关系:


1.主线程的run loop默认是启动的。


iOS的应用程序里面,程序启动后会有一个如下的main()函数

1
2
3
4
5
int main(int argc, char * argv[]) {
@autoreleasepool {
return UIApplicationMain(argc, argv, nil, NSStringFromClass([AppDelegate class]));
}
}

重点是 UIApplicationMain() 函数,这个方法会 为main thread 设置一个 NSRunLoop 对象,这就解释了:为什么我们的应用可以在无人操作的时候休息,需要让它干活的时候又能立马响应。


2.对其它线程来说,run loop默认是没有启动的,如果你需要更多的线程交互则可以手动配置和启动,如果线程只是去执行一个长时间的已确定的任务则不需要。


3.在任何一个 Cocoa 程序的线程中,都可以通过以下代码来获取到当前线程的 run loop 。

1
NSRunLoop *runloop = [NSRunLoop currentRunLoop];

参考链接:《Objective-C之run loop详解》

Runloop的mode作用是什么?

model 主要是用来指定事件在运行循环中的优先级的,分为:

  • NSDefaultRunLoopMode(kCFRunLoopDefaultMode):默认,空闲状态
  • UITrackingRunLoopMode:ScrollView滑动时
  • UIInitializationRunLoopMode:启动时
  • NSRunLoopCommonModes(kCFRunLoopCommonModes):Mode集合

苹果公开提供的 Mode 有两个:

  1. NSDefaultRunLoopMode(kCFRunLoopDefaultMode)
  2. NSRunLoopCommonModes(kCFRunLoopCommonModes)(?)
猜想runloop内部是如何实现的?

一般来讲,一个线程一次只能执行一个任务,执行完成后线程就会退出。如果我们需要一个机制,让线程能随时处理事件但并不退出,通常的代码逻辑
是这样的:

1
2
3
4
5
6
7
function loop() {
initialize();
do {
var message = get_next_message();
process_message(message);
} while (message != quit);
}

或使用伪代码来展示下:

1
2
3
4
5
6
7
8
9
10
11
12
int main(int argc, char * argv[]) {
//程序一直运行状态
while (AppIsRunning) {
//睡眠状态,等待唤醒事件
id whoWakesMe = SleepForWakingUp();
//得到唤醒事件
id event = GetEvent(whoWakesMe);
//开始处理事件
HandleEvent(event);
}
return 0;
}

参考链接:

  1. 《深入理解RunLoop》
  2. 摘自博文CFRunLoop,原作者是微博@我就叫Sunny怎么了
+ scheduledTimerWithTimeInterval… 的方式触发的timer,在滑动页面上的列表时,timer 会暂停回调,为什么?如何解决?

RunLoop 只能运行在一种 mode下,如果要换 mode,当前的 loop 也需要停下重启成新的。利用这个机制,ScrollView 滚动过程中 NSDefaultRunLoopMode(kCFRunLoopDefaultMode)的mode会切换到 UITrackingRunLoopMode 来保证 ScrollView 的流畅滑动:只能在 NSDefaultRunLoopMode 模式下处理的事件会影响 scrollView 的滑动。


如果我们把一个 NSTimer 对象以 NSDefaultRunLoopMode(kCFRunLoopDefaultMode)添加到主运行循环中的时候,
ScrollView 滚动过程中会因为 mode 的切换,而导致NSTimer将不再被调度。


同时因为mode还是可定制的,所以:


Timer 计时会被 scrollView 的滑动影响的问题可以通过将 timer 添加到 NSRunLoopCommonModes(kCFRunLoopCommonModes)来解决。代码如下:(?)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//将timer添加到NSDefaultRunLoopMode中
[NSTimer scheduledTimerWithTimeInterval:1.0
target:self
selector:@selector(timerTick:)
userInfo:nil
repeats:YES];

//然后再添加到NSRunLoopCommonModes里
NSTimer *timer = [NSTimer timerWithTimeInterval:1.0
target:self
selector:@selector(timerTick:)
userInfo:nil
repeats:YES];

[[NSRunLoop currentRunLoop] addTimer:timer forMode:NSRunLoopCommonModes];

KVO

addObserver:forKeyPath:options:context:各个参数的作用分别是什么,observer中需要实现哪个方法才能获得KVO回调?
1
2
3
4
5
6
7
8
9
10
11
// 添加键值观察
//
//1. 观察者,负责处理监听事件的对象
//2. 观察的属性
//3. 观察的选项
//4. 上下文

[self.person addObserver:self
forKeyPath:@"name"
options:NSKeyValueObservingOptionNew | NSKeyValueObservingOptionOld
context:@"Person Name"];

observer中需要实现一下方法:

1
2
3
4
5
6
7
8
9
10
11
// 所有的 kvo 监听到事件,都会调用此方法
//
//1. 观察的属性
//2. 观察的对象
//3. change 属性变化字典(新/旧)
//4. 上下文,与监听的时候传递的一致

- (void)observeValueForKeyPath:(NSString *)keyPath
ofObject:(id)object
change:(NSDictionary *)change
context:(void *)context;

如何手动触发一个 value 的 KVO

所谓的“手动触发”是区别于“自动触发”:


自动触发是指类似这种场景:在注册 KVO 之前设置一个初始值,注册之后,设置一个不一样的值,就可以触发了。


想知道如何手动触发,必须知道自动触发 KVO 的原理:


键值观察通知依赖于 NSObject 的两个方法: willChangeValueForKey: 和 didChangevlueForKey: 。在一个被观察属性发生改变之前, willChangeValueForKey: 一定会被调用,这就
会记录旧的值。而当改变发生后, didChangeValueForKey: 会被调用,继而 observeValueForKey:ofObject:change:context: 也会被调用。如果可以手动实现这些调用,就可以实现“手动触发”了。


那么“手动触发”的使用场景是什么?一般我们只在希望能控制“回调的调用时机”时才会这么做。


具体做法如下:


如果这个 value 是 表示时间的 self.now ,那么代码如下:最后两行代码缺一不可。

1
2
3
4
5
6
7
8
9
10
// .m文件
// 手动触发 value 的KVO,最后两行代码缺一不可。

//@property (nonatomic, strong) NSDate *now;
- (void)viewDidLoad
{
[super viewDidLoad];
[self willChangeValueForKey:@”now”]; // “手动触发self.now的KVO”,必写。
[self didChangeValueForKey:@”now”]; // “手动触发self.now的KVO”,必写。
}

但是平时我们一般不会这么干,我们都是等系统去“自动触发”。“自动触发”的实现原理:

比如调用 setNow: 时,系统还会以某种方式在中间插入 wilChangeValueForKey: 、 didChangeValueForKey: 和 observeValueForKeyPath:ofObject:change:context: 的调用。


大家可能以为这是因为 setNow: 是合成方法,有时候我们也能看到人们这么写代码:

1
2
3
4
5
6
- (void)setNow:(NSDate *)aDate 
{
[self willChangeValueForKey:@"now"]; // 没有必要
_now = aDate;
[self didChangeValueForKey:@"now"];// 没有必要
}

这是完全没有必要的代码,不要这么做,这样的话,KVO代码会被调用两次。KVO在调用存取方法之前总是调用 willChangeValueForKey: ,之后总是调用 didChangeValueForkey: 。怎么做到的呢?答案是通过 isa 混写(isa-swizzling)。下文《apple用什么方式实现对一个对象的KVO?》会有详述。

若一个类有实例变量 NSString *_foo ,调用setValue:forKey:时,可以以 foo 还是 _foo 作为 key?

都可以。

KVC 的 keyPath 中的集合运算符如何使用?
  1. 必须用在集合对象上或普通对象的集合属性上
  2. 简单集合运算符有@avg, @count , @max , @min ,@sum,
  3. 格式 @”@sum.age” 或 @”集合属性.@max.age”(?)
KVC和KVO的keyPath一定是属性么?

KVO支持实例变量

如何关闭默认的KVO的默认实现,并进入自定义的KVO实现?

请参考:《如何自己动手实现 KVO》

apple用什么方式实现对一个对象的KVO?

Apple 的文档对 KVO 实现的描述:

Automatic key-value observing is implemented using a technique called isa-swizzling… When an observer is registered for an attribute of an object the isa pointer of the observed object is modified, pointing to an intermediate class rather than at the true class …
自动 KVO 是利用一种叫做 isa 混写的技术来实现的。当一个对象被注册为观察者,被观察对象的 isa 指针就会被修改,指向一个中间类,而不是原本的类。


可以看出,Apple 并不希望过多暴露 KVO 的实现细节。不过,要是借助 runtime 提供的方法去深入挖掘,所有被掩盖的细节都会原形毕露:

当你观察一个对象时,一个新的类会被动态创建。这个类继承自该对象的原本的类,并重写了被观察属性的 setter 方法。重写的 setter 方法会负责在调用原 setter 方法之前和之后,通知所有观察对象:值的更改。最后通过 isa 混写(isa-swizzling) 把这个对象的 isa 指针 ( isa 指针告诉 Runtime 系统这个对象的类是什么 ) 指向这个新创建的子类,对象就神奇的变成了新创建的子类的实例。原作者画了一张示意图,如下所示:


image


KVO 确实有点黑魔法:Apple 使用了 isa 混写(isa-swizzling)来实现 KVO 。


下面做下详细解释:
键值观察通知依赖于 NSObject 的两个方法: willChangeValueForKey:didChangevlueForKey: 。在一个被观察属性发生改变之前, willChangeValueForKey: 一定会被调用,这就会记录旧的值。而当改变发生后, didChangeValueForKey: 会被调用,继而 observeValueForKey:ofObject:change:context: 也会被调用。可以手动实现这些调用,但很少有人这么做。一般我们只在希望能控制回调的调用时机时才会这么做。大部分情况下,改变通知会自动调用。


比如调用 setNow: 时,系统还会以某种方式在中间插入 wilChangeValueForKey:didChangeValueForKey:observeValueForKeyPath:ofObject:change:context: 的调用。大家可能以为这是因为 setNow: 是合成方法,有时候我们也能看到人们这么写代码:

1
2
3
4
5
6
- (void)setNow:(NSDate *)aDate 
{
[self willChangeValueForKey:@"now"]; // 没有必要
_now = aDate;
[self didChangeValueForKey:@"now"];// 没有必要
}

这是完全没有必要的代码,不要这么做,这样的话,KVO 代码会被调用两次。KVO 在调用存取方法之前总是调用 willChangeValueForKey: ,之后总是调用 didChangeValueForkey: 。怎么做到的呢?答案是通过 isa 混写(isa-swizzling)。第一次对一个对象调用 addObserver:forKeyPath:options:context: 时,框架会创建这个类的新的 KVO 子类,并将被观察对象转换为新子类的对象。在这个 KVO 特殊子类中, Cocoa 创建观察属性的 setter ,大致工作原理如下:

1
2
3
4
5
6
- (void)setNow:(NSDate *)aDate 
{
[self willChangeValueForKey:@"now"];
[super setValue:aDate forKey:@"now"];
[self didChangeValueForKey:@"now"];
}

这种继承和方法注入是在运行时而不是编译时实现的。这就是正确命名如此重要的原因。只有在使用KVC命名约定时,KVO才能做到这一点。


KVO 在实现中通过 isa 混写(isa-swizzling) 把这个对象的 isa 指针 ( isa 指针告诉 Runtime 系统这个对象的类是什么 ) 指向这个新创建的子类,对象就神奇的变成了新创建的子类的实例。这在本题一开始列举的 Apple 文档可以看出。


然而 KVO 在实现中使用了 isa 混写( isa-swizzling) ,这个的确不是很容易发现:Apple 还重写、覆盖了 -class 方法并返回原来的类。 企图欺骗我们:这个类没有变,就是原本那个类。。。


但是,假设“被监听的对象”的类对象是 MYClass ,有时候我们能看到对 NSKVONotifying_MYClass 的引用而不是对 MYClass 的引用。借此我们得以知道 Apple 使用了 isa 混写(isa-swizzling)。具体探究过程可参考 这篇博文

GCD

GCD的队列(dispatch_queue_t)分哪两种类型?
  1. 串行队列Serial Dispatch Queue
  2. 并行队列Concurrent Dispatch Queue
    详情可见Pandara 的这篇 blog
如何用GCD同步若干个异步调用?(如根据若干个url异步加载多张图片,然后在都下载完成后合成一张整图)

使用Dispatch Group追加block到Global Group Queue,这些block如果全部执行完毕,就会执行Main Dispatch Queue中的结束处理的block。

1
2
3
4
5
6
7
8
dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
dispatch_group_t group = dispatch_group_create();
dispatch_group_async(group, queue, ^{ /*加载图片1 */ });
dispatch_group_async(group, queue, ^{ /*加载图片2 */ });
dispatch_group_async(group, queue, ^{ /*加载图片3 */ });
dispatch_group_notify(group, dispatch_get_main_queue(), ^{
// 合并图片
});

dispatch_barrier_async的作用是什么?

在并行队列中,为了保持某些任务的顺序,需要等待一些任务完成后才能继续进行,使用 barrier 来等待之前任务完成,避免数据竞争等问题。
dispatch_barrier_async 函数会等待追加到Concurrent Dispatch Queue并行队列中的操作全部执行完之后,然后再执行 dispatch_barrier_async 函数追加的处理,等 dispatch_barrier_async 追加的处理执行结束之后,Concurrent Dispatch Queue才恢复之前的动作继续执行。


打个比方:比如你们公司周末跟团旅游,高速休息站上,司机说:大家都去上厕所,速战速决,上完厕所就上高速。超大的公共厕所,大家同时去,程序猿很快就结束了,但程序媛就可能会慢一些,即使你第一个回来,司机也不会出发,司机要等待所有人都回来后,才能出发。 dispatch_barrier_async 函数追加的内容就如同 “上完厕所就上高速”这个动作。


(注意:使用 dispatch_barrier_async ,该函数只能搭配自定义并行队列 dispatch_queue_t 使用。不能使用: dispatch_get_global_queue ,否则 dispatch_barrier_async 的作用会和 dispatch_async 的作用一模一样。 )

苹果为什么要废弃dispatch_get_current_queue?

dispatch_get_current_queue容易造成死锁:将当前队列传入 dispatch_sync 或者 dispatch_sync_f 中时。因为这两个函数在将任务提交到队列中后,要等到任务执行完毕才能返回。而当前队列因为 dispatch_sync(_f)而卡住,于是谁都动弹不得,发生死锁。详情可见Pandara 的这篇 blog

以下代码运行结果如何?
1
2
3
4
5
6
7
8
9
- (void)viewDidLoad
{
[super viewDidLoad];
NSLog(@"1");
dispatch_sync(dispatch_get_main_queue(), ^{
NSLog(@"2");
});
NSLog(@"3");
}

只输出:1 。发生主线程锁死:由于 viewDidLoad 这类跟 UI 有关的操作是在主线程中发生的,所以将主线程传入 dispatch_sync 就会发生上题所说的情况。


调试

如何调试BAD_ACCESS错误
  1. 重写object的respondsToSelector方法,现实出现EXEC_BAD_ACCESS前访问的最后一个object
  2. 通过 Zombie
  3. 设置全局断点快速定位问题代码所在行
  4. Xcode 7 已经集成了BAD_ACCESS捕获功能:Address Sanitizer。
lldb(gdb)常用的调试命令?
  • breakpoint 设置断点定位到某一个函数
  • n 断点指针下一步
  • po打印对象

更多 lldb(gdb) 调试命令可查看

  1. The LLDB Debugger
  2. 苹果官方文档:iOS Debugging Magic



以上