Mis on 'tüübi järeldamine' Kotlinis?

Tüüpide oletus on kompilaatori võime määrata muutuja või avaldise tüübi ilma, et arendaja seda otseselt märkiks. Kompilaator analüüsib konteksti (näiteks algväärtust) ja määrab automaatselt sobiva tüübi.

Näited:

// var tüübi oletus
var count = 10 // Kompilaator määrab tüübi Int
// count = "hello" // Kompilatsiooniviga: ei saa määrata Stringi Int-ile

// val tüübi oletus
val name = "Kotlin" // Kompilaator määrab tüübi String
// name = "Java" // Kompilaatoriviga: val on muutumatu

// avaldiste tüübi oletus
val sum = 5 + 3.14 // Kompilaator määrab tüübi Double

Eelised:

• Vähendab koodi mahtu, muudab selle loetavamaks.
• Vähendab tõrgete tõenäosust, mis on seotud tüüpide sobimatusega, kui neid ei ole otseselt märgitud.
• Suurendab arendusprotsessi tõhusust.

Olulised punktid:

• Tüüpide oletus on piiratud. Mõnel juhul (näiteks muutuja deklaratsioon ilma algväärtuseta) on vaja tüüpi otseselt märkida.
• var-iga deklareeritud muutuja võib väärtust muuta, kuid mitte tüüpi, pärast tüüpide oletust.

var number: Int // Vajalik on tüübi otsene märkimine, kuna puudub algväärtus