dispatch_once的实现分析

dispatch_once可以保证代码被执行一次

+(NSDateFormatter*)getDBDateFormat
{
    static NSDateFormatter* format;
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        format = [[LKDateFormatter alloc]init];
        format.dateFormat = @"yyyy-MM-dd HH:mm:ss";
    });
    return format;
}

dispatch_once_t的描述是typedef long dispatch_once_t;

Description A predicate for use with the dispatch_once function.

dispatch_once展开是

void
_dispatch_once(dispatch_once_t *predicate, dispatch_block_t block)
{
    if (DISPATCH_EXPECT(*predicate, ~0l) != ~0l) {
        dispatch_once(predicate, block);
    }
}

~0l 是 long 的0 取反也就是 一大堆1

我们再展开DISPATCH_EXPECT, 是__builtin_expect((x), (v))

__builtin_expect是GCC(version>=2.9)引进的宏，其作用就是帮助编译器判断条件跳转的预期值，避免跳转造成时间乱费。并没有改变其对真值的判断。

所以呢dispatch_once可以看成

+(NSDateFormatter*)getDBDateFormat
{
    static NSDateFormatter* format;
    static long onceToken = 0;
    if (onceToken != 0){
        1...
        {
            format = [[LKDateFormatter alloc]init];
            format.dateFormat = @"yyyy-MM-dd HH:mm:ss";
        }
        2...
    }
    return format;
}

我们可以猜测在下面的2...里的代码是修改了 onceToken的值

下断点查看一下,发现在1里改变了一次

然后在2里改成了-1

这样我们就不难理解dispatch_once的逻辑了