实施“延迟” Objective-C 中的 Go 语句？

Question

今天读到Go语言中的defer语句：

defer 语句推送函数 呼叫列表。保存的列表 调用之后执行 周围函数返回。推迟是 常用于简化功能 执行各种清理操作。

我认为在 Objective-C 中实现这样的东西会很有趣。你知道该怎么做吗？我考虑了调度终结器、自动释放对象和 C++ 析构函数。

自动释放对象：

@interface Defer : NSObject {}
+ (id) withCode: (dispatch_block_t) block;
@end

@implementation Defer
- (void) dealloc {
    block();
    [super dealloc];
}
@end

#define defer(__x) [Defer withCode:^{__x}]

- (void) function
{
    defer(NSLog(@"Done"));
    …
}

自动释放对象似乎是唯一至少持续到函数结束的解决方案，因为其他解决方案将在当前作用域结束时触发。另一方面，它们可以在记忆中停留更长时间，这会带来麻烦。

调度终结器是我的第一个想法，因为块存在于堆栈中，因此我可以在堆栈展开时轻松执行某些操作。但在查看文档后，我似乎无法将简单的“析构函数”函数附加到块，可以吗？

C++ 析构函数是同样的事情，我将创建一个基于堆栈的对象，其中包含一个在析构函数运行时要执行的块。将普通的 .m 文件转换为 Objective-C++ 会有一个丑陋的缺点吗？

我并没有真正考虑在生产中使用这些东西，我只是对各种解决方案感兴趣。你能想出一些有效且没有明显缺点的方法吗？基于范围和基于功能的解决方案都会很有趣。

Answer 1

如果您可以使用 C++，请检查 Boost 的 作用域退出库。

---

如果您不介意在函数的开头和结尾输入 2 个额外的单词，则可以使用 @finally 块。

#define SCOPE               {id _defered_actions__=[[NSMutableArray alloc]init];@try{
#define END_SCOPE           }@finally{for(void(^action)()in[_defered_actions__ reverseObjectEnumerator])action();[_defered_actions__ release];}}
#define DEFER_COPY(_code__) {id _blk__=[^{_code__;}copy];[_defered_actions__ addObject:_blk__];[_blk__ release];}
#define DEFER(_code__)      ([_defered_actions__ addObject:(^{_code__;})])

使用示例：

@interface XXObject : NSObject {
}
-(int)factorial:(int)x;
@end

@implementation XXObject
-(int)factorial:(int)x { SCOPE

    printf("begin foo:%d\n", x);
    DEFER( printf("end foo:%d\n", x) );

    if (x > 0)
        return x * [self factorial:x-1];
    else if (x == 0)
        return 1;
    else {
        @throw [NSException exceptionWithName:@"NegativeFactorialException"
                                       reason:@"Cannot call factorial on negative numbers"
                                     userInfo:nil];
        return 0;
    }

END_SCOPE }

-(void)dealloc {
    printf("%p has been released.\n", self);
    [super dealloc];
}
@end




void do_stuff() { SCOPE

    __block XXObject* x = [[XXObject alloc] init];
    DEFER({
        printf("releasing %p.\n", x);
        [x release];
    });


    int i;
    for (i = 2; i >= -1; -- i) {
        // use DEFER_COPY to retain the local variable 'i' and 'fact'
        int fact = [x factorial:i];
        DEFER_COPY( printf("%d! == %d\n", i, fact) );
    }

END_SCOPE }




int main () {
    NSAutoreleasePool* pool = [[NSAutoreleasePool alloc] init];

    @try {
        do_stuff();
    } @catch(NSException* e) {
        // note that the @finally statements might not be called in 64-bit if we
        // left the exception uncaught.
        NSLog(@"%@", e);
    }
    [pool drain];
    return 0;
}

应该打印：

begin foo:2
begin foo:1
begin foo:0
end foo:0
end foo:1
end foo:2
begin foo:1
begin foo:0
end foo:0
end foo:1
begin foo:0
end foo:0
begin foo:-1
end foo:-1
0! == 1
1! == 1
2! == 2
releasing 0x100116500.
0x100116500 has been released.
2011-02-05 23:06:21.192 a.out[51141:903] Cannot call factorial on negative numbers

Answer 2

阅读 Mike Ash 关于 生成器的帖子Objective-C。