objective-c - 当 block 的参数数量和类型可能不同时，使用来自 va_list 的参数调用 block

Question

我有一个带有接受一些参数的 block 的变量。参数的确切数量及其类型可能会有所不同。例如它可以是一个 block

void(^testBlock1)(int) = ^(int i){}

或 block

void(^testBlock2)(NSString *,BOOL,int,float) = ^(NSString *str,BOOL b,int i,float f){}

参数类型仅限于 {id, BOOL, char, int, unsigned int, float}。

我知道参数的当前数量及其类型。我需要实现一个可以使用给定参数执行 block 的方法:

-(void)runBlock:(id)block withArguments:(va_list)arguments 
          types:(const char *)types count:(NSUInteger)count;

我有一个可行的简单解决方案，但它非常丑陋，仅支持不超过 4 字节大小的类型并且依赖于对齐。所以我正在寻找更好的东西。我的解决方案是这样的:

#define MAX_ARGS_COUNT 5
-(void)runBlock:(id)block withArguments:(va_list)arguments 
          types:(const char *)types count:(NSUInteger)count{

    // We will store arguments in this array.
    void * args_table[MAX_ARGS_COUNT];

    // Filling array with arguments
    for (int i=0; i<count; ++i) {
        switch (types[i]) {
            case '@':
            case 'c':
            case 'i':
            case 'I':
                args_table[i] = (void *)(va_arg(arguments, int));
                break;
            case 'f':
                *((float *)(args_table+i)) = (float)(va_arg(arguments, double));
                break;
            default:
                @throw [NSException exceptionWithName:@"runBlock" reason:[NSString stringWithFormat:@"unsupported type %c",types[i]] userInfo:nil];
                break;
        }
    }

    // Now we need to call our block with appropriate count of arguments

#define ARG(N) args_table[N]

#define BLOCK_ARG1 void(^)(void *)
#define BLOCK_ARG2 void(^)(void *,void *)
#define BLOCK_ARG3 void(^)(void *,void *,void *)
#define BLOCK_ARG4 void(^)(void *,void *,void *,void *)
#define BLOCK_ARG5 void(^)(void *,void *,void *,void *,void *)
#define BLOCK_ARG(N) BLOCK_ARG##N

    switch (count) {
        case 1:
            ((BLOCK_ARG(1))block)(ARG(0));
            break;
        case 2:
            ((BLOCK_ARG(2))block)(ARG(0),ARG(1));
            break;
        case 3:
            ((BLOCK_ARG(3))block)(ARG(0),ARG(1),ARG(2));
            break;
        case 4:
            ((BLOCK_ARG(4))block)(ARG(0),ARG(1),ARG(2),ARG(3));
            break;
        case 5:
            ((BLOCK_ARG(5))block)(ARG(0),ARG(1),ARG(2),ARG(3),ARG(4));
            break;
        default:
            break;
    }
}

Answer 1

好吧，您在这里遇到了 C 语言中典型的缺少元数据和 ABI 问题。基于 Mike Ash 的 Awesome Article about MABlockClosure ，我认为您可以检查 block 的底层结构并假设 va_list 与 block 的预期相匹配。您可以将 block 转换为 struct Block_layout，然后 block->descriptor 将为您提供 struct BlockDescriptor。然后你有代表 block 的参数和类型的@encode 字符串(@encode 是一整套蠕虫病毒)。

所以一旦你有了参数列表和它们的类型，你就可以深入 block_layout，调用，然后把它当作一个函数指针，其中第一个参数是提供上下文的 block 。 Mike Ash 也有一些关于 Trampolining Blocks 的信息如果您不关心任何类型信息，而只想调用该 block ，这可能会起作用。

让我添加一个大胖“这里有龙”警告。这一切都非常棘手，因 ABI 而异，并且依赖于晦涩和/或未记录的功能。

似乎您也可以在需要的地方直接调用该 block ，可能使用 NSArray 作为唯一参数，并使用 id 作为返回类型。这样您就不必担心任何“聪明”的黑客攻击会适得其反。

编辑:您可以使用 NSMethodSignature 的 signatureWithObjCTypes:，传入 block 的签名。然后你可以调用 NSInvocation 的 invocationWithMethodSignature:，但是你必须调用私有(private)的 invokeWithIMP: 方法来实际触发它，因为你没有选择器。您将目标设置为 block ，然后调用 WithIMP，传递 Block 结构的调用指针。参见 Generic Block Proxying