Pourquoi Apple recommande-t-il d'utiliser dispatch_once pour implémenter le modèle singleton sous ARC?

Quelle est la raison exacte de l'utilisation de dispatch_once dans l'accesseur d'instance partagée d'un singleton sous 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;
}

N'est-ce pas une mauvaise idée d'instancier le singleton de manière asynchrone en arrière-plan? Je veux dire que se passe-t-il si je demande cette instance partagée et que j'y compte immédiatement, mais dispatch_once prend jusqu'à Noël pour créer mon objet? Il ne revient pas immédiatement non? Au moins, cela semble être tout l'intérêt de Grand Central Dispatch.

Alors pourquoi font-ils ça?

dispatch_once()est absolument synchrone. Toutes les méthodes GCD ne font pas les choses de manière asynchrone (dans le cas présent, elles dispatch_sync()sont synchrones). L'utilisation de dispatch_once()remplace l'idiome suivant:

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

L'avantage de dispatch_once()cela est que c'est plus rapide. Il est également plus propre sur le plan sémantique, car il vous protège également de plusieurs threads faisant l'allocation init de votre instance partagée - s'ils essaient tous en même temps. Il ne permettra pas la création de deux instances. L'idée de dispatch_once()"faire quelque chose une fois et une seule fois", c'est précisément ce que nous faisons.

Parce qu'il ne fonctionnera qu'une seule fois. Donc, si vous essayez d'y accéder deux fois à partir de différents threads, cela ne posera pas de problème.

Mike Ash a une description complète dans son article de blog Care and Feeding of Singletons .

Tous les blocs GCD ne sont pas exécutés de manière asynchrone.