Почему Apple рекомендует использовать dispatch_once для реализации одноэлементного шаблона в ARC?

Question

Какова точная причина для использования dispatch_once в средствах доступа с общим экземпляром синглтона в ARC?

+ (MyClass *)sharedInstance
{
    //  Static local predicate must be initialized to 0
    static MyClass *sharedInstance = nil;
    static dispatch_once_t onceToken = 0;
    dispatch_once(&onceToken, ^{
        sharedInstance = [[MyClass alloc] init];
        // Do any other initialisation stuff here
    });
    return sharedInstance;
}

Не плохая ли идея асинхронно создавать синглтон в фоновом режиме? Я имею в виду, что произойдет, если я запрашиваю этот общий экземпляр и сразу полагаюсь на него, но dispatch_once требуется до Рождества для создания моего объекта? Не сразу возвращается, верно? По крайней мере, в этом и заключается весь смысл Grand Central Dispatch.

Так почему они это делают?

Answer 1

dispatch_once() абсолютно синхронно. Не все методы GCD делают вещи асинхронно (в данном случае dispatch_sync() является синхронным). Использование dispatch_once() заменяет следующую идиому:

+ (MyClass *)sharedInstance {
    static MyClass *sharedInstance;
    @synchronized(self) {
        if (sharedInstance == nil) {
            sharedInstance = [[MyClass alloc] init];
        }
    }
    return sharedInstance;
}

Преимущество dispatch_once() в том, что это быстрее. Это также семантически чище, потому что оно также защищает вас от нескольких потоков, выполняющих alloc init вашего sharedInstance - если они все пытаются одновременно. Это не позволит создать два экземпляра. Вся идея dispatch_once() состоит в том, чтобы «выполнить что-то один раз и только один раз», и это именно то, что мы делаем.

Answer 2

Потому что он будет работать только один раз. Поэтому, если вы попытаетесь получить к нему доступ дважды из разных потоков, это не вызовет проблем.

Майк Эш имеет полное описание в своем блоге Уход и кормление синглетонов .

Не все блоки GCD запускаются асинхронно.