تأكيدات الأنواع

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

لقد استخدمت :: مرة واحدة من قبل، في فصل التعدادات، للتعامل مع io.read() على أنه Direction. يتناول هذا الدرس هذا الأمر بالتفصيل.

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

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

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

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

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

التحدي

سهل

اقرأ سجلًا يصل بنوع any.

اكتب type User = {id: number, username: string, isActive: boolean}.
اكتب local function describeUser(data: any): string الذي يُحوِّل النوع باستخدام local user = data :: User ويُرجع `User {user.id}: {user.username} (Active: {user.isActive})`.
اطبع describeUser(rawUser2).

اضغط على Run Code: سيعرض الناتج User 15: bob_admin (Active: false).

جرّب بنفسك

-- سجلات خام من خارج البرنامج: من النوع any
local rawUser1: any = {id = 7, username = "nina_dev", isActive = true}
local rawUser2: any = {id = 15, username = "bob_admin", isActive = false}

-- 1) type User = {...}
-- 2) describeUser(data: any): string، تحويل النوع باستخدام ::
-- 3) اطبع describeUser(rawUser2)