objective-c - 传递与签名不匹配的 block 参数

Question

我在使用基于 block 的 API 时偶然发现了一个场景，在该场景中我传递了一个 block 参数，该参数的签名与方法期望的 typedef 参数不匹配。令我惊讶的是，编译器似乎并不关心这个，应用程序也没有崩溃。这是预期的行为吗？示例:

typedef void(^MyBlock)();
typedef void(^MyBlockWithParam)(id param);

- (void)doWork {
    MyBlockWithParam block1 = ^(id param) {
        NSLog(@"block1: %@", param);
    };

    MyBlock block2 = ^{
        NSLog(@"block2");
    };

    [self loadData:block1];
    [self loadData:block2];
}

- (void)loadData:(MyBlockWithParam)block {
    block(@"foo");
}

Answer 1

提供空参数说明

typedef void(^MyBlock)();

表示“未指定”参数。所以这两种类型是兼容的。将第一个声明更改为

typedef void(^MyBlock)(void);

指定该 block 不带任何参数，您将收到错误消息。

K&R C 指定空参数列表表示“未指定”。 C block 规范说这对于 block 类型声明不正确(参见 http://clang.llvm.org/docs/BlockLanguageSpec.html#block-variable-declarations)但是:GCC 和 Clang 都将 K&R 行为实现为语言扩展。