استخدام تعدادات الاتحاد الحرفية

تثبت الاتحادات الحرفية قيمتها عند استخدامها كـ معاملات function. اكتب معاملًا باستخدام الاتحاد، وسيتحقق الفاحص من أن استدعاء function لا يتم أبدًا إلا باستخدام عضو صالح:

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

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

move("left")  -- ✓
move("north") -- ✗ خطأ في النوع: ليس Direction

داخل function، تعامل مع members بشكل شامل باستخدام سلسلة if/elseif. بما أن النوع يحصر input في أربع قيم، فإن التحقق من ثلاث قيم وترك 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 العادي، لأن الفاحص لا يستطيع معرفة ما سيكتبه المستخدم. يخبره :: cast الذي تعلمته سابقًا أن يتعامل مع القيمة باعتبارها من نوع التعداد الخاص بك:

local direction = io.read() :: Direction

الـ cast هو وعد، وليس فحصًا؛ فلا يتحقق أي شيء من input أثناء وقت التشغيل. سيتحقق كود الإنتاج من القيمة أولًا؛ أما هنا، فيتيح ذلك لـ functions ذات الأنواع قبول input المستخدم بسهولة.