Čo je 'odvodovanie typu' v Kotlin?

Typ odhadu je schopnosť kompilátora určiť typ premennej alebo výrazu bez toho, aby ho vývojár musel výslovne uviesť. Kompilátor analyzuje kontext (napríklad počiatočnú hodnotu) a automaticky priradí zodpovedajúci typ.

Príklady:

// Odvodenie typu pre var
var count = 10 // Kompilátor odvodí typ Int
// count = "hello" // Chyba pri kompilácii: nemôže sa priradiť String k Int

// Odvodenie typu pre val
val name = "Kotlin" // Kompilátor odvodí typ String
// name = "Java" // Chyba pri kompilácii: val je nemenný

// Odvodenie typu pre výrazy
val sum = 5 + 3.14 // Kompilátor odvodí typ Double

Výhody:

• Skracuje množstvo kódu, čím je čitateľnejší.
• Znižuje pravdepodobnosť chýb súvisiacich s nezhodou typov, ak nie sú výslovne uvedené.
• Zvyšuje produktivitu pri vývoji.

Dôležité body:

• Odvodenie typu je obmedzené. V niektorých prípadoch (napríklad deklarácia premennej bez inicializácie) je potrebné explicitne uviesť typ.
• Premenné deklarované s var môžu meniť hodnotu, ale nie typ, po odvodzení.

var number: Int // Je potrebné explicitne uviesť typ, pretože nie je inicializácia