Sommaire

Inférence de type et déclaration explicite Type:inférence de type

Dans le code précédent, il n’était pas nécessaire de spécifier le type des variables et des constantes déclarées car l’assignation avait lieu au même moment que la déclaration. C’est à la compilation qu’a lieu l’inférence de type  : le compilateur est capable de déduire le type d’une variable ou constante en fonction de la valeur qui lui est assignée.

Xcode permet d’afficher le type déduit pour une variable grâce à un [Option] clic sur son nom n’importe où dans le code.

Effectuez un [Option] clic sur le nom de la variable nombre.

IMAGES/03EP04.png

La notation du type d’une variable prend la forme nomDeVariable: Type, c’est également cette notation que l’on utilise pour déclarer explicitement le type d’une variable.

var nomDeVariable: Type 
let nomDeConstante : Type

Il est possible d’expliciter les types pour les variables déjà déclarées dans le Playground :

var hello: String = "Hello World!" 
hello = "Hello Swift!" 
var nombre: Int = 42 
let constNombre: Int = nombre

En plus de permettre au développeur de s’assurer qu’une variable ou qu’une constante a le bon type sans s’appuyer uniquement sur le système d’inférence, la déclaration explicite peut avoir ...