Какво е 'извеждане на тип' в Kotlin?

Типът на извеждане е способността на компилатора да определя типа на променлива или израз без явното му указване от разработчика. Компилаторът анализира контекста (например, началната стойност) и автоматично присвоява съответния тип.

Примери:

// Извеждане на тип за var
var count = 10 // Компилаторът извежда тип Int
// count = "hello" // Грешка при компилация: не може да се присвои String към Int

// Извеждане на тип за val
val name = "Kotlin" // Компилаторът извежда тип String
// name = "Java" // Грешка при компилация: val е неизменяем

// Извеждане на тип за изрази
val sum = 5 + 3.14 // Компилаторът извежда тип Double

Предимства:

• Намалява количеството код, правейки го по-четлив.
• Намалява вероятността от грешки, свързани с несъвместимост на типовете, ако не са указани явно.
• Увеличава производителността при разработка.

Важни точки:

• Извеждането на тип е ограничено. В някои случаи (например, при обявяване на променлива без инициализация) е необходимо да се посочи явен тип.
• Променливите, обявени с var, могат да променят стойността си, но не и типа, след извеждането на типа.

var number: Int // Необходимо е явното указване на типа, тъй като няма инициализация