Odpowiedź.

Historia pytania: Kotlin został pierwotnie zaprojektowany jako język z zwięzłą, ale ściśle typowaną składnią. W celu zwiększenia czytelności i zmniejszenia duplikacji kodu zrealizowano potężne wywnioskowanie typów.

Problem: Czasami deklaracja typu staje się zbędna, komplikując kod. Ale nadmierne uproszczenie typów prowadzi do trudności w odczycie i rozpowszechnianiu błędów, jeśli kompilator nie może wywnioskować typu.

Rozwiązanie: Inferring typów pozwala kompilatorowi automatycznie określić większość typów na podstawie inicjalizacji lub kontekstu. Ale ścisła typizacja wciąż kontroluje poprawność kodu.

Przykład kodu:

val name = "Kotlin" // String, typ wywnioskowany automatycznie
var count = 5         // Int, typ wywnioskowany automatycznie
val items = listOf(1, 2, 3) // List<Int>

// Jawne wskazanie typu jest wymagane, jeśli wywnioskowanie jest niemożliwe
val callback: (Int) -> Unit = { println(it) }

Kluczowe cechy:

Typ zmiennej lub wyrażenia może być wywnioskowany z inicjalizacji lub kontekstu wywołania funkcji
Nie zawsze możliwe jest wywnioskowanie typu: kompilator wymaga jawnej deklaracji, jeśli wyrażenie jest niejednoznaczne
Inferring typów nie obejmuje typów zwracanych przez publiczne funkcje i właściwości: kompilator wymaga ich jawnego wskazania dla stabilności ABI

Pytania z pułapką.

Czy można pominąć wskazanie typu zwracanego w publicznej funkcji?

Nie, jeśli funkcja jest publiczna, kompilator wymaga jawnej deklaracji typu zwrotu dla stabilności interfejsów i wsparcia Java-interoperacji.

Przykład:

// Błąd!
public fun compute(x: Int) = x * 2 // Wymaga jawnie: public fun compute(x: Int): Int = x * 2

Jaki typ ma val x = null?

Kompilator nie będzie mógł wywnioskować typu, ponieważ null nie ma typu bez kontekstu. Należy jawnie zadeklarować typ:

val x: String? = null

Czy inferring typów może działać dla złożonych typów generic przy łańcuchowym przetwarzaniu kolekcji?

Tak, ale jeśli typ nie może być jednoznacznie wywnioskowany (na przykład, map przekształca typy), czasami konieczne będzie jawne wskazanie typu zmiennej:

val values = listOf("1", "2").map { it.toInt() } // List<Int>, typ zostanie wywnioskowany

Typowe błędy i antywzorce

Brak jawnego typu w publicznych funkcjach API
Przeładowanie kodu niejawnie zdefiniowanymi typami, co utrudnia czytanie
Błąd przy próbie wywnioskowania typu przy inicjalizacji przez null

Przykład z życia

Negatywny przypadek

W projekcie wszystkie zmienne są zadeklarowane bez wskazania typu, co utrudnia nawigację i zrozumienie kodu dla innych deweloperów lub nowych pracowników.

Zalety:

Mniej kodu
Szybsze pisanie i refaktoryzacja

Wady:

Trudno czytać i utrzymywać
Łatwo popełnić błąd podczas zmiany inicjalizacji

Pozytywny przypadek

Wewnątrz funkcji typy zmiennych są wywnioskowane automatycznie, ale we wszystkich publicznych API zawsze jawnie wskazuje się typ zwracany i typy parametrów.