ios - 为什么在 macOS 中不同的 performSelector :withObject:@YES in iOS, 时我总是得到 NO？

Question

我有一些 iOS 代码如下:

//iOS
- (void)viewDidLoad {
    [super viewDidLoad];
    [self performSelector:@selector(handler:) withObject:@YES];
}

- (void)handler:(BOOL)arg {  //always NO
    if(arg) {  
         NSLog(@"Uh-hah!");   //won't log
    }
}

我知道我不应该这样写。这是错误的，因为 @YES 是一个对象，我应该接收一个 id 作为参数，并将其拆箱到 handler: 中，例如:

- (void)handler:(id)arg {
    if([arg boolValue]) {...}
}

作为错误代码，对于任何类的任何其他对象而不是 @YES，我总是得到 arg == NO。问题是，为什么 ON EARTH bool arg 始终为 NO？我做了一些研究，这是我学到的:

in iOS, BOOL is actually _Bool(or macro bool) in C (_Bool keyword)

in macOS, BOOL is actually signed char

如果我创建相同的 ma​​cOS 代码，我会得到不同的结果，例如:

//macOS
- (void)viewDidLoad {
    [super viewDidLoad];
    [self performSelector:@selector(handler:) withObject:@YES];  //@YES's address: say 0x00007fffa38533e8
}

- (void)handler:(BOOL)arg {  //\xe8 (=-24)
    if(arg) {
         NSLog(@"Uh-hah!");  //"Uh-huh!"
    }
}

这是有道理的，因为 BOOL 只是有符号的字符，参数是从 @YES 对象地址的最低字节开始转换的。但是，此解释不适用于 iOS 代码。我认为任何非零数字都会被转换为真(并且地址本身必须是非零)。但为什么我没有？ *

Answer 1

-[NSObject performSelector:withObject:] 只应该与一个只接受一个对象指针参数并返回一个对象指针的方法一起使用。您的方法采用 BOOL 参数，而不是对象指针参数，因此它不能与 -[NSObject performSelector:withObject:] 一起使用。

如果您总是要发送消息 handler: 并且您知道该方法有一个 BOOL 参数，您应该直接调用它:

[self handler:YES];

如果方法的名称将在运行时动态确定，但您知道方法的签名将始终相同(在这种情况下只有一个 BOOL 类型的参数，不返回任何内容)，您可以使用 objc_msgSend()。在调用它之前，您必须将 objc_msgSend 转换为该方法的底层实现函数的适当函数类型(请记住，Objective-C 方法的实现函数的前两个参数是 self 和 _cmd，后跟声明的参数)。这是因为 objc_msgSend 是一个调用适当的实现函数的蹦床，所有用于存储参数的寄存器和堆栈都完好无损，因此您必须使用实现函数的调用约定来调用它。在你的情况下，你会这样做:

SEL selector = @selector(handler:); // assume this is computed dynamically at runtime
((void (*)(id, SEL, BOOL))objc_msgSend)(self, selector, YES);

顺便说一句，如果你看一下 source code对于 -[NSObject performSelector:withObject:]，你会看到他们做了同样的事情——他们知道方法的签名必须是 id 类型的一个参数和 id 的返回类型，因此他们将 objc_msgSend 转换为 id (*)(id, SEL, id) 然后调用它。

在极少数情况下，方法的签名也会动态变化并且在编译时未知，那么您将不得不使用 NSInvocation。

让我们考虑一下当您将 -[NSObject performSelector:withObject:] 与错误签名的方法一起使用时发生的情况。在内部，他们调用了objc_msgSend()，相当于调用底层实现函数，函数指针类型为id (*)(id, SEL, id) .但是，您的方法的实现函数实际上具有类型 void (id, SEL, BOOL)。因此，您正在使用不同类型的函数指针调用函数。根据C标准(C99标准，section 6.5.2.2, paragraph 9):

If the function is defined with a type that is not compatible with the type (of the expression) pointed to by the expression that denotes the called function, the behavior is undefined.

所以基本上您看到的是未定义的行为。未定义的行为意味着任何事情都可能发生。如您所见，它可能会在一个系统上返回一个东西，而在另一个系统上返回另一个东西，或者它可能会使整个程序崩溃。您不能依赖任何特定行为。