假设我有一个包含块的数组,我需要断言它们都期望给定数量的参数。
有没有办法以编程方式找到它?
对于任何最新版本的 Clang,这确实是可能的。
用于 Blocks 的 Apple ABI 是私有的,但也已发布。由于该文档告诉我们编译器将用于块对象的布局,我们可以在头文件中复制该信息并使用它来访问块的组件。
Mike Ash 的MABlockForwarding 项目就是这样做的(另请参阅文章)——该文件顶部的大部分内容是从 ABI 文档复制粘贴的。他创建的我们感兴趣的东西是BlockSig()
函数:
static const char *BlockSig(id blockObj)
{
struct Block *block = (__bridge void *)blockObj;
struct BlockDescriptor *descriptor = block->descriptor;
assert(block->flags & BLOCK_HAS_SIGNATURE);
int index = 0;
if(block->flags & BLOCK_HAS_COPY_DISPOSE)
index += 2;
return descriptor->rest[index];
}
它将返回(对于拥有它的块(它们都使用最近的 Clang)),一个描述块的返回和参数类型的类型编码字符串。从那里,您可以创建一个NSMethodSignature
对象,并要求它numberOfArguments
:
NSString * (^block)(int, NSArray *) = ^NSString * (int i, NSArray * a){
return @"Oh, yeah!";
};
const char * types = BlockSig(block);
NSMethodSignature * sig = [NSMethodSignature signatureWithObjCTypes:types];
[sig numberOfArguments];
结果是 3,因为它包含块本身的隐藏参数(并且块不使用隐藏_cmd
参数,否则它将是 4)。
答案是你不能。请参阅 Mike Ash 页面上关于此的评论:
那么,你真正的问题是什么?如果您正确地构建参数,您可以确保您的系统正常运行。例如,您可以使用 C++ 对参数的默认值执行的操作,并将每个块转换为采用最大参数数的类型,并始终将那么多项目压入堆栈。或者你总是可以让第一个参数是你压入堆栈的参数的数量。如果您推送对象而不是数字/指针,那么您的 r 块可以查看每个参数的类并动态适应。