Co je to 'typové odvozování' v Kotlinu?

Typové odvození je schopnost kompilátoru určit typ proměnné nebo výrazu bez toho, aby jej vývojář musel výslovně uvést. Kompilátor analyzuje kontext (například počáteční hodnotu) a automaticky přiřadí odpovídající typ.

Příklady:

// Typové odvození pro var
var count = 10 // Kompilátor odvodí typ Int
// count = "hello" // Chyba při kompilaci: nelze přiřadit String k Int

// Typové odvození pro val
val name = "Kotlin" // Kompilátor odvodí typ String
// name = "Java" // Chyba při kompilaci: val je neměnný

// Typové odvození pro výrazy
val sum = 5 + 3.14 // Kompilátor odvodí typ Double

Výhody:

• Zkracuje množství kódu, činí jej čitelnějším.
• Snižuje pravděpodobnost chyb souvisejících s nesouladem typů, pokud nejsou výslovně uvedeny.
• Zvyšuje produktivitu vývoje.

Důležité body:

• Odvození typu je omezené. V některých případech (například deklarace proměnné bez inicializace) je nutné explicitně uvést typ.
• Proměnné deklarované s var mohou měnit hodnotu, ale nikoli typ, po odvození typu.

var number: Int // Je nutné explicitně uvést typ, protože není inicializace