Qu'est-ce que l''inférence de type' en Kotlin?

L'inférence de type est la capacité du compilateur à déterminer le type d'une variable ou d'une expression sans que le développeur ait besoin de le spécifier explicitement. Le compilateur analyse le contexte (par exemple, la valeur d'initialisation) et attribue automatiquement le type approprié.

Exemples :

// Inférence de type pour var
var count = 10 // Le compilateur infère le type Int
// count = "hello" // Erreur de compilation : impossible d'assigner un String à un Int

// Inférence de type pour val
val name = "Kotlin" // Le compilateur infère le type String
// name = "Java" // Erreur de compilation : val est immuable

// Inférence de type pour expressions
val sum = 5 + 3.14 // Le compilateur infère le type Double

Avantages :

• Réduit la quantité de code, le rendant plus lisible.
• Diminue la probabilité d'erreurs liées à l'incompatibilité de types en ne les spécifiant pas explicitement.
• Augmente la productivité lors du développement.

Points importants :

• L'inférence de type est limitée. Dans certains cas (par exemple, lors de la déclaration d'une variable sans initialisation), il est nécessaire de spécifier explicitement le type.
• Les variables déclarées avec var peuvent changer de valeur, mais pas de type, après l'inférence.

var number: Int // Nécessite une indication explicite du type, car il n'y a pas d'initialisation