Типы объединения (Union)

Иногда одного типа недостаточно. Идентификатор пользователя может прийти как "user123" или как 42. В обычном Lua остаётся только надеяться на лучшее; Luau предлагает вам объединённые типы: вертикальная черта | читается как «или»:

local userId: number | string

userId = "user123"  -- ✓ строка разрешена
userId = 42          -- ✓ число разрешено
userId = true        -- ✗ ошибка типа: boolean не входит в объединение

variable может содержать любой из членов объединения, и только их. В этом заключается ключевое отличие от any: объединение остаётся строгим в отношении разрешённых значений, одновременно предоставляя нужную гибкость.

Объединения особенно полезны для параметров function, принимающих несколько форматов входных данных:

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

printId(42)          -- работает с числом
printId("user123")   -- работает со строкой

Вы уже знаете string?. Это было ваше первое объединение! Это просто сокращённая запись для string | nil. На следующем уроке вы узнаете, как безопасно работать с значением объединения, когда оно у вас появится.