Scala for Backend Engineering & Functional Programming · Lekcja

Wnioskowanie typów

Pozwoli Pan/Pani kompilatorowi określić typy.

Wnioskowanie typów to bezpłatna lekcja Scala for Backend Engineering & Functional Programming na CoddyKit. To lekcja 3 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Scala for Backend Engineering & Functional Programming, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Scala for Backend Engineering & Functional Programming zawiera 4 lekcji w sumie.

Czym jest inferencja typów?

Scala jest językiem statycznie typowanym, ale rzadko musisz jawnie zapisywać typy. Kompilator wnioskuje je na podstawie wartości po prawej stronie.

Daje Ci to bezpieczeństwo typów połączone ze zwięzłością języka dynamicznego.

val n = 42        // inferred Int
val label = "hi" // inferred String

Wnioskowanie na podstawie literałów

Gdy zapiszesz val x = 5, kompilator rozpoznaje literał Int i nadaje zmiennej x typ Int.

Literał dziesiętny staje się wartością typu Double, a tekst w cudzysłowie — typu String.

object Main extends App {
  val count = 5
  val ratio = 1.5
  println(count + ratio)
}

Wnioskowanie typów zwracanych przez funkcje

Kompilator może również wywnioskować typ zwracany przez metodę na podstawie jej ciała.

W tym przykładzie square zwraca Int, ponieważ ciało mnoży dwie wartości typu Int. Nie musisz tego deklarować.

object Main extends App {
  def square(x: Int) = x * x
  println(square(6))
}

Parametry nadal wymagają typów

Wnioskowanie ma swoje ograniczenia. Parametry metod muszą mieć adnotacje, ponieważ kompilator nie ma podstaw, aby je wywnioskować.

Poniższy fragment nie skompilowałby się bez : Int przy x.

def increment(x: Int) = x + 1 // type on x is required

Wywnioskowany wspólny typ

Gdy wartości mogą mieć różne typy, Scala wywnioskuje najbardziej szczegółowy wspólny typ.

Połączenie Int i Double w działaniu arytmetycznym poszerza wynik do typu Double.

object Main extends App {
  val mixed = 3 + 2.0  // Double
  println(mixed)
}

Wnioskowanie typów w kolekcjach

Kolekcje wnioskują typ elementów na podstawie wartości, które do nich wstawiasz.

Lista liczb całkowitych automatycznie staje się List[Int], więc zachowujesz pełne bezpieczeństwo typów bez adnotacji.

object Main extends App {
  val nums = List(1, 2, 3) // List[Int]
  println(nums.sum)
}

Kiedy wnioskowanie zaskakuje

Czasami wnioskowanie wybiera szerszy typ, niż potrzebujesz. Lista różnych liczb może otrzymać typ List[Double] albo nawet List[AnyVal].

Jeśli wywnioskowany typ nie odpowiada Twoim potrzebom, dodaj jawną adnotację.

val a = List(1, 2.0)        // List[Double]
val b = List(1, "two")     // List[Any]

Nadpisywanie za pomocą adnotacji

Zawsze możesz określić typ jawnie. Adnotacja typu dokumentuje intencję i zastępuje zbyt wąskie wnioskowanie.

W tym przykładzie literał 7 jest celowo poszerzany do typu Long.

val seconds: Long = 7
val data: List[Int] = List(1, 2, 3)

Publiczne API: określaj typy jawnie

Popularna zasada stylu: pozwól, aby wnioskowanie obsługiwało lokalne wartości val, ale zapisuj jawne typy zwracane w metodach publicznych.

Dzięki temu kontrakt biblioteki pozostaje stabilny, nawet jeśli zmieni się implementacja.

def total(items: List[Int]): Int = items.sum

Wnioskowanie zachowuje bezpieczeństwo typów

Wnioskowanie nie osłabia systemu typów. Kompilator nadal odrzuca nieprawidłowe operacje.

Poniżej name otrzymuje typ String, więc mnożenie go przez liczbę kończy się błędem kompilacji — dokładnie tak, jak powinno.

val name = "Lia"
val bad = name * 3 // error: value * is not a member of String in this sense

Wywnioskowane val nadal jest niezmienne

Wnioskowanie uzupełnia tylko typ. Nie zmienia tego, czy wiązanie jest zmienne.

val n = 10 nadal jest niezmienne i ma ustalony typ Int; kompilator po prostu oszczędził Ci wpisywania : Int.

object Main extends App {
  val n = 10 // inferred Int, still a val
  println(n * n)
}

Szybkie sprawdzenie

W którym miejscu Scala nadal wymaga jawnego zapisania typu?

Podsumowanie

Inferencja typów pozwala zachować zwięzłość Scali bez utraty bezpieczeństwa typów w czasie kompilacji.

Typy lokalnych zmiennych val i wartości zwracanych są zwykle wywnioskowywane automatycznie.
Parametry metod muszą mieć adnotacje typów.
Inferencja wybiera najbardziej szczegółowy wspólny typ.
Typ należy określić jawnie w publicznych API lub aby zastąpić zaskakujący wynik inferencji.

Często zadawane pytania

Czy lekcja „Wnioskowanie typów” jest bezpłatna?

Tak — pełny tekst „Wnioskowanie typów” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Scala for Backend Engineering & Functional Programming, przejdź na CoddyKit PRO. Kurs Scala for Backend Engineering & Functional Programming zawiera 4 lekcji w sumie.

Co nauczysz się w „Wnioskowanie typów”?

Pozwoli Pan/Pani kompilatorowi określić typy. Ćwiczysz Scala for Backend Engineering & Functional Programming z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć Scala for Backend Engineering & Functional Programming?

Nie wymagamy żadnego doświadczenia. Scala for Backend Engineering & Functional Programming w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 3 z 4.

Ile czasu zajmuje lekcja „Wnioskowanie typów”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji Scala for Backend Engineering & Functional Programming?

Tak. Każda lekcja Scala for Backend Engineering & Functional Programming zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

← Powrót do Scala for Backend Engineering & Functional Programming