Typy sumy

Czasami jeden typ to za mało. Identyfikator użytkownika może mieć postać "user123" lub 42. W zwykłym Lua można tylko mieć nadzieję na najlepsze; Luau daje ci typy sumujące: znak potoku | oznacza „lub”:

local userId: number | string

userId = "user123"  -- ✓ ciąg znaków jest dozwolony
userId = 42          -- ✓ liczba jest dozwolona
userId = true        -- ✗ błąd typu: typ boolean nie należy do unii

Zmienna może przechowywać dowolny element typu sumującego i tylko te elementy. To kluczowa różnica w porównaniu z any: typ sumujący ściśle określa, co jest dozwolone, zapewniając jednocześnie potrzebną elastyczność.

Typy sumujące są szczególnie przydatne w przypadku parametrów funkcji, które akceptują różne formaty danych wejściowych:

function printId(id: number | string): ()
    print(id)
end

printId(42)          -- działa z liczbą
printId("user123")   -- działa z ciągiem znaków

Znasz już string?. To był twój pierwszy typ sumujący! To po prostu skrót od string | nil. W następnej lekcji dowiesz się, jak bezpiecznie pracować z wartością typu sumującego.