Creating delegates on the spot with blocks

Okay, I finally got around to putting WoolDelegate up on GitHub. Now it should only take me another month to write a proper README (although I guess this is a good start).

The delegate class itself is pretty straightforward. It simply maintains a dictionary mapping SELs to Block. When an instance recieves a message to which it doesn’t respond, it ends up in forwardInvocation: and looks in the dictionary for the selector:

- (void)forwardInvocation:(NSInvocation *)anInvocation {

    SEL sel = [anInvocation selector];
    GenericBlock handler = [self handlerForSelector:sel];

If it’s found, the Block’s invocation function pointer is pulled out and passed along to the juicy bits:

    IMP handlerIMP = BlockIMP(handler);

    [anInvocation Wool_invokeUsingIMP:handlerIMP];
}

(The BlockIMP() function, along with other Block-probing code, is thanks to Mike Ash. Actually, a lot of this project is built on stuff I learned from his Friday Q&A’s. If you haven’t read those essays, you’re missing out.)

I should note that this goes through the full method resolution machinery every time a particular message is sent; there’s a speed hit there. The alternative is the path that Erik H. and EMKPantry each took, which is creating a new clas for each delegate object that you need, and using class_addMethod(). Since every instance of WoolDelegate has its own dictionary of handlers, we don’t need to do that, but on the other hand there’s no way to “cache” the lookup or the invocation. A method can only be added to a class, not to an instance.

I did it this way for two reasons: this was an excercise to see if I could work out the part that’s coming next — the hand-off from NSInvocation to Block invocation — and the creation of a new class for every needed instance simply seemed inelegant to me. Whether it’s less elegant than my solution, I will leave to each reader’s judgement.

Moving on, the meat of this procedure is actually in the NSInvocation category that’s found in the project. This utilizes libffi to call a function that’s unknown until runtime — the Block’s invocation — with arguments that are also unknown until runtime (which are accessible via the NSInvocation). Normally, this is not possible, for the same reason that a va_list cannot be passed on: the compiler has to know how many arguments there are and how big they are. libffi contains assembler for each platform that knows/is based on those platforms’ calling conventions.

There’s three steps here: libffi needs a list of the types of the arguments to the function that’s being called; it needs the argument values themselves put into a particular format; then the function (the Block’s invocation pointer) needs to be invoked via libffi and the return value put back into the NSInvocation.

The real work for the first part is handled largely by a function which is again written by Mike Ash, called from Wool_buildFFIArgTypeList. libffi has internal structs that it uses to describe the types of function arguments. When preparing a call to a function, the library needs a list of pointers to these structures. The NSMethodSignature for the NSInvocation allows access of each argument’s encoding string; translating from there to the correct ffi_type is handled by a set of if/else lookups:

arg_types[i] = libffi_type_for_objc_encoding([sig getArgumentTypeAtIndex:actual_arg_idx]);

...

if(str[0] == @encode(type)[0]) \
{ \
    if(sizeof(type) == 1) \
        return &ffi_type_sint8; \
    else if(sizeof(type) == 2) \
        return &ffi_type_sint16; \

Next, libffi wants pointers to the argument values themselves. This is done in Wool_buildArgValList: get the size of each argument, again from the NSMethodSignature, and allocate a chunk of memory that size, then return the list:

NSUInteger arg_size;
NSGetSizeAndAlignment([sig getArgumentTypeAtIndex:actual_arg_idx], 
                      &arg_size, 
                      NULL);
/* Get a piece of memory that size and put its address in the list. */
arg_list[i] = [self Wool_allocate:arg_size];
/* Put the value into the allocated spot. */
[self getArgument:arg_list[i] atIndex:actual_arg_idx];

(An aside: there’s several notes in the code about skipping over the SEL, which is the (hidden) second passed argument to any method invocation. The Block’s invocation pointer doesn’t have a slot to hold the SEL; it just has itself as the first argument, and the rest are the “normal” arguments. Since the Block, as written in client code, could never access that argument anyways (it doesn’t exist at the time), I decided to ignore it.)

libffi now needs to do some “prep”; as long as that succeeds (and space for the return value can be allocated), the invocation function pointer can now be “called”, and the return value can be set:

ffi_call(&inv_cif, (genericfunc)theIMP, ret_val, arg_vals);
if( ret_val ){
    [self setReturnValue:ret_val];
    free(ret_val);
}

There’s some demonstrations of the functionality in main.m in the project.

Finally, as for your question of “should this be done?”, I think the answer is “yes, as long as it makes you more productive”. WoolDelegate is completely generic, and an instance can act like any fully written-out class. My intention for it, though, was to make simple, one-off delegates — that only need one or two methods, and don’t need to live past their delegators — less work than writing a whole new class, and more legible/maintainable than sticking some delegate methods into a view controller because it’s the easiest place to put them. Taking advantage of the runtime and the language’s dynamism like this hopefully can increase your code’s readability, in the same way, e.g., Block-based NSNotification handlers do.

Leave a Comment