Swift 4: Implémentation d'un protocole générique avec protocole en tant que type associé

Question

J'ai rencontré un problème lors de la migration de la base de code Swift 3.1 vers Swift 4.

Le problème se pose lorsque vous essayez d'implémenter une méthode de protocole générique qui prend comme paramètre un paramètre de fermeture avec un paramètre générique associé à un protocole. Il est plus facile qu'il n'y paraît :)

Le code suivant fonctionne très bien à Swift 3.1:

protocol FooType { 
    associatedtype BarType 

    func foo(bar: BarType) 
    func foo(action: (BarType) -> Void) 
} 

protocol Bar {} 

class Foo: FooType { 
    typealias BarType = Bar 

    // Compiles in both 3.1 and 4 
    func foo(bar: Bar) { 
    } 

    // ERROR: Candidate has non-matching type (Bar) -> Void 
    func foo(action: (Bar) -> Void) {  
    } 
} 

Cependant Swift 4 compilateur me donne une erreur au sujet de la classe Foo non conforme au protocole FooType avec foo(action:) implémentation de la méthode manquante. Par ailleurs, Xcode 9 "fix-it" génère la même implémentation que je l'ai fait.

Le code se compile si j'utilise BarType comme type de paramètre, mais il n'est pas bon de perdre des informations de type concret.

Answer 1

Transforme que la suppression de la ligne

typealias BarType = Bar 

résout le problème. Ce qui est juste - l'inférence de type fait son travail. Néanmoins, ce devrait être un code légal et cela ressemble à un bogue dans le compilateur.

Reported en conséquence.

Answer 2

Nous devrions utiliser la variable générique typealias pour fournir le type à associatedType du protocole. Je voudrais utiliser le nom de variable générique typealias dans funtion. Cela a plus de sens et est légal mais je ne sais toujours pas pourquoi le compilateur ne connaît pas le paramètre typealias en fermeture.

class Foo: FooType { 
    typealias BarType = Bar 


    func foo(bar: BarType) { 
    /*Code*/ 
    } 


    func foo(action: (BarType) -> Void) { 
     /*Code*/ 
    } 
}