Что такое 'выведение типа' (type inference) в 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 // Требуется явное указание типа, так как нет инициализации