提问人:Eduardo Scoz 提问时间:8/11/2011 最后编辑:James WebsterEduardo Scoz 更新时间:10/20/2021 访问量:190293
performSelector 可能会导致泄漏,因为它的选择器未知
performSelector may cause a leak because its selector is unknown
问:
ARC编译器向我发出以下警告:
"performSelector may cause a leak because its selector is unknown".
这是我正在做的:
[_controller performSelector:NSSelectorFromString(@"someMethod")];
为什么我会收到此警告?我知道编译器无法检查选择器是否存在,但为什么会导致泄漏?我怎样才能改变我的代码,这样我就不会再收到这个警告了?
答:
我对此的猜测是这样的:由于编译器不知道选择器,ARC 无法强制执行正确的内存管理。
事实上,有时内存管理通过特定约定与方法名称相关联。具体来说,我正在考虑便利构造函数与 make 方法;前者按惯例返回自动释放的对象;后者是保留对象。该约定基于选择器的名称,因此,如果编译器不知道选择器,则无法强制执行正确的内存管理规则。
如果这是正确的,我认为您可以安全地使用您的代码,前提是您确保内存管理一切正常(例如,您的方法不会返回它们分配的对象)。
评论
__attribute
SEL
在编译器允许覆盖警告之前,作为解决方法,您可以使用运行时。
您需要标头:
#import <objc/message.h>
然后尝试以下操作:
// For strict compilers.
((id(*)(id,SEL))objc_msgSend)(_controller, sel_getUid("someMethod"));
或
// Old answer's code:
objc_msgSend(_controller, NSSelectorFromString(@"someMethod"));
而不是:
[_controller performSelector:NSSelectorFromString(@"someMethod")];
评论
[_controller performSelector:NSSelectorFromString(@"someMethod")];
objc_msgSend(_controller, NSSelectorFromString(@"someMethod"));
在 Xcode 4.2 的 LLVM 3.0 编译器中,您可以按如下方式禁止显示警告:
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Warc-performSelector-leaks"
[self.ticketTarget performSelector: self.ticketAction withObject: self];
#pragma clang diagnostic pop
如果在多个位置收到错误,并且想要使用 C 宏系统来隐藏编译指示,则可以定义一个宏以更轻松地抑制警告:
#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]
);
评论
pop
push
if ([_target respondsToSelector:_selector]) {
在项目的 Build Settings 中,在 Other Warning Flags () 下,添加WARNING_CFLAGS
-Wno-arc-performSelector-leaks
现在,只需确保您正在调用的选择器不会导致您的对象被保留或复制。
评论
由于您使用的是 ARC,因此必须使用 iOS 4.0 或更高版本。这意味着您可以使用块。如果不是记住要执行的选择器,而是取了一个块,ARC 将能够更好地跟踪实际发生的情况,并且您不必冒着意外引入内存泄漏的风险。
评论
self
ivar
self->ivar
若要仅忽略具有执行选择器的文件中的错误,请添加 #pragma,如下所示:
#pragma clang diagnostic ignored "-Warc-performSelector-leaks"
这将忽略此行上的警告,但仍允许在项目的其余部分使用警告。
评论
#pragma clang diagnostic warning "-Warc-performSelector-leaks"
#pragma clang diagnostic warning push
#pragma clang diagnostic warning pop
此代码不涉及编译器标志或直接运行时调用:
SEL selector = @selector(zeroArgumentMethod);
NSMethodSignature *methodSig = [[self class] instanceMethodSignatureForSelector:selector];
NSInvocation *invocation = [NSInvocation invocationWithMethodSignature:methodSig];
[invocation setSelector:selector];
[invocation setTarget:self];
[invocation invoke];
NSInvocation
允许设置多个参数,因此与此不同的是,它适用于任何方法。performSelector
评论
为了子孙后代,我决定把帽子扔进擂台:)
最近,我看到越来越多的重组远离 / 范式,转而支持协议、块等。但是,我现在已经使用过几次了:target
selector
performSelector
[NSApp sendAction: NSSelectorFromString(@"someMethod") to: _controller from: nil];
这些似乎是一个干净的、ARC 安全的、几乎相同的替代品,而不必过多地使用 .performSelector
objc_msgSend()
不过,我不知道 iOS 上是否有可用的模拟。
评论
[[UIApplication sharedApplication] sendAction: to: from: forEvent:]
id
-performSelector:...
to:
马特·加洛韦(Matt Galloway)对此线程的回答解释了原因:
请考虑以下几点:
id anotherObject1 = [someObject performSelector:@selector(copy)]; id anotherObject2 = [someObject performSelector:@selector(giveMeAnotherNonRetainedObject)];
现在,ARC 如何知道第一个返回的对象保留计数为 1,而第二个返回 返回自动释放的对象?
如果您忽略返回值,似乎通常可以安全地禁止显示警告。我不确定如果您真的需要从 performSelector 获取保留对象,那么最佳实践是什么——除了“不要这样做”。
奇怪但真实:如果可以接受(即结果是无效的,你不介意让运行循环循环一次),添加一个延迟,即使这是零:
[_controller performSelector:NSSelectorFromString(@"someMethod")
withObject:nil
afterDelay:0];
这会删除警告,大概是因为它向编译器保证,不会返回任何对象,并且以某种方式管理不善。
评论
@c-road 在此处提供了带有问题描述的正确链接。下面你可以看到我的示例,当 performSelector 导致内存泄漏时。
@interface Dummy : NSObject <NSCopying>
@end
@implementation Dummy
- (id)copyWithZone:(NSZone *)zone {
return [[Dummy alloc] init];
}
- (id)clone {
return [[Dummy alloc] init];
}
@end
void CopyDummy(Dummy *dummy) {
__unused Dummy *dummyClone = [dummy copy];
}
void CloneDummy(Dummy *dummy) {
__unused Dummy *dummyClone = [dummy clone];
}
void CopyDummyWithLeak(Dummy *dummy, SEL copySelector) {
__unused Dummy *dummyClone = [dummy performSelector:copySelector];
}
void CloneDummyWithoutLeak(Dummy *dummy, SEL cloneSelector) {
__unused Dummy *dummyClone = [dummy performSelector:cloneSelector];
}
int main(int argc, const char * argv[]) {
@autoreleasepool {
Dummy *dummy = [[Dummy alloc] init];
for (;;) { @autoreleasepool {
//CopyDummy(dummy);
//CloneDummy(dummy);
//CloneDummyWithoutLeak(dummy, @selector(clone));
CopyDummyWithLeak(dummy, @selector(copy));
[NSThread sleepForTimeInterval:1];
}}
}
return 0;
}
在我的示例中,导致内存泄漏的唯一方法是 CopyDummyWithLeak。原因是 ARC 不知道,copySelector 返回保留的对象。
如果要运行内存泄漏工具,则可以看到下图: ...并且在任何其他情况下都没有内存泄漏:
这是基于上面给出的答案的更新宏。这应该允许你用return语句包装你的代码。
#define SUPPRESS_PERFORM_SELECTOR_LEAK_WARNING(code) \
_Pragma("clang diagnostic push") \
_Pragma("clang diagnostic ignored \"-Warc-performSelector-leaks\"") \
code; \
_Pragma("clang diagnostic pop") \
SUPPRESS_PERFORM_SELECTOR_LEAK_WARNING(
return [_target performSelector:_action withObject:self]
);
评论
return
不必在宏内部; 也有效,看起来更理智。return SUPPRESS_PERFORM_SELECTOR_LEAK_WARNING([_target performSelector:_action withObject:self]);
您也可以在此处使用协议。因此,创建一个这样的协议:
@protocol MyProtocol
-(void)doSomethingWithObject:(id)object;
@end
在需要调用选择器的类中,你有一个@property。
@interface MyObject
@property (strong) id<MyProtocol> source;
@end
当您需要调用 MyObject 的实例时,请执行以下操作:@selector(doSomethingWithObject:)
[self.source doSomethingWithObject:object];
评论
溶液
编译器对此发出警告是有原因的。很少会忽略此警告,并且很容易解决。方法如下:
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);
解释
这里发生的事情是,你要求控制器提供与控制器对应的方法的 C 函数指针。所有 s 都响应 ,但你也可以在 Objective-C 运行时中使用(如果你只有一个协议引用,比如 )。这些函数指针称为 s,是简单的函数指针 ()1。这可能接近方法的实际方法签名,但并不总是完全匹配。NSObject
methodForSelector:
class_getMethodImplementation
id<SomeProto>
IMP
typedef
id (*IMP)(id, SEL, ...)
获得 后,您需要将其转换为函数指针,该指针包含 ARC 所需的所有详细信息(包括两个隐式隐藏参数和每个 Objective-C 方法调用)。这在第三行中处理(右侧只是告诉编译器你知道你在做什么,并且不会生成警告,因为指针类型不匹配)。IMP
self
_cmd
(void *)
最后,调用函数指针2。
复杂示例
当选择器接受参数或返回值时,您必须稍微更改一下:
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;
警告的理由
出现此警告的原因是,使用 ARC 时,运行时需要知道如何处理所调用方法的结果。结果可以是任何内容:、、、、等。 ARC 通常从您正在使用的对象类型的标头中获取此信息。3void
int
char
NSString *
id
对于返回值,ARC 实际上只考虑了 4 件事:4
- 忽略非对象类型(、等)
void
int
- 保留对象值,然后在不再使用时释放(标准假设)
- 不再使用时释放新的对象值(/ 系列中的方法或归因于
init
copy
ns_returns_retained
) - 什么都不做,并假设返回的对象值在本地范围内有效(直到最内部的发布池被清空,归因于
ns_returns_autoreleased
)
调用假定它所调用的方法的返回值是一个对象,但不保留/释放它。因此,如果你的对象应该像上面的#3那样被释放,你最终可能会产生泄漏(也就是说,你调用的方法返回一个新对象)。methodForSelector:
对于尝试调用该返回或其他非对象的选择器,可以启用编译器功能以忽略警告,但这可能很危险。我已经看到 Clang 经历了几次迭代,了解它如何处理未分配给局部变量的返回值。启用 ARC 后,即使您不想使用它,它也无法保留和释放从中返回的对象值。从编译器的角度来看,它毕竟是一个对象。这意味着,如果您调用的方法 , 返回一个非对象(包括 ),您最终可能会保留/释放垃圾指针值并崩溃。void
methodForSelector:
someMethod
void
其他参数
一个注意事项是,这将发生相同的警告,并且您可能会遇到类似的问题,即不声明该方法如何使用参数。ARC 允许声明已消耗的参数,如果该方法使用该参数,则最终可能会向僵尸发送消息并崩溃。有一些方法可以通过桥接转换来解决此问题,但实际上最好简单地使用上面的 and 函数指针方法。由于消耗的参数很少成为问题,因此不太可能出现这种情况。performSelector:withObject:
IMP
静态选择器
有趣的是,编译器不会抱怨静态声明的选择器:
[_controller performSelector:@selector(someMethod)];
这样做的原因是编译器实际上能够在编译过程中记录有关选择器和对象的所有信息。它不需要对任何事情做出任何假设。(一年前我通过查看来源检查了这一点,但现在没有参考。
抑制
在试图考虑一种情况时,抑制此警告是必要的,并且是良好的代码设计,我得出了空白。有人请分享他们是否有过需要静音此警告的经历(并且上述内容无法正确处理事情)。
更多
也可以建立一个来处理这个问题,但这样做需要更多的打字,而且速度也更慢,所以没有理由这样做。NSMethodInvocation
历史
当这一系列方法首次添加到 Objective-C 中时,ARC 并不存在。在创建 ARC 时,Apple 决定应为这些方法生成警告,以指导开发人员使用其他方法显式定义在通过命名选择器发送任意消息时应如何处理内存。在 Objective-C 中,开发人员可以通过在原始函数指针上使用 C 样式的强制转换来实现这一点。performSelector:
随着 Swift 的推出,Apple 将这一系列方法记录为“本质上不安全”,并且 Swift 无法使用它们。performSelector:
随着时间的流逝,我们看到了这种进展:
- 早期版本的 Objective-C 允许(手动内存管理)
performSelector:
- 带有 ARC 的 Objective-C 警告使用
performSelector:
- Swift 无权访问这些方法,并将这些方法记录为“本质上不安全”
performSelector:
然而,基于命名选择器发送消息的想法并不是一个“本质上不安全”的功能。这个想法已经在 Objective-C 以及许多其他编程语言中成功使用了很长时间。
1 所有 Objective-C 方法都有两个隐藏参数,这些参数是在调用方法时隐式添加的。self
_cmd
2 在 C 语言中调用函数是不安全的。用于检查控制器是否存在的防护装置确保我们有一个对象。因此,我们知道我们将从(尽管它可能是,进入消息转发系统)获得一个。基本上,有了防护装置,我们就知道我们有一个函数可以调用。NULL
IMP
methodForSelector:
_objc_msgForward
3 实际上,如果将对象声明为并且您没有导入所有标头,它可能会获得错误的信息。您最终可能会在编译器认为没问题的代码中崩溃。这种情况非常罕见,但可能会发生。通常,您只会收到一条警告,指出它不知道从两个方法签名中选择哪一个。id
4 有关详细信息,请参阅有关保留返回值和未保留返回值的 ARC 参考。
评论
performSelector:
id
id
Cannot initialize a variable of type 'CGRect (*)(__strong id, SEL, CGRect, UIView *__strong)' with an rvalue of type 'void *'
void (*func)(id, SEL) = (void *)imp;
不编译,我已将其替换为void (*func)(id, SEL) = (void (*)(id, SEL))imp;
void (*func)(id, SEL) = (void *)imp;
<…> = (void (*))imp;
<…> = (void (*) (id, SEL))imp;
好吧,这里有很多答案,但由于这有点不同,结合一些答案,我想我会把它放进去。我正在使用一个 NSObject 类别,该类别检查以确保选择器返回 void,并禁止编译器警告。
#import <Foundation/Foundation.h>
#import <objc/runtime.h>
#import "Debug.h" // not given; just an assert
@interface NSObject (Extras)
// Enforce the rule that the selector used must return void.
- (void) performVoidReturnSelector:(SEL)aSelector withObject:(id)object;
- (void) performVoidReturnSelector:(SEL)aSelector;
@end
@implementation NSObject (Extras)
// Apparently the reason the regular performSelect gives a compile time warning is that the system doesn't know the return type. I'm going to (a) make sure that the return type is void, and (b) disable this warning
// See http://stackoverflow.com/questions/7017281/performselector-may-cause-a-leak-because-its-selector-is-unknown
- (void) checkSelector:(SEL)aSelector {
// See http://stackoverflow.com/questions/14602854/objective-c-is-there-a-way-to-check-a-selector-return-value
Method m = class_getInstanceMethod([self class], aSelector);
char type[128];
method_getReturnType(m, type, sizeof(type));
NSString *message = [[NSString alloc] initWithFormat:@"NSObject+Extras.performVoidReturnSelector: %@.%@ selector (type: %s)", [self class], NSStringFromSelector(aSelector), type];
NSLog(@"%@", message);
if (type[0] != 'v') {
message = [[NSString alloc] initWithFormat:@"%@ was not void", message];
[Debug assertTrue:FALSE withMessage:message];
}
}
- (void) performVoidReturnSelector:(SEL)aSelector withObject:(id)object {
[self checkSelector:aSelector];
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Warc-performSelector-leaks"
// Since the selector (aSelector) is returning void, it doesn't make sense to try to obtain the return result of performSelector. In fact, if we do, it crashes the app.
[self performSelector: aSelector withObject: object];
#pragma clang diagnostic pop
}
- (void) performVoidReturnSelector:(SEL)aSelector {
[self checkSelector:aSelector];
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Warc-performSelector-leaks"
[self performSelector: aSelector];
#pragma clang diagnostic pop
}
@end
评论
而不是使用块方法,这给我带来了一些问题:
IMP imp = [_controller methodForSelector:selector];
void (*func)(id, SEL) = (void *)imp;
我将使用 NSInvocation,如下所示:
-(void) sendSelectorToDelegate:(SEL) selector withSender:(UIButton *)button
if ([delegate respondsToSelector:selector])
{
NSMethodSignature * methodSignature = [[delegate class]
instanceMethodSignatureForSelector:selector];
NSInvocation * delegateInvocation = [NSInvocation
invocationWithMethodSignature:methodSignature];
[delegateInvocation setSelector:selector];
[delegateInvocation setTarget:delegate];
// remember the first two parameter are cmd and self
[delegateInvocation setArgument:&button atIndex:2];
[delegateInvocation invoke];
}
要使 Scott Thompson 的宏更通用:
// String expander
#define MY_STRX(X) #X
#define MY_STR(X) MY_STRX(X)
#define MYSilenceWarning(FLAG, MACRO) \
_Pragma("clang diagnostic push") \
_Pragma(MY_STR(clang diagnostic ignored MY_STR(FLAG))) \
MACRO \
_Pragma("clang diagnostic pop")
然后像这样使用它:
MYSilenceWarning(-Warc-performSelector-leaks,
[_target performSelector:_action withObject:self];
)
评论
不要禁止显示警告!
有不少于 12 种替代解决方案来修改编译器。
虽然你在第一次实现时很聪明,但地球上很少有工程师可以追随你的脚步,而这段代码最终会崩溃。
安全路线:
所有这些解决方案都将起作用,但与您的原始意图有一定程度的差异。假设如果您愿意,可以:param
nil
安全路线,相同的概念行为:
// GREAT
[_controller performSelectorOnMainThread:selector withObject:anArgument waitUntilDone:YES];
[_controller performSelectorOnMainThread:selector withObject:anArgument waitUntilDone:YES modes:@[(__bridge NSString *)kCFRunLoopDefaultMode]];
[_controller performSelector:selector onThread:[NSThread mainThread] withObject:anArgument waitUntilDone:YES];
[_controller performSelector:selector onThread:[NSThread mainThread] withObject:anArgument waitUntilDone:YES modes:@[(__bridge NSString *)kCFRunLoopDefaultMode]];
安全路线,行为略有不同:
(请参阅此响应)
使用任何线程代替 .[NSThread mainThread]
// GOOD
[_controller performSelector:selector withObject:anArgument afterDelay:0];
[_controller performSelector:selector withObject:anArgument afterDelay:0 inModes:@[(__bridge NSString *)kCFRunLoopDefaultMode]];
[_controller performSelectorOnMainThread:selector withObject:anArgument waitUntilDone:NO];
[_controller performSelectorOnMainThread:selector withObject:anArgument waitUntilDone:NO];
[_controller performSelectorOnMainThread:selector withObject:anArgument waitUntilDone:NO modes:@[(__bridge NSString *)kCFRunLoopDefaultMode]];
[_controller performSelectorInBackground:selector withObject:anArgument];
[_controller performSelector:selector onThread:[NSThread mainThread] withObject:anArgument waitUntilDone:NO];
[_controller performSelector:selector onThread:[NSThread mainThread] withObject:anArgument waitUntilDone:NO modes:@[(__bridge NSString *)kCFRunLoopDefaultMode]];
危险路线
需要某种编译器静默,这必然会中断。请注意,目前,它确实在 Swift 中中断了。
// AT YOUR OWN RISK
[_controller performSelector:selector];
[_controller performSelector:selector withObject:anArgument];
[_controller performSelector:selector withObject:anArgument withObject:nil];
评论
performSelectorOnMainThread
#clang diagnostic ignored
- (void)
如果您不需要传递任何参数,一个简单的解决方法是使用 .这甚至可以在对象上实现。valueForKeyPath
Class
NSString *colorName = @"brightPinkColor";
id uicolor = [UIColor class];
if ([uicolor respondsToSelector:NSSelectorFromString(colorName)]){
UIColor *brightPink = [uicolor valueForKeyPath:colorName];
...
}
评论