Kas yra 'tipo išvedimas' Kotlin?

Tipų išvedimas yra kompilatoriaus galimybė nustatyti kintamojo ar išraiškos tipą be to, kad kūrėjas jį aiškiai nurodytų. Kompilatorius analizuoja kontekstą (pavyzdžiui, inicializacijos reikšmę) ir automatiškai priskiria atitinkamą tipą.

Pavyzdžiai:

// tipų išvedimas naudojant var
var count = 10 // Kompilatorius nustato tipą Int
// count = "hello" // Klaidų kompiliacija: negalima priskirti String prie Int

// tipų išvedimas naudojant val
val name = "Kotlin" // Kompilatorius nustato tipą String
// name = "Java" // Klaidų kompiliacija: val yra nekintamas

// išraiškų tipų išvedimas
val sum = 5 + 3.14 // Kompilatorius nustato tipą Double

Privalumai:

• Sumažina kodo kiekį, padaro jį skaitomesnį.
• Sumažina klaidų, susijusių su tipų nesuderinamumu, tikimybę, jei jie nėra aiškiai nurodyti.
• Didina kūrimo produktyvumą.

Svarbūs punktai:

• Tipų išvedimas yra ribotas. Kai kuriais atvejais (pavyzdžiui, deklaruojant kintamąjį be inicializacijos) būtina aiškiai nurodyti tipą.
• var deklaruotos kintamosios gali keisti reikšmę, bet ne tipą, po tipų išvedimo.

var number: Int // Reikalingas aiškus tipo nurodymas, nes nėra inicializacijos