Ce este 'inferența de tip' în Kotlin?

Inferența tipului este capacitatea compilatorului de a determina tipul unei variabile sau expresii fără ca dezvoltatorul să fie nevoit să îl specifice explicit. Compilatorul analizează contextul (de exemplu, valoarea de inițializare) și atribuie automat tipul corespunzător.

Exemple:

// Inferența tipului pentru var
var count = 10 // Compilatorul deduce tipul Int
// count = "hello" // Eroare de compilare: nu se poate atribui un String unui Int

// Inferența tipului pentru val
val name = "Kotlin" // Compilatorul deduce tipul String
// name = "Java" // Eroare de compilare: val este imutabil

// Inferența tipului pentru expresii
val sum = 5 + 3.14 // Compilatorul deduce tipul Double

Avantaje:

• Reduce cantitatea de cod, făcându-l mai ușor de citit.
• Diminuează probabilitatea de erori legate de incompatibilitatea tipurilor dacă nu sunt specificate explicit.
• Crește productivitatea în timpul dezvoltării.

Puncte importante:

• Inferența tipului este limitată. În unele cazuri (de exemplu, declararea unei variabile fără inițializare), este necesar să specificați explicit tipul.
• Variabilele declarate cu var pot schimba valoarea, dar nu tipul, după inferența tipului.

var number: Int // Este necesar să specificați explicit tipul, deoarece nu există inițializare