리터럴 유니온 Enum 사용하기

리터럴 유니온은 함수 매개변수에서 유용하게 쓰입니다. 매개변수에 유니온 타입을 지정하면 타입 검사기가 함수가 유효한 구성원으로만 호출되도록 보장합니다:

type Direction = "up" | "down" | "left" | "right"

local function move(direction: Direction)
    print(`Moving {direction}...`)
end

move("left")  -- ✓
move("north") -- ✗ 타입 오류: Direction이 아님

함수 안에서는 if/elseif 체인을 사용해 구성원을 빠짐없이 처리하세요. 타입이 입력을 네 가지 값으로 제한하므로 세 가지를 확인하고 마지막 하나를 else에서 처리하면 모두 다룰 수 있습니다:

local function describe(direction: Direction): string
    if direction == "up" then
        return "Going upward"
    elseif direction == "down" then
        return "Going downward"
    elseif direction == "left" then
        return "Turning left"
    else
        return "Turning right"
    end
end

한 가지 주의할 점이 있습니다. io.read()처럼 외부에서 들어오는 문자열은 단순한 string 타입으로 지정됩니다. 타입 검사기는 사용자가 무엇을 입력할지 알 수 없기 때문입니다. Luau의 캐스트 연산자 ::를 사용하면 이 문제를 해결할 수 있습니다. value :: Type은 타입 검사기에 해당 값을 그 타입으로 취급하라고 알려줍니다. 이 섹션 끝부분의 타입 단언 강의에서 캐스트를 자세히 다룹니다. 지금은 한 줄이면 충분합니다:

local direction = io.read() :: Direction

캐스트는 검사라기보다 약속입니다. 런타임에는 입력값을 검증하지 않습니다. 실제 서비스 코드라면 먼저 검증해야 합니다. 여기서는 타입이 지정된 함수가 사용자 입력을 깔끔하게 받을 수 있도록 해줍니다.