Czym jest 'wnioskowanie typu' w Kotlin?

Wnioskowanie typu to zdolność kompilatora do określenia typu zmiennej lub wyrażenia bez konieczności jawnego wskazywania go przez programistę. Kompilator analizuje kontekst (np. wartość inicjującą) i automatycznie przypisuje odpowiedni typ.

Przykłady:

// Wnioskowanie typu dla var
var count = 10 // Kompilator wnioskuje typ Int
// count = "hello" // Błąd kompilacji: nie można przypisać String do Int

// Wnioskowanie typu dla val
val name = "Kotlin" // Kompilator wnioskuje typ String
// name = "Java" // Błąd kompilacji: val jest niezmienny

// Wnioskowanie typu dla wyrażeń
val sum = 5 + 3.14 // Kompilator wnioskuje typ Double

Zalety:

• Skraca ilość kodu, czyniąc go bardziej czytelnym.
• Zmniejsza prawdopodobieństwo błędów związanych z niezgodnością typów przy ich jawnym wskazywaniu.
• Zwiększa produktywność podczas rozwoju.

Ważne punkty:

• Wnioskowanie typu jest ograniczone. W niektórych przypadkach (np. deklaracja zmiennej bez inicjalizacji) konieczne jest jawne wskazanie typu.
• Zmienne zadeklarowane jako var mogą zmieniać wartość, ale nie typ, po wnioskowaniu.

var number: Int // Wymaga jawnego wskazania typu, ponieważ brak inicjalizacji