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

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

local userId: number | string

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

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

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

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

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

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