L’inférence de type Inférence de type

L’inférence de type est un mécanisme qui permet au compilateur de rechercher automatiquement le type d’une variable en fonction de la valeur affectée. Pour le développeur, cela signifie qu’il n’est pas systématiquement nécessaire de déclarer le type d’une variable, ce qui simplifie grandement la tâche.

val nombreDeVoitures = 35000 
val argent = 1001L 
val age = 100 
val prixAspirateur = 123 
val prenom = "Ludovic" 
val estVrai = true 
val resultatDivision = 0.3456314786114552145211 
val resultatSoustraction = 0.365f 
val lettre = 'A' 

Si précédemment les variables age et prixAspirateur étaient de type Short et Byte, avec l’inférence de type, elles sont dorénavant de type Int toutes les deux.

Pour forcer l’utilisation des types Short et Byte, nous pouvons utiliser la syntaxe suivante :

val age = 100.toByte() 
val prixAspirateur = 123.toShort() toByte toShort