objective-c - 是否允许 'change'/滥用/覆盖 Objective C 中 block 的签名，如下所示？

Question

这是允许的吗？为什么？

void (^bar)(NSNumber *) = ^(NSNumber *number) {
    NSLog(@"Value is %@, class is %@.", number, [number class]);
};
bar([NSNumber numberWithInt:10]);

void (^foo)(id) = bar;
foo([NSDate date]);

输出是:

Value is 10, class is __NSCFNumber.
Value is 2012-05-17 18:54:14 +0000, class is __NSDate.

我找不到任何相关的解释。您能否提供指向涵盖此内容的 objective-c block 规范的链接？

目前我正在开发一个基于 block 的 UITableView 子类，如果我可以安全地使用它，它会让事情变得容易得多。

Answer 1

这个工作的根本原因是:

[1] Objective-C(和 C)在编译时不是强类型的。虽然警告可能由编译器产生，但它们通常可以通过强制转换(有时类型不安全)来消除。在这种情况下，您的分配是无效的，因为您正在将声明它需要与 NSNumber * 兼容的参数值分配给另一个仅声明它需要参数的 block 引用与 id 兼容的值。这是类型不安全的，有时会产生运行时错误，见下文。

[2] Objective-C 运行时消息传递是动态的，即消息的目标代码是在代码运行时确定的。这意味着当您在运行时传递 NSDate 时，您在 block 中对 number 的所有使用都不是特定于 NSNumber 的，因此仍然可以找到合适的方法动态地。但是，将您的 bar 更改为:

void (^bar)(NSNumber *) = ^(NSNumber *number)
{
   NSLog(@"Value is %@, class is %@, int value is %d.", number, [number class], [number intValue]);
};

您将看到运行时错误。

[3] [NSNumber numberWithInt:10] 和 [NSDate date] 都被声明为返回 id 类型的值，而不是 NSNumber * & NSDate * 如您所料。这意味着您不需要 foo，您只需键入:

bar([NSDate date]);

并在没有任何警告的情况下获得相同的结果......作为进一步的例子考虑这个:

NSNumber *num = [NSNumber numberWithInt:3];
NSDate *date = num;         // produces a warning
id erase = num;             // erase type info and do...
date = erase;               // effectively the same assignment, no warning

采取措施:Objective-C 不是类型安全的语言，编译器在很多情况下会警告您潜在的问题，但它不会做所以在所有情况下。