performSelector may cause a leak because its selector is unknown解决

单纯消除 warning:

LLVM 3.0 编译器可以用以下代码消除 warning:

#pragmaclang diagnostic push#pragmaclang diagnostic ignored"-Warc-performSelector-leaks"[self.ticketTarget performSelector: self.ticketAction withObject: self];#pragmaclang 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]);

答案:

if(!_controller) {return; }SEL selector =NSSelectorFromString(@"someMethod");IMP imp = [_controller methodForSelector:selector];void(*func)(id, SEL) = (void*)imp;func(_controller, selector);

代码解释

这一堆代码在做的事情其实是,向 controller 请求那个方法对应的 C 函数指针。所有的NSObject都能响应methodForSelector:这个方法,不过也可以用 Objective-C runtime 里的class_getMethodImplementation(只在 protocol 的情况下有用,id这样的)。这种函数指针叫做IMP,就是typedef过的函数指针(id (*IMP)(id, SEL, ...)[1])。它跟方法签名(signature)比较像,虽然可能不是完全一样。

得到IMP之后,还需要进行转换,转换后的函数指针包含 ARC 所需的那些细节(比如每个 OC 方法调用都有的两个隐藏参数self和_cmd)。这就是代码第 4 行干的事(右边的那个(void *)只是告诉编译器,不用报类型强转的 warning)。

更复杂的例子

如果 selector 接收参数,或者有返回值,代码就需要改改:

SEL selector =NSSelectorFromString(@"processRegion:ofView:");IMP imp = [_controller methodForSelector:selector];CGRect(*func)(id, SEL,CGRect,UIView*) = (void*)imp;CGRectresult = _controller ?  func(_controller, selector, someRect, someView) :CGRectZero;

为什么会有这个 warning

原因是这样的:我们在 ARC 下调一个方法,runtime 需要知道对于返回值该怎么办。返回值可能有各种类型:void,int,char,NSString *,id等等。ARC 一般是根据返回值的头文件来决定该怎么办的,一共有以下 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 的全部信息,不需要默认任何事情

所有的 Objective-C 方法都有两个隐藏的参数,self和_cmd,调用时自动加的。↩

在 C 里调用NULL方法是不安全的。而if (!_controller) { return; }这一句保证controller不为空,所以我们一定能从methodForSelector:得到一个IMP(虽然可能只是_objc_msgForward,进入消息转发系统)。基本上,有了这行检查,就能保证我们有方法可调。↩

实际上,如果返回值的类型是id,而你又没 import 对应的头文件,它是有可能做出错误处理的。有可能会 crash 在一块编译器以为安全的代码里。这种情况很罕见,但还是有发生的可能。一般来说,如果编译器不知道该选哪个方法签名,它会报一个 warning 的。↩

更多细节请参考 ARC 的文档retain 返回值和不 retain 返回值。

2.使用宏忽略警告

#define SuppressPerformSelectorLeakWarning(Stuff) \

do { \

_Pragma("clang diagnostic push") \

_Pragma("clang diagnostic ignored \"-Warc-performSelector-leaks\"") \

Stuff; \

_Pragma("clang diagnostic pop") \

} while (0)

在产生警告也就是 performSelector 的地方用使用该宏,如

SuppressPerformSelectorLeakWarning(

[_target performSelector:_action withObject:self]

);

如果需要 performSelector 返回值的话,

id result;

SuppressPerformSelectorLeakWarning(

result = [_target performSelector:_action withObject:self]

);

你可能感兴趣的:(performSelector may cause a leak because its selector is unknown解决)