Explication d'une partie d'un code

Réponses

• Larme Membre

  octobre 2018 #2

  J'aurais dit closure sans paramètre qui renvoie un objet de "type T" (après c'est du générique).
• Pyroh Membre

  octobre 2018 octobre 2018 modifié #3

  C'est intéressant comme question parce que c'est un code tout bête qui appelle à tout un tas de concepts propres à Swift.

  On commence par la définition en elle-même. typealias permet de définir un type simple à partir d'un type plus complexe ou composé. Explications:

  • Provider<T> défini un type générique qui capture un autre type T au moment de la compilation.
  • () -> T défini une closure —qui est typiquement le type d'une fonction pour simplifier— qui ne prend pas de paramètre d'entrée et renvoie un objet de type T... Bizarre...

  Si on avait créé une fonction f avec cette signature on aurait fait ça : func f<T>() -> T. Une fonction générique, exactement.
  Reste maintenant ce problème de T qu'est-ce qu'on en fait ? Swift nous permet de le spécifier explicitement ou de l'inférer. Considérons Provider<T> pour le moment il n'a pas de type T défini, il est donc générique. Spécialisons-le :

  let intProvider: Provider<Int> = { return 1 }

  Ici on vient de créer une closure intProvider qui ne prends pas de paramètre en entrée mais qui renvoie un Int. On peut faire pareil et lui dire de renvoyer un CGFloat : let intProvider: Provider<CGFloat> = { return 1 }.

  On commence à y voir plus clair. Mais qu'est-ce qui se passe si on laisse le compilateur inférer notre type T ? Dans ce cas-ci ça va être compliqué pour tout un tas de raisons. Mais il y a un cas let stringProvider: Provider = { return "str" }. Ici on ne spécifie pas T il est inféré par le type du retour de la closure.

  En réalité ce genre de typealias n'as pas un grand intérêt fonctionnel c'est surtout du syntactic sugar parce que c'est plus beau et plus lisible d'écrire init(provider: Provider<Set<String>>) plutôt que init(provider: () -> Set<String>). Ah non ?

  Alors on peut aussi faire ça typealias StringSetProvider = Provider<Set<String>> et là init(provider: StringSetProvider) est agréable à l'oeil 😉)
• helio Membre

  novembre 2018 #4

  Merci pour les explications !
• Gercofis Membre

  novembre 2018 #5

  J'avais déjà du mal a digérer les closures, pour le coup c'est une indigestion cette fois... mais bon