是否允许在目​​标C中"更改"/滥用/覆盖块的签名,如下所示？

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.

我找不到任何解释这个问题的相关内容.您能否提供涵盖此目标的目标c块规范的链接？

目前我正在开发基于块的UITableView子类,如果我可以安全地使用它,它会使事情变得更容易.

Answer 1

其工作的根本原因是:

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

[2] Objective-C运行时消息传递是动态的,即消息的目标代码在代码运行时确定.这意味着,因为您number在块中的所有使用都是非特定的,NSNumber当您NSDate在运行时传递时,合适的方法仍然是动态定位的.但是请将您更改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 不是一种类型安全的语言,在许多情况下,编译器会警告您潜在的问题,但在所有情况下都不会这样做.