Kas ir 'tipa pieņēmums' Kotlin?

Tipa atpazīšana ir kompilatora spēja noteikt mainīgā vai izteiksmes tipu bez tā, lai izstrādātājs to skaidri norādītu. Kompilators analizē kontekstu (piemēram, inicializācijas vērtību) un automātiski piešķir atbilstošo tipu.

Piemēri:

// tipa atpazīšana ar var
var count = 10 // Kompilators nosaka tipu Int
// count = "hello" // Kompilācijas kļūda: nevar piešķirt String uz Int

// tipa atpazīšana ar val
val name = "Kotlin" // Kompilators nosaka tipu String
// name = "Java" // Kompilācijas kļūda: val ir nemainīgs

// izteiksmju tipu atpazīšana
val sum = 5 + 3.14 // Kompilators nosaka tipu Double

Priekšrocības:

• Samazina koda apjomu, padara to lasāmāku.
• Samazina kļūdu iespējamību, kas saistītas ar tipu nesaderību, ja tie nav skaidri norādīti.
• Palielina izstrādes produktivitāti.

Svarīgi punkti:

• Tipa atpazīšana ir ierobežota. Dažos gadījumos (piemēram, deklarējot mainīgo bez inicializācijas) ir nepieciešams skaidri norādīt tipu.
• var ar deklarētās mainīgās var mainīt vērtību, bet ne tipu, pēc tipa atpazīšanas.

var number: Int // Nepieciešama skaidra tipa norāde, jo nav inicializācijas