تأكيدات الأنواع (Type Assertions)

جزء من قسم مقدمة إلى Luau في رحلة Lua على Coddy. الدرس 68 من 73.

أحيانًا تعرف عن قيمة ما أكثر مما يعرفه مدقّق الأنواع في Luau: قيمة من النوع any تعرف أنها في الحقيقة سجل user، على سبيل المثال. يتيح لك تأكيد النوع (ويُسمّى أيضًا cast) أن تخبر checker: "trust me، تعامل مع هذه القيمة على أنها هذا النوع". عامل cast في Luau هو :::

type User = {id: number, username: string}

local raw: any = {id = 42, username = "alice_dev"}
local user = raw :: User
print(user.username) -- المدقق يعرف الحقول الآن

يغيّر cast فقط ما يعتقده مدقّق الأنواع. ولا يفعل أي شيء أثناء التشغيل. فهو لا يحوّل قيمة أبدًا: تظل "5" :: any هي السلسلة النصية "5"، وليست الرقم 5 (استخدم tonumber للتحويل الفعلي). كما أنه لا يتحقق من الصحة أبدًا: إذا أكدت النوع الخطأ، فلن يتسبب cast نفسه في حدوث خطأ. سيتصرف كودك بشكل غير صحيح لاحقًا، عندما يحاول الوصول إلى fields غير الموجودة.

متى تستخدمه: عندما تصل قيمة على هيئة any (أو اتحاد واسع) وتعرف حقًا شكلها. متى لا تستخدمه: لإسكات خطأ في النوع لا تفهمه: فعادةً ما يخبرك الخطأ بوجود bug حقيقي، وإزالة الخطأ باستخدام cast لا تؤدي إلا إلى إخفائه. فضّل الفحوصات الحقيقية (مثل حواجز typeof في الدرس التالي) عندما تستطيع التحقق أثناء التشغيل.

التحدي

سهل

حاكِ معالجة السجلات التي تصل من مصدر external من دون معلومات عن النوع.

صرّح بـ type User = {id: number, username: string, isActive: boolean}.
اكتب دالة describeUser(data: any): string تحوّل data إلى User باستخدام :: وتُرجع User [id]: [username] (Active: [isActive]) المُنشأ باستخدام استيفاء السلاسل النصية.

يعرّف الكود الابتدائي بالفعل three سجلات خام من النوع any. استدعِ describeUser لكل منها واطبع النتائج الثلاث بالترتيب.

السطر الأول المتوقع: User 42: alice_dev (Active: true)

جرّب بنفسك

-- سجلات خام من مصدر خارجي: من النوع `any`
local rawUser1: any = {id = 42, username = "alice_dev", isActive = true}
local rawUser2: any = {id = 15, username = "bob_admin", isActive = false}
local rawUser3: any = {id = 99, username = "charlie_user", isActive = true}

-- اكتب الكود هنا
-- 1) أعلن نوع User
-- 2) describeUser(data: any): string — حوّل باستخدام :: وابنِ الرسالة
-- 3) اطبع وصف السجلات الثلاثة كلها