[爆栈热门 iOS 问题] performSelector ma
系列文集:爆栈热门 iOS 问题。目录在此。仓薯翻译,欢迎指正:)
问题
我在 ARC 模式下编译出了这个 warning:
"performSelector may cause a leak because its selector is unknown".
我的代码是这么写的:
[_controller performSelector:NSSelectorFromString(@"someMethod")];
为什么会有这个 warning 呢?我知道编译器无法检查实际上有没有这个 selector,不过这为什么会造成内存泄漏呢?代码应该怎么改才能消除这个 warning?
答案
答案1:单纯消除 warning
Scott Thompson,1100 票
LLVM 3.0 编译器可以用以下代码消除 warning:
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Warc-performSelector-leaks" [self.ticketTarget performSelector: self.ticketAction withObject: self];
#pragma clang diagnostic pop
如果在多个地方都要用,可以定义一个宏:
#define SuppressPerformSelectorLeakWarning(Stuff) \
do { \
_Pragma("clang diagnostic push") \
_Pragma("clang diagnostic ignored \"-Warc-performSelector-leaks\"") \
Stuff; \
_Pragma("clang diagnostic pop") \
} while (0)
用的时候:
SuppressPerformSelectorLeakWarning(
[_target performSelector:_action withObject:self]
);
如果需要返回值:
id result;
SuppressPerformSelectorLeakWarning(
result = [_target performSelector:_action withObject:self]
);
答案2:详细解释和正统解决
wbyoung,768 赞
解决方案
编译器报这个 warning 是有原因的,一般不应该直接忽略,而且消除这个 warning 并不难。如下即可:
if (!_controller) { return; }
SEL selector = NSSelectorFromString(@"someMethod");
IMP imp = [_controller methodForSelector:selector];
void (*func)(id, SEL) = (void *)imp;
func(_controller, selector);
或者写得紧密一些(不过可读性差一些,也少了类型检查):
SEL selector = NSSelectorFromString(@"someMethod");
((void (*)(id, SEL))[_controller methodForSelector:selector])(_controller, selector);
代码解释
这一堆代码在做的事情其实是,向 controller 请求那个方法对应的 C 函数指针。所有的NSObject
都能响应methodForSelector:
这个方法,不过也可以用 Objective-C runtime 里的class_getMethodImplementation
(只在 protocol 的情况下有用,id<SomeProto>
这样的)。这种函数指针叫做IMP
,就是typedef
过的函数指针(id (*IMP)(id, SEL, ...)
[1])。它跟方法签名(signature)比较像,虽然可能不是完全一样。
得到IMP
之后,还需要进行转换,转换后的函数指针包含 ARC 所需的那些细节(比如每个 OC 方法调用都有的两个隐藏参数self
和_cmd
)。这就是代码第 4 行干的事(右边的那个(void *)
只是告诉编译器,不用报类型强转的 warning)。
最后一步,调用函数指针[2]。
更复杂的例子
如果 selector 接收参数,或者有返回值,代码就需要改改:
SEL selector = NSSelectorFromString(@"processRegion:ofView:");
IMP imp = [_controller methodForSelector:selector];
CGRect (*func)(id, SEL, CGRect, UIView *) = (void *)imp;
CGRect result = _controller ?
func(_controller, selector, someRect, someView) : CGRectZero;
为什么会有这个 warning
原因是这样的:我们在 ARC 下调一个方法,runtime 需要知道对于返回值该怎么办。返回值可能有各种类型:void
,int
,char
,NSString *
,id
等等。ARC 一般是根据返回值的头文件来决定该怎么办的[3],一共有以下 4 种情况[4]:
- 直接忽略(如果是基本类型比如
void
,int
这样的)。 - 把返回值先 retain,等到用不到的时候再 release(最常见的情况)。
- 不 retain,等到用不到的时候直接 release(用于
init
、copy
这一类的方法,或者标注ns_returns_retained
的方法)。 - 什么也不做,默认返回值在返回前后是始终有效的(一直到最近的 release pool 结束为止,用于标注
ns_returns_autoreleased
的方法)。
而调performSelector:
的时候,系统会默认返回值并不是基本类型,但也不会 retain、release,也就是默认采取第 4 种做法。所以如果那个方法本来应该属于前 3 种情况,都有可能会造成内存泄漏。
对于返回void
或者基本类型的方法,就目前而言你可以忽略这个 warning,但这样做不一定安全。我看过 Clang 在处理返回值这块儿的几次迭代演进。一旦开着 ARC,编译器会觉得从performSelector:
返回的对象没理由不能 retain,不能 release。在编译器眼里,它就是个对象。所以,如果返回值是基本类型或者void
,编译器还是存在会 retain、release 它的可能,然后直接导致 crash。
带参数调用
类似地,performSelector:withObject:
也会报同一个 warning,因为不指明怎么处理参数也会有同样的问题。ARC 允许为方法参数标注consumed
,如果你调的方法有这种标注,最终可能导致把消息发给僵尸对象然后 crash。要解决这个问题可以用桥接(bridged casting),但是最好最简单的方法还是我上面写的用IMP
和函数指针的方法。不过给参数标 consumed 是比较少见的,所以这个问题也不容易发生。
静态 selector
有趣的是,下面这种静态声明的 selector 就不会出 warning:
[_controller performSelector:@selector(someMethod)];
原因是,这种情况下编译器就能在编译阶段得到关于这个 selector 的全部信息,不需要默认任何事情。
仓薯注:后面作者还写了点历史,我就没有翻译了,感兴趣请前往原文阅读。
原文地址:performSelector may cause a leak because its selector is unknown
系列文集:爆栈热门 iOS 问题
译者:@戴仓薯
-
所有的 Objective-C 方法都有两个隐藏的参数,
self
和_cmd
,调用时自动加的。 ↩ -
在 C 里调用
NULL
方法是不安全的。而if (!_controller) { return; }
这一句保证controller
不为空,所以我们一定能从methodForSelector:
得到一个IMP
(虽然可能只是_objc_msgForward
,进入消息转发系统)。基本上,有了这行检查,就能保证我们有方法可调。 ↩ -
实际上,如果返回值的类型是
id
,而你又没 import 对应的头文件,它是有可能做出错误处理的。有可能会 crash 在一块编译器以为安全的代码里。这种情况很罕见,但还是有发生的可能。一般来说,如果编译器不知道该选哪个方法签名,它会报一个 warning 的。 ↩ -
更多细节请参考 ARC 的文档 retain 返回值 和 不 retain 返回值。 ↩